Aportaciones al estudio del paralelismo y la concurrencia en la programación lógica
- Autores: Manuel Carro Liñares
- Directores de la Tesis: Manuel de Hermenegildo Salinas (dir. tes.)
- Lectura: En la Universidad Politécnica de Madrid ( España ) en 2001
- Idioma: español
- Tribunal Calificador de la Tesis: Ana M. García Serrano (presid.), Juan José Moreno Navarro (secret.), Jaume Agustí i Cullell (voc.), Lourdes Araujo (voc.), Enrico Pontelli (voc.)
- Materias:
- Texto completo no disponible (Saber más ...)
- Resumen
En esta tesis se estudian medios para solventar algunos de los problemas de la programación lógica y aproximarse en la meta de un lenguaje (o familia de lenguajes) que permitan a un tiempo tener alto rendimiento, gran expresividad, y características avanzadas, En particular se diseñan y evalúan:
1,- Mecanismos de mejora de la ejecución paralela de lenguajes lógicos.
Los experimentos llevados a cabo arrojan una notable mejora para ciertas clases de programas muy comunes en la práctica. Asimismo se evalúa una herramienta destinada a averiguar la eficiencia de dichas ejecuciones paralelas en una serie de condiciones no siempre posibles en la práctica.
2,- Una serie de diseños e implementaciones de herramientas de visualización para programas lógicos secuenciales, paralelos y con restricciones. Están fundamentalmente dirigidos a ayudar al programador a detectar la fuente de determinados problemas de eficiencia y/o de corrección de un modo intuitivo, sin tener que conocer en profundidad el funcionamiento interno del sistema con el que se está trabajando.
3,- Una propuesta de ejecucción con concurrencia que, sin separarse excesivamente de la ejecución secuencial de Prolog, da al programador una libertad suficiente sobre el control de la ejecución.
