DFL, computación funcional distribuida

• Autores: Víctor M. Gulías
• Directores de la Tesis: José Luis Freire Nistal (dir. tes.)
• Lectura: En la Universidade da Coruña ( España ) en 2000
• Idioma: español
• Tribunal Calificador de la Tesis: Roberto Moreno Díaz (presid.) , Alberto Valderruten Vidal (secret.) , Manuel de Hermenegildo Salinas (voc.) , Senén Barro (voc.) , Eladio Domínguez Murillo (voc.)
• Texto completo no disponible (Saber más ...)
• Resumen

  • La investigación se centra en la explotación de la programación concurrente funcional sobre una arquitectura multiprocesador de memoria distribuida, Para ilustrar los conceptos estudiados, se desarrolla un prototipo denominado DFL (Distributed Functional Language), una extensión de un lenguaje funcional secuencial existente (Ojective Caml).

    Tras introducir el problema y presentar el estado del arte, en el que se establece una distinción entre sistemas orientados a paralelizar la ejecución de codigo funcional y aquellos orientados a la construcción de programas concurrentes, se establecen los requerimientos fundamentales que debe satisfacer un lenguaje funcional distribuido distinguiendo las caracteristicas especificas de los dos grandes tipos de aplicaciones distribuidas (aplicaciones interactivas y aplicaciones computacionalmente intensivas).

    El prototipo, construido como una serie de capas situadas encima del lenguaje funcional secuencial utilizado, comparte un substrato común (DFL/CORE) que es responsable del transporte de orden superior entre nodos de la maquina virtual distribuida. Para ello se establece el mecanismo de empaquetado o serialización de cualquier valor funcional, incluidas estructuras de datos y funciones, y el transporte de paquetes mediante una biblioteca de paso de mensajes (PVM,MPI,...). Sobre este substrato común se situan dos capas que constituyen dos modelos de programación orientados a cada tipo de aplicación distribuida.

    El primer modelo de programación distribuida (DFL/DTHREAD) aborda la problemática de la construccion de aplicaciones distribuidas de forma totalmente explicita, en las que el programador requiere control absoluto de la ubicación de residencia de cada hilo distribuido, asi como el comportamiento e interacciones entre estos. El comportamiento de un proceso ligero se lleva a cabo mediante un cierre funcional, mientras que las comunicaciones explicitas entre procesos se establec