Analyse de la relation de causalite dans les executions reparties

par CLAIRE DIEHL

Thèse de doctorat en Informatique

Sous la direction de MICHEL RAYNAL.

Soutenue en 1992

à Rennes 1 .

    mots clés mots clés


  • Résumé

    Le travail decrit dans cette these appartient au contexte general de la mise au point de systemes distribues. Notre approche vise a pouvoir analyser au cours de leur deroulement les executions reparties, aussi bien pour observer et comprendre leur fonctionnement que pour tester automatiquement si il est correct. L'analyse de l'ordre de causalite du aux echanges de messages est un probleme fondamental, nous l'etudions a la lumiere de la theorie des ensembles ordonnes. Cela nous permet de comprendre le fonctionnement des algorithmes d'estampillage habituellement utilises, horloge de lamport et estampilles vectorielles de mattern, mais aussi d'en mettre d'autres en evidence: estampillage par des intervalles, calcul de la reduction transitive de l'ordre de causalite. Nous abordons le probleme de la verification a la volee de proprietes logiques sur une trace d'execution par l'etude de l'ensemble de ses coupures coherentes. Cet ensemble a une structure de treillis et nous mettons au point un algorithme qui le construit dynamiquement. Un des points fondamentaux qui ressort de ce travail est que l'utilisation de la theorie des ordres partiels est indispensable pour concevoir des algorithmes efficaces en temps et en memoire


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (126 p.)
  • Annexes : 75 REF

Où se trouve cette thèse ?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : C-DIE
  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 1992/76
  • Bibliothèque : Ecole nationale supérieure de sciences appliquées et de technologie. Bibliothèque.
  • Disponible pour le PEB
  • Cote : C 3. DIE.
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.