HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

Synchronous Set Agreement: a Concise Guided Tour (with open problems)

Abstract : The $k$-set agreement problem is a paradigm of coordination problems encountered in distributed computing. The parameter $k$ defines the coordination degree we are interested in. The case $k=1$ corresponds to the well-known uniform consensus problem. More precisely, the $k$-set agreement problem considers a system made up of $n$ processes where each process proposes a value. It requires that each non-faulty process decides a value such that a decided value is a proposed value, and no more than $k$ different values are decided. This paper visits the $k$-set agreement problem in synchronous systems where up to $t$ processes can experience failures. Three failure models are explored: the crash failure model, the send omission failure model, and the general omission failure model. Lower bounds and protocols are presented for each model. Open problems for the general omission failure model are stated. This paper can be seen as a short tutorial whose aim is to make the reader familiar with the $k$-set agreement problem in synchrony models with increasing fault severity. An important concern of the paper is simplicity. In addition to its survey flavor, several results and protocols that are presented are new. \\ Ce rapport constitue une visite guidé de l'accord ensembliste synchrone en présence de crashs, de fautes d'omission en émission, et de fautes d'omission en émission et réception.
Document type :
Complete list of metadata

Cited literature [27 references]  Display  Hide  Download

Contributor : Anne Jaigu Connect in order to contact the contributor
Submitted on : Tuesday, March 21, 2006 - 9:59:41 AM
Last modification on : Tuesday, June 15, 2021 - 4:13:18 PM
Long-term archiving on: : Saturday, April 3, 2010 - 10:58:01 PM


  • HAL Id : inria-00001158, version 1


Michel Raynal, Corentin Travers. Synchronous Set Agreement: a Concise Guided Tour (with open problems). [Research Report] PI 1791, 2006, pp.20. ⟨inria-00001158⟩



Record views


Files downloads