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

par Nathalie Signes

Thèse de doctorat en Informatique

Sous la direction de Christian Percebois.

Soutenue en 1993

à Toulouse 3 .

mots clés

• Prolog (langage de programmation)
• Traitement réparti -- Contrôle
• Compilation (informatique)
• Inférence
• Programmation parallèle (informatique)

Résumé

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

Titre traduit

Definition and evaluation of an abstract machine devoted to a distributed execution model for prolog

Pas de résumé disponible.