Recherche Avancée

Thèse soutenue

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

FR
Auteur / Autrice : Christian Percebois
Direction : René Beaufils
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1990
Etablissement(s) : Toulouse 3

Résumé

FR

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