Recherche Avancée

Thèse soutenue

Définition et évaluation d'une machine abstraite dédiée à la compilation d'un modèle d'exécution répartie pour le langage Prolog

FR  |  
EN
Auteur / Autrice : Nathalie Signes
Direction : Christian Percebois
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1993
Etablissement(s) : Toulouse 3

Résumé

FR

Coala (calculateur oriente acteurs pour la logique et ses applications) a pour but de mettre en uvre et de supporter efficacement le parallelisme inherent au langage prolog, sans l'intervention du programmeur. Le modele d'execution repartie sous-jacent a l'architecture utilise le graphe de connexion et/ou de r. Kowalski comme representation interne des textes prolog. L'etude d'une approche compilee du modele d'execution repartie a conduit a la definition d'une machine abstraite specifique au projet coala et baptisee ciam (coala inference abstract machine). Le principe general est de traduire un arc du graphe et son comportement en une sequence d'instructions elementaires. L'organisation du code au sein de la machine abstraite ciam se presente sous forme d'ensemble de blocs: les blocs acteurs et les blocs de donnees. Grace a la definition de cette machine abstraite ciam, la version compilee du modele d'execution de coala est actuellement operationnelle sur un reseau tridimensionnel cyclique de 36 transputers: la maquette hypertore. Ce qui a permis de realiser un ensemble de mesures de performance autour de quelques programmes prolog significatifs. Ces mesures ont demontre un gain d'un facteur plus important pour les programmes prolog ayant un grand nombre d'assertions. Ce resultat favorable nous permet d'envisager un systeme prolog plus specialise pour les applications prolog-base de donnees