login
english version rss feed
Detailed view PhD thesis
Université Joseph-Fourier - Grenoble I (23/11/1989), Jean-Claude Syre (Dir.)
Attached file list to this document: 
PDF
these.pdf(20.9 MB)
Implémentation et évaluation d'un système logique parallèle
Jacques Chassin de Kergommeaux1

Cette thèse est consacrée à l'implémentation de PEPSys (Parallel ECRC Prolog System) sur un multiprocesseur à mémoire partagée et à l'évaluation de cette implémentation. Le projet PEPSys vise à exploiter le parallélisme en programmation logique pour obtenir, sur les multiprocesseurs existants actuellement, des gains de performances relativement aux systèmes Prolog les plus efficaces. Un langage, extension de Prolog, un modèle de calcul et une machine abstraite basée sur la WAM ont été définis et validés par une implémentation sur multiprocesseur et une simulation d'architecture parallèle extensible. Le modèle de calcul supporte les parallélismes OU et ET indépendant ainsi que leur combinaison avec l'exécution séquentielle et le retour-arrière. L'implémentat,ion de PEPSys qui fait l'objet de cette thèse constitue l'un des premiers systèmes logiquesO.U-parallèles à procurer des gains de performances, relativement aux systèmes Prolog séquentiels efficaces. Les nombreuses mesures présentées dans la thèse permettent de valider cette implémentation ainsi que les principaux mécanismes du modèle de calcul, tout en suggérant des optimisations
1:  IMAG - Institut d'Informatique et de Mathématiques Appliquées de Grenoble
PEPSys : Parallel ECRC Prolog System – Parallélismes OU et ET – Implémentation sur multiprocesseur – Prolog Parallèle basé sur la WAM – Mesures d'exécution – Gains de performances en Parallèle.

Implementation and evaluation of a parallel logical system
This thesis is dedicated to thé implémentation of PEPSys (Parallel ECRC Prolog System) on a shared memory multiprocessor and to thé évaluation of this implémentation. The PEPSys project aims at exploiting thé parallelism in logic programming to obtain, on existing multiprocessors, performance improvements compared to efficient sequential Prolog implémentations. A language, extension of Prolog, a computational model and an abstract machine based on thé WAM have been defined and validated by a multiprocessor implémentation and a simulator of extensible architectures. The computational model supports OR and independent AND parallelisms and thé combination of both with sequential exécution and backtracking. The implémentation of PEPSys which is thé main topic of this thesis, is one of thé first OR-parallel logic systems to provide efficiency improvements, compared to state of thé art Prolog systems. The numerous measures provided in this thesis allow to validate this implémentation and thé main design décisions of thé computational model, while suggesting improvements.
PEPSys: Parallel ECRC Prolog System – OR-AND parallelism – Multiprocessor Implémentation – WAM-based Parallel Prolog – Exécution Measures – Parallel Speedups

all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...