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

par Jacques Chassin de Kergommeaux

Thèse de doctorat en Informatique

Sous la direction de Jacques Mossière.

Soutenue en 1989

à l'Université Joseph Fourier (Grenoble) .


  • Pas de résumé disponible.


  • Résumé

    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 grains 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 valides 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émentation de PEPSys qui fait l'objet de cette thèse constitue l'un des premiers systèmes logiques ou-parallèles a 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

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (226 f)

Où se trouve cette thèse ?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Accessible pour le PEB
  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Disponible pour le PEB
  • Cote : TS 89/GRE1/0122
  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : IMAG-1989-CHA
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.