Recherche Avancée

Thèse soutenue

Analyse de la relation de causalite dans les executions reparties

FR  |  
EN
Auteur / Autrice : CLAIRE DIEHL
Direction : Michel Raynal
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1992
Etablissement(s) : Rennes 1

Résumé

FR

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