Managed Agreement: Generalizing two fundamental distributed agreement problems

Abstract

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.Key-words: consensus, non-blocking atomic commit, quitable consensus, managed agreement, failure detectors 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 impliqus 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 dtecteurs 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.