Logarithm : un modèle de prolog parallèle : son implémentation sur transputers

par Jean-Paul Bodeveix

Thèse de doctorat en Sciences appliquées. Informatique

Sous la direction de Ion Filotti.

Soutenue en 1989

à Paris 11 .


  • Résumé

    Cette thèse décrit un langage logique dérivé de Prolog étendu par des primitives de résolution en parallèle et de synchronisation de processus, et son implémentation sur une architecture multiprocesseurs à base de transputers. Après avoir passé en revue les différentes extensions parallèles de Prolog existantes, nous introduisons un langage original (Logarithm) permettant de bénéficier de la puissance apportée par le parallélisme sans devoir repenser complètement l'implémentation de son application. Ainsi, Logarithm se démarque t-il des langages du modèle des clauses de Horn Gardées. Il offre la possibilité de créer des processus non déterministes communiquant incrémentalement des termes par l'intermédiaire de leur variables communes. Logarithm est basé sur le principe du backtrack intelligent dont l'étude de divers modèles conduit à la définition d'un algorithme de backtrack intelligent distribué basé sur des envois de messages entre points de choix et processus, suivant un graphe de dépendance créé dynamiquement et mis à jour lors des accès aux variables. Nous décrivons alors le modèle de résolution dans son ensemble et une machine abstraite comme extension de celle de Warren par des instructions liées au parallélisme et à la synchronisation. Un compilateur génère du code pour cette machine qui est ensuite interpété. La dernière partie décrit, après l'étude des systèmes de développement existants sur Transputer, notre compilateur d'un langage C parallélisé et un système distribué pour réseau de Transputers permettant la création dynamique de processus communiquant par des messages asynchrones et rendant la topologie du réseau transparente pour l'utilisateur.

  • Titre traduit

    Logarithm, a parallel prolog model : its implementation on transputers


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (149 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 143-145

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 0g ORSAY(1989)23
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-035295
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.