Derrière le consensus : coordination faiblement contrainte dans les systèmes distribués asynchrones

Corentin Travers 1
1 ASAP - As Scalable As Possible: foundations of large scale dynamic distributed systems
Inria Rennes – Bretagne Atlantique , IRISA-D1 - SYSTÈMES LARGE ÉCHELLE
Abstract : In an asynchronous distributed system, independent processes run at varying speeds and may even crash; they communicate through unsynchronized primitives, like sending and receiving messages. To perform shared computation, processes need to coordinate their actions. This is theoretically modeled as solving a coordination task, where processes start with some inputs and have to output values satisfying certain conditions. A fundamental task is consensus, from which it is possible to solve any other coordination task. However, this task is not solvable in asynchronous environments in which process failure may occur. We study sub-consensus tasks, i.e., coordination tasks that are weaker than consensus. In particular, we focus on renaming which requires processes to rename in a tighter name space, set-consensus which extends consensus by allowing processes to decide on a small number of values and the committee-decision. In the later, processes try to solve simultaneously several instances of the consensus problem and each process is required to decide in at least one instance. We first explore, through algorithmic reductions, the relationships between these sub-tasks. The second part deals with the use of failure detector to solve set agreement. A failure detector is a distributed oracle that gives hints on failures. We determine the relative computational power provided by various families of failure detectors. The last part demonstrates that failure detectors can be seen as mechanisms that restrict the set of possible executions.
Mots-clés : Systeme distribué
Document type :
Réseaux et télécommunications [cs.NI]. Université Rennes 1, 2007. Français
Liste complète des métadonnées
Contributor : Marin Bertier <>
Submitted on : Friday, May 21, 2010 - 3:09:18 PM
Last modification on : Tuesday, July 11, 2017 - 9:46:54 AM
Document(s) archivé(s) le : Thursday, September 16, 2010 - 2:41:22 PM


  • HAL Id : tel-00485704, version 1


Corentin Travers. Derrière le consensus : coordination faiblement contrainte dans les systèmes distribués asynchrones. Réseaux et télécommunications [cs.NI]. Université Rennes 1, 2007. Français. <tel-00485704>



Record views


Document downloads