Tesis doctoral de Fernando Saenz Perez
Los lenguajes declarativos en general y los logico-funcionales en particular poseen una capacidad expresiva para resolver problemas de indole simbolico mayor que los lenguajes imperativos. Sin embargo, esta mayor capacidad expresiva requiere mayor tiempo de computo y uso de memoria. El objetivo de esta tesis es el aumento de la eficiencia de un lenguaje logico- funcional mediante el desarrollo de un sistema de identificacion y explotacion del paralelismo implicito en los programas. en primer lugar se desarrolla un procedimiento para la identificacion local de paralelismo en programas secuenciales con el que se generan programas paralelos. se desarrollan varias estrategias de identificacion y de incorporacion de granularidad que se estudian y comparan. en segundo lugar se desarrolla un analisis de independencia de los programas p ara obtener informacion global de las reglas en el programa para la simplificacion de las reglas paralelas. Para ello se utiliza la interpretacion abstracta y se presentan y comparan tres niveles de analisis. En tercer lugar se diseña una maquina abstracta paralela de memoria compartida basada en pilas para la explotacion del paralelismo identificado. Esta maquina retiene las optimizaciones de las maquinas secuenciales, fundamentalmente durante el computo hacia atras en la desasignacion de memoria. Finalmente, se realiza una implementacion de la maquina abstracta paralela sobre un multiprocesador de memoria compartida simulado en vhdl, realizandose su validacion funcional y tomando medidas de rendimiento. Se plantean diferentes alternativas de diseño para el bus y la memoria cache, que se comparan a partir de las medidas obtenidas.
Datos académicos de la tesis doctoral «Sistema de identificacion y explotacion de paralelismo en programas logico-funcionales.«
- Título de la tesis: Sistema de identificacion y explotacion de paralelismo en programas logico-funcionales.
- Autor: Fernando Saenz Perez
- Universidad: Complutense de Madrid
- Fecha de lectura de la tesis: 01/01/1996
Dirección y tribunal
- Director de la tesis
- Ruz Ortiz José Jaime
- Tribunal
- Presidente del tribunal: Mario Rodríguez Artalejo
- Ana María Ripoll Aracil (vocal)
- Manuel Hermenegildo Salinas (vocal)
- José María Troya Linero (vocal)