Date : 2001
Type : Livre / Book
Type : Thèse / ThesisLangue / Language : français / French
Collection : Lille-thèses / Atelier de reproduction des thèses / Lille : Atelier national de reproduction des thèses , 1983-2017
Résumé / Abstract : 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