Criteres de coherence pour donnees partagees a support reparti

par GERARD THIA KIME

Thèse de doctorat en Sciences appliquées

Sous la direction de Michel Raynal.

Soutenue en 1997

à Rennes 1 .

    mots clés mots clés


  • 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.

  • Titre traduit

    Consistency criteria for shared data in distributed systems


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 112 P.
  • Annexes : 74 REF.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 1997/139
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.