Criteres de coherence pour donnees partagees a support reparti

Consistency criteria for shared data in distributed systems

• Auteur / Autrice : GERARD THIA KIME
• Direction : Michel Raynal
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1997
• Etablissement(s) : Rennes 1

Résumé

Une memoire partagee construite sur un systeme reparti constitue une memoire virtuelle partagee (mvp). Si beaucoup de protocoles implantant une memoire virtuelle partagee dans des contextes varies ont ete proposes, aucun ensemble de definitions homogenes n'a ete donne pour les nombreuses semantiques (ou criteres de coherence) offertes par ces implantations. Dans cette these, nous donnons un ensemble de definitions pour les coherences atomique, sequentielle, causale, pram et objet. Ces definitions sont fondees sur un modele unique : un calcul reparti est defini comme un ordre partiel sur l'ensemble des operations de lecture et d'ecriture effectuees par les processus et un critere de coherence est defini comme une contrainte sur cet ordre partiel. Une telle approche fournit une classification simple des criteres de coherence (i. E. , une hierarchie de niveaux de contraintes). L'implantation d'une memoire partagee sur un systeme reparti ou les sites communiquent physiquement par passage de messages est simplifiee par l'utilisation de protocoles de communication de groupe. Differents niveaux de synchronisation ont ete implantes (diffusion atomique, causale) en relation a differents criteres de coherence (sequentielle, causale). Par ailleurs, nous avons etudie la tolerance aux defaillances dans la communication de groupe ; principalement, en utilisant le concept de suspecteur de defaillances pour resoudre le protocole de consensus, brique de base dans les systemes repartis.