Abstract FR:

Les transactions, la duplication et les communications de groupes sont des outils importants pour la réalisation d'applications réparties, tolérant les défaillances et devant respecter des contraintes de cohérence de données. Cette thèse traite de la duplication de données dans un cadre transactionnel en utilisant la communication de groupes. Nous nous intéressons à un nouveau modèle de duplication partielle ou chaque objet est dupliqué de manière indépendante sur un groupe de processus particulier. Sur ce modèle nous proposons un protocole de contrôle de duplication qui assure la sérialisibilité à une copie des transactions et la validation atomique non-bloquante de celles-ci. Par ailleurs, nous présentons deux variantes de ce protocole qui évitent les interblocages de transactions. L'une des variantes ne provoque jamais l'annulation de transactions en écriture seule. L'autre n'annule jamais de transactions en lecture seule. On garantit que toutes les transactions ne sont pas annulées. Ces protocoles reposent sur deux primitives de diffusion, la diffusion fiable uniforme et la diffusion fiable totalement ordonnée (ou diffusion atomique) dans plusieurs groupes. Nous proposons aussi un protocole de diffusion fiable totalement ordonnée. Cette primitive assure la fiabilité des livraisons des messages et garantit également que ces livraisons respectent un ordre total. Elle repose sur une primitive de consensus uniforme. En outre,l'algorithme possède les propriétés suivantes : la minimalité qui garantit que seuls le processus émetteur et les processus des groupes destinataires d'un message sont impliques dans sa diffusion et sa livraison ; et la localité qui exprime le fait qu'une éxecution de consensus ne concerne qu'un seul groupe de processus. Finalement nous décrivons une maquette mettant en oeuvre ce protocole et présentons une étude de ses performances.