Managed Agreement: Generalizing Two Fundamental Distributed Agreement Problems - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Information Processing Letters Année : 2007

Managed Agreement: Generalizing Two Fundamental Distributed Agreement Problems

Résumé

Consensus and Non-Blocking Atomic Commit (NBAC) are two fundamental distributed problems. The specifications of both problems may lead one to think that they are very similar. However, a black-box solution to any of them is not sufficient to solve the other. This paper presents a family of agreement problems called Managed Agreement, which is parameterized by the number of aristocrat nodes in the system; NBAC is a special case of this family when all nodes are aristocrats while Consensus is a special case of this family when there are no aristocrats. The paper also presents a parameterized family of failure detectors F(A) such that F(A) is the weakest failure detector class that enables solving Managed Agreement with a set A of aristocrats in an asynchronous environment.
Le consensus et la validation atomique non-bloquante sont deux problèmes d'accord fondamentaux. Leur spécification relativement proche peut en première approximation laisser penser que ces deux problèmes sont très similaires. Et pourtant, la solution à l'un d'entre eux ne permet pas de résoudre l'autre. Ce rapport technique présente une famille de problèmes d'accord, appelée par la suite Accord contrôlé, paramétrée par le nombre d'aristocrates impliqués dans le système, un aristocrate étant un noeud ayant un statut particulier dans la spécification du problème d'accord considéré. La validation atomique non-blocante est un cas particulier de cette famille lorsque tous les noeuds impliqués sont des aristocrates, alors que pour le consensus, aucun des noeuds n'a ce statut. Ce rapport technique présente également une famille de détecteurs de défaillances F(A) telle que F(A) soit le plus faible détecteur de défaillances permettant de résoudre le problème de l'accord contrôlé en présence de A aristocrates dans un environnement asynchrone.
Fichier principal
Vignette du fichier
ipl-final-verbose.pdf (106.26 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-00916769 , version 1 (13-12-2013)

Identifiants

  • HAL Id : hal-00916769 , version 1

Citer

Emmanuelle Anceaume, Roy Friedman, Maria Gradinariu. Managed Agreement: Generalizing Two Fundamental Distributed Agreement Problems. Information Processing Letters, 2007, 101 (5), pp.190--198. ⟨hal-00916769⟩
213 Consultations
87 Téléchargements

Partager

Gmail Facebook X LinkedIn More