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 .


  • Pas de résumé disponible.


  • 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

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 218 p

Où se trouve cette thèse ?

  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 1993TOU30055
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.