Tesis Doctorales UPM: Consulta online

Título: Independencia, análisis global y paralelismo en computación lógica con restricciones y planificación dinámica

Resumen: La noción de independencia es crucial en la definición de los modelos de paralelismo conjuntivo independiente como condición para garantizar la corrección y eficiencia de dichos modelos con respecto al modelo secuencial. El presente trabajo generaliza la aplicabilidad del paralelismo conjuntivo independiente a los lenguajes lógicos con restricciones y planificación dinámica. Dicho estudio revela la importancia del concepto de independencia no sólo desde el punto de vista del paralelismo conjuntivo independiente, sino también desde el punto de vista de muchas otras aplicaciones que modifican las reglas de computación. En segundo lugar, y una vez generalizado el concepto de independencia, es necesario realizar un estudio exhaustivo de la efectividad de las herramientas de análisis en la tarea de la paralelización automática. Los resultados obtenidos de dicha evaluación permiten asegurar de forma empírica que la utilización de analizadores globales en la tarea de la paralelización automática es vital para la consecución de una paralelización efectiva. Por último, a la luz de los buenos resultados obtenidos sobre la efectividad de los analizadores de flujo globales basados en la interpretación abstracta, se presenta la generalización de las herramientas de análisis al contexto de los lenguajes lógicos con restricciones y planificación dinámica