Skip to Main content Skip to Navigation
Reports

Managed Agreement: Generalizing Two Fundamental Distributed Agreement Problems

Emmanuelle Anceaume 1 Roy Friedman 2 Maria Gradinariu 1
1 ADEPT - Algorithms for Dynamic Dependable Systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Résumé : 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. \\ 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.
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download

https://hal.inria.fr/inria-00001142
Contributor : Anne Jaigu <>
Submitted on : Tuesday, March 7, 2006 - 3:30:55 PM
Last modification on : Thursday, February 11, 2021 - 2:48:03 PM
Long-term archiving on: : Saturday, April 3, 2010 - 9:03:42 PM

Identifiers

  • HAL Id : inria-00001142, version 1

Citation

Emmanuelle Anceaume, Roy Friedman, Maria Gradinariu. Managed Agreement: Generalizing Two Fundamental Distributed Agreement Problems. [Research Report] PI 1785, 2006, pp.19. ⟨inria-00001142⟩

Share

Metrics

Record views

411

Files downloads

319