Une contribution à l'étude du parallélisme OU en Prolog sur des machines sans mémoire commune

Contribution to the design of and or-parallel prolog on a distributed memory multiprocessor

• Auteur / Autrice : Claudio Fernando Resin Geyer
• Direction : Jacques Briat
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1991
• Etablissement(s) : Université Joseph Fourier (Grenoble ; 1971-2015)
• Partenaire(s) de recherche : Laboratoire : Institut d'informatique et mathématiques appliquées (Grenoble ; 1989-2006)
• Jury : Examinateurs / Examinatrices : Yves Chiaramella, Yves Bekkers, Gilles Berger-Sabbatel, Philippe Jorrand, Laurent Trilling

Mots clés

Mots clés libres

Opera

Parallélisme

Régulation adaptive

Prolog

Machine paralléle

Résumé

L'objectif de cette thèse est la conception d'une implantation parallèle efficace de Prolog. Sur une machine sans mémoire commune. Le modèle de calcul exploite le parallélisme ou selon l'approche multisequentielle classique. La partie principale de cette thèse est l'étude de méthodes de partage de contexte entre plusieurs machines abstraites Prolog. Un prototype est présent et des résultats préliminaires décrits. Ce prototype délivre un accroissement de performance effectif par parallélisation par rapport a des systèmes séquentiels