Tesis doctoral de Lourdes Araujo Serna
En este trabajo se ha desarrollado un modelo de ejecucion paralelo de los programa logicos para sistemas distribuidos, su implementacion y su evaluacion. El modelo considera la explotacion del paralelismo-y independiente y el paralelismo-o, asi como la combinacion de ambos. El sistema esta soportado por una arquitectura distribuida con un alto numero de procesadores que trabajan bajo un control jerarquico. El control se realiza en una serie de procesadores llamados controladores. El resto de los procesadores, procesadores basicos, estan dedicados a la ejecucion de programas prolog. El paralelismo-y se explota siguiendo un modelo de entornos cerrados (sin referencias a variables externas) en el que se forman tareas-y autonomas para la computacion de cada objetivo independiente. La explotacion del paralelismo-o se basa en la ejecucion multisecuencial de las ramas del arbol de busqueda. Cada tarea-o nueva que se crea para la exploracion de una nueva rama reconstruye el entorno de la tarea padre recomputando el objetivo inicial pero siguiendo el camino de exito (sin backtracking) recibido de la tarea padre. cuando un programa presenta paralelismo o-bajo-y y es necesario combinar las distintas soluciones de los objetivos paralelos, se evita el almacenamiento de soluciones parciales y la sincronizacion de tareas produciendo la combinacion de forma distribuida. La idea es crear una computacion para cada combinacion de soluciones, recomputando el camino de exito que lleva del objetivo inicial a la llamada paralela considerada. De esta forma la explotacion del paralelismo-y se realiza con el mecanismo del paralelismo-o, creando tareas autonomas que reducen considerablemente el trafico de mensajes. se ha diseñado una maquina abstracta paralela que implementa el modelo de ejecucion de los procesadores basicos del sistema. Esta maquina es una extension de la wam y mantiene sus tecnicas de ejecucion en los segmentos secuenciales de progr
Datos académicos de la tesis doctoral «Implementacion paralela de prolog sobre una arquitectura distribuida«
- Título de la tesis: Implementacion paralela de prolog sobre una arquitectura distribuida
- Autor: Lourdes Araujo Serna
- Universidad: Complutense de Madrid
- Fecha de lectura de la tesis: 01/01/1994
Dirección y tribunal
- Director de la tesis
- Ruz Ortiz José Jaime
- Tribunal
- Presidente del tribunal: Mario Rodríguez Artalejo
- José María Troya Linero (vocal)
- Ana María Ripoll Aracil (vocal)
- Manuel Hermenegildo Salinas (vocal)