Les systemes transactionnels repartis pour donnees dupliquees fondes sur la communication de groupes

par UDO FRITZKE JR

Thèse de doctorat en Informatique

Sous la direction de Michel Raynal.

Soutenue en 2001

à Rennes 1 .

    mots clés mots clés


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    Les transactions, la duplication et les communications de groupes sont des outils importants pour la realisation d'applications reparties, tolerant les defaillances et devant respecter des contraintes de coherence de donnees. Cette these traite de la duplication de donnees dans un cadre transactionnel en utilisant la communication de groupes. Nous nous interessons a un nouveau modele de duplication partielle ou chaque objet est duplique de maniere independante sur un groupe de processus particulier. Sur ce modele nous proposons un protocole de controle de duplication qui assure la serialisabilite a une copie des transactions et la validation atomique non-bloquante de celles-ci. Par ailleurs, nous presentons deux variantes de ce protocole qui evitent les interblocages de transactions. L'une des variantes ne provoque jamais l'annulation de transactions en ecriture seule. L'autre n'annule jamais de transactions en lecture seule. On garantit que toutes les transactions ne sont pas annulees. Ces protocoles reposent sur deux primitives de diffusion, la diffusion fiable uniforme et la diffusion fiable totalement ordonnee (ou diffusion atomique) dans plusieurs groupes. Nous proposons aussi un protocole de diffusion fiable totalement ordonnee. Cette primitive assure la fiabilite des livraisons des messages et garantit egalement que ces livraisons respectent un ordre total. Elle repose sur une primitive de consensus uniforme. En outre, l'algorithme possede les proprietes suivantes : la minimalite qui garantit que seuls le processus emetteur et les processus des groupes destinataires d'un message sont impliques dans sa diffusion et sa livraison ; et la localite qui exprime le fait qu'une execution de consensus ne concerne qu'un seul groupe de processus. Finalement nous decrivons une maquette mettant en uvre ce protocole et presentons une etude de ses performances.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 179 p.
  • Annexes : 99 ref.

Où se trouve cette thèse ?

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