Définition et évaluation d'un modèle d'exécution répartie pour les systèmes logiques non-déterministes

par Christian Percebois

Thèse de doctorat en Informatique

Sous la direction de René Beaufils.

Soutenue en 1990

à Toulouse 3 .


  • Résumé

    L'ensemble des travaux resumes dans cette these et par le sigle coala (calculateur oriente acteurs pour la logique et ses applications) ont pour objet la mise en uvre et le support efficace du parallelisme inherent au langage prolog, sans l'intervention du programmeur. Le modele d'interpretation repartie utilise le graphe de connexion et/ou de r. Kowalski comme representation interne des programmes, et correlativement, utilise sa procedure de preuve comme methode de resolution parallele. Dans ce graphe, deux litteraux pouvant s'appareiller de part et d'autre du symbole implication dans deux clauses differentes sont relies par un arc. A chaque arc du graphe correspond un resolvant possible. Deux niveaux de parallelisme sont exploites: le parallelisme associe a la construction des differents arcs pour chaque resolvant. Ces deux niveaux sont cependant intimement meles et correspondent respectivement aux parallelismes- ou et et. A partir d'une premiere version du modele d'execution, plusieurs extensions ont ete proposees et realisees. Elles concernent le parallelisme-et independant, le parallelisme de recherche et l'ajout des predicats evaluables et a effets de bord. Afin de garantir une certaine efficacite du modele d'execution, une premiere implantation de ce modele d'execution a ete etudiee sur une maquette multiprocesseur a base de transputers, baptisee hypertore. Elle a permis de specifier la machine abstraite ciam (coala inference abstract machine), liee a la compilation du modele d'execution. Dans cette approche, il s'agit de traduire le comportement de chaque arc du graphe en une sequence d'instructions, dans le meme esprit que la compilation sequentielle du langage prolog


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 190 p

Où se trouve cette thèse ?

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