Cohérence de données répliquées
partagées par un groupe de processus coopérant à distance
Author:
Georges Brun-Cottan
Source:
Thèse d'université (Ph.D. thesis) defended 30 september 1998 at
Université Paris VI, Pierre et Marie
Curie
In French.
Résumé:
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 :
- 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.
- 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.
- 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 ;
- est réutilisable.
Nous avons réalisé Core, une plate-forme de développement complète,
partiellement documentée et accessible sur FTP, développée au-dessus
d'Unix. Core offre, outre les services usuels nécessaires à la mise en
oeuvre 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.
Click on the following buttons:
Bibtex entry:
@PhdThesis{???,
author = "Brun-Cottan, Georges",
title = "Coh\'{e}rence de donn\'{e}es r\'{e}pliqu\'{e}es
partag\'{e}es par un groupe de processus
coop\'{e}rant \`{a} distance",
school = "Universit\'{e} Paris 6, Pierre et Marie Curie",
year = 1998,
address = "Paris (France)",
type = "Th\`{e}se de doctorat",
month = sep
}
See also:
Brigitte Larue,
INRIA Rocquencourt,
Domaine de Voluceau,
BP 105,
78153 Le Chesnay,
France.
tel: +33 (1) 39 63 55 40,
fax: +33 (1) 39 63 53 72.
E-mail: Brigitte.Larue@inria.fr
Last modified: Mon Jan 4 10:29:43 MET 1999
Guillaume Pierre