| Summary: | En este trabajo se ha desarrollado un modelo de ejecución paralelo de los progamas lógicos para sistemas distribuidos, su implementación y su evalución. El modelo considera la explotación del paralelismo -Y independiente y el paralelismo -O, así como la combianción de ambos. El sistema está soportado por una arquitectura distribuida con un alto número de procesadores que trabajan bajo un k jerárquico. El k se realiza en una serie de procesadores llamados kadores. El resto de los procesadores, procesadores básicos, están dedicados a la ejecución de programas Prolog. El paralelismo -Y se explota siguiendo un modelo de entornos cerrados (sin referencia a variables externas) en el que se forman tareas -Y autónomas para la computación de cada objetivo independiente. La explotación del paralelismo -O se basa en la ejecución multisecuencial de las ramas del ...
|
|---|