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

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 :
Theses
Networking and Internet Architecture. Université Rennes 1, 2007. French


https://tel.archives-ouvertes.fr/tel-00485704
Contributor : Marin Bertier <>
Submitted on : Friday, May 21, 2010 - 3:09:18 PM
Last modification on : Friday, May 21, 2010 - 5:23:56 PM

Identifiers

  • HAL Id : tel-00485704, version 1

Collections

Citation

Corentin Travers. Derrière le consensus : coordination faiblement contrainte dans les systèmes distribués asynchrones. Networking and Internet Architecture. Université Rennes 1, 2007. French. <tel-00485704>

Export

Share

Metrics

Consultation de
la notice

125

Téléchargement du document

46