Tesis doctoral de Pedro Lopez Garcia
Los lenguajes de programación lógica ofrecen un excelente marco para la aplicación de tecnicas de paralelización automática. Existen resultados teóricos que pueden asegurar cuando los programas paralelizados son correctos, es decir, obtienen los mismos resultados que los correspondientes secuenciales, y cuando la ejecución de los primeros no tarda más tiempo que la de los segundos. Sin embargo, dichos resultados suponen un entorno ideal de ejecución paralela y no tienen en cuenta que en la práctica existen una serie de costes asociados con la ejecución paralela de tareas, como, por ejemplo, creación y gestión de tareas, posible migración de tareas a procesadores remotos, costes de la comunicación,etc. Dichos costes pueden dar lugar a que la ejecución de los programas paralelos sea más lenta que la de los secuenciales, o al menos, limitar la ganancia debida al paralelismo introducido. en esta tesis hemos desarrollado completamente (e integrado en un sistema avanzado de manipulación de programas que realiza análisis y optimización de los mismos) un sistema automático de control de granularidad para programas lógicos que estima eficientemente la granularidad de las tareas (e.D., el trabajo necesario para ejecución completa) y la usa para limitar el paralelismo, de forma que se controla el efecto de los costes mencionados anteriormente. El sistema está basado en un esquema de análisis y transformación de programas, en el cual se realiza tanto trabajo como sea posible en tiempo de compilación para evitar añadir nuevos costes a la ejecución de los programas. en la realización de la transformación de programas se persigue el objetivo de minimizar el trabajo adicional hecho en tiempo de ejecución, para lo que hemos propuesto una serie de tecnicas, mientras que en el analisis el objetivo es obtener la información necesaria para esta fase de transformación, lo que nos ha llevado a desarrollar varios tipos de analisi
Datos académicos de la tesis doctoral «Control de granularidad en la ejecucion paralela de programas logicas mediante tecnicas de analisis y transformacion«
- Título de la tesis: Control de granularidad en la ejecucion paralela de programas logicas mediante tecnicas de analisis y transformacion
- Autor: Pedro Lopez Garcia
- Universidad: Politécnica de Madrid
- Fecha de lectura de la tesis: 30/06/2000
Dirección y tribunal
- Director de la tesis
- Manuel Hermenegildo Salinas
- Tribunal
- Presidente del tribunal: Francisco Bueno carrillo
- james Lipton (vocal)
- mario Rodríguez artalejo (vocal)
- Ruz ortiz José Jaime (vocal)