Implémentation et évaluation d'un système logique parallèle

Abstract : 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.
Document type :
Theses
Software Engineering [cs.SE]. Université Joseph-Fourier - Grenoble I, 1989. French


https://tel.archives-ouvertes.fr/tel-00122736
Contributor : Thèses Imag <>
Submitted on : Thursday, January 4, 2007 - 3:56:01 PM
Last modification on : Thursday, July 26, 2007 - 4:09:31 PM

Identifiers

  • HAL Id : tel-00122736, version 1

Collections

UGA

Citation

Jacques Chassin de Kergommeaux. Implémentation et évaluation d'un système logique parallèle. Software Engineering [cs.SE]. Université Joseph-Fourier - Grenoble I, 1989. French. <tel-00122736>

Export

Share

Metrics

Consultation de
la notice

112

Téléchargement du document

23