<< Volver atrás

Tesis:

Arquitecturas de computadores de reducción

  • Autor: MAÑAS ARGEMI, José Antonio

  • Título: Arquitecturas de computadores de reducción

  • Fecha: 1983

  • Materia: CIENCIAS TECNOLOGICAS. Teseo;TECNOLOGIA DE ORDENADORES. Teseo;ARQUITECTURA DE ORDENADORES. Teseo

  • Escuela: FACULTAD DE INFORMATICA

  • Departamentos: SIN DEPARTAMENTO DEFINIDO

  • Acceso electrónico:

  • Director/a 1º: MIGUEL ANASAGASTI, Pedro de

  • Resumen: El presente trabajo expone un modelo de arquitectura para la reducción de programas escritos en un lenguaje estrictamente funcional. Se presenta (1) El lenguaje fuente, (2) Un juego de instrucciones orientado a compilar eficientemente y poder implantarlo en VLS1, (3) El generador de código, puente entre los dos puntos anteriores, (4) Algunas optimizaciones sobre la generación y ejecución y (5) La experiencia obtenida de la simulación de la máquina. Es el objetivo inmediato definir una arquitectura realista y simularla para verificar su corrección y víabilidad, evaluando los pros y los contras de las opciones de diseño. El prototipo desarrollado se denomina (S7), caracterizándose por reducir programas estrictamente funcionales según un modelo de evaluación perezosa controlada por demanda de resultados, con optimizaciones dinámicas, acceso a ficheros y reacción mesurada frente a errores en ejecución, equivalencia (R) entre los estados de (E), se llega al conjunto cociente (E/ R), que define un nuevo autómata con un número de estados mínimo. Esto hace que el programa en APL generado sea el mínimo posible, en el sentido de que la relación (R) se ha definido de acuerdo con las funciones realizadas por el programa. El sistema permite también trabajar sobre información ya generada previamente, efectuando las modificaciones pertinentes. El sistema es interactivo, característica propia del APL, lenguaje en el que está desarrollado. La memoria de la tesis se ha preparado introduciendo el texto a través de un terminal de ordenador, formateando la salida mediante un procesador de textos e imprimiéndola mediante una impresora de alta calidad