🚀 go-pugleaf

Th�se de Doctorat de l'Universit� de Paris 6

Soutenue par   Georges BRUN-COTTAN

Mercredi 30 Septembre � 11h00
Salle 303, 3�me �tage, tour 55-65,
4, place Jussieu - Paris 5�me



                   Coh�rence de donn�es r�pliqu�es  
                partag�es par un groupe de processus
                         coop�rant � distance


La progression des applications coop�ratives est confront�e, de fa�on
inh�rente, � la latence des moyens de communication. Lorsque celle-ci
devient importante, les mod�les de coh�rence traditionnels entra�nent
un manque de r�activit� r�dhibitoire. Nous attaquons ce probl�me, en
r�duisant une application coop�rative � une collection de r�plicats
coop�rants, puis en se focalisant sur la gestion de coh�rence d'un tel
groupe de r�plicats.

Ce probl�me est important par deux aspects : par son application dans
tous les domaines impliquant la coop�ration d'individus et par son
caract�re fondamental dans la structuration et la compr�hension des
m�canismes de coop�ration.

Notre �tude critique, des crit�res de coh�rence associ�s aux
coh�rences dites �faibles�, embrasse quatre domaines : les syst�mes
transactionnels, les m�moires partag�es r�parties, les objets
concurrents et les plate-formes de communication.

Notre th�se contribue sur trois points : 

1. Notre mod�le d'ex�cution est libre de tout a priori concernant la
causalit� des op�rations. Ce mod�le est bas� sur des histoires
r�pliqu�es.

2. Notre mod�le de partage, la r�plication coop�rante, d�riv�e de la
r�plication active, n'impose pas un ordre commun unique sur
l'ex�cution des op�rations. Les r�plicats sont autonomes et ne
coop�rent que lorsque leur vue de l'histoire globale ne suffit plus �
garantir la correction de l'application.  

3. Nos principes syst�mes permettent de construire un nouveau type de
composant, le gestionnaire de coh�rence. Ce composant :

        prend en charge la coop�ration des r�plicats. Il implante la
        partie complexe de la gestion de coh�rence : le contr�le de la
        distribution, de la r�plication et de la concurrence ;

        maintient, sur l'ordre r�parti des op�rations, des propri�t�s
        d�terministes. Ces propri�t�s d�finissent un contrat de
        coh�rence ; elles peuvent �tre utilis�es comme crit�re de
        correction ;
        
        est choisi � l'ex�cution par l'application. Il est, de plus,
        r�utilisable.

Nous avons r�alis� Core, une plate-forme de d�veloppement compl�te,
document�e et accessible sur ftp, d�velopp� au-dessus d'Unix. Core
offre, outre les services usuels n�cessaires � la mise en ouvre de
groupes de processus r�partis, une biblioth�que extensible de
gestionnaires de coh�rence. Core offre aussi de nombreuses classes,
utilis�es tant pour la r�alisation de nouveaux gestionnaires que pour
l'expression de nouveaux types et mod�les d'ex�cution, par les
concepteurs d'applications. Nous avons r�alis�, avec Core, deux
applications : une application d'�dition coop�rative bas�e sur Emacs
et une simulation de ressource partag�e.


Mots cl�s : Syst�mes R�partis, Gestion de Coh�rence, Objets R�pliqu�s,
Contr�le de Concurrence.


-- 
Georges Brun-Cottan
INRIA - Projet SOR / B.P. 105 / 78153 Le Chesnay Cedex / FRANCE
Tel : +33 1  39 63 54 26   e-mail : Georges.Brun-Cottan@inria.fr
Fax : +33 1  39 63 53 72   Web    : http://www-sor.inria.fr/~bruncott/