A wealth of sub-consensus deterministic objects

Eli Daian, Giuliano Losa, Yehuda Afek, Eli Gafni

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

The consensus hierarchy classifies shared an object according to its consensus number, which is the maximum number of processes that can solve consensus wait-free using the object. The question of whether this hierarchy is precise enough to fully characterize the synchronization power of deterministic shared objects was open until 2016, when Afek et al. showed that there is an infinite hierarchy of deterministic objects, each weaker than the next, which is strictly between i and i + 1-processors consensus, for i ≥ 2. For i = 1, the question whether there exist a deterministic object whose power is strictly between read-write and 2-processors consensus, remained open. We resolve the question positively by exhibiting an infinite hierarchy of simple deterministic objects which are equivalent to set-consensus tasks, and thus are stronger than read-write registers, but they cannot implement consensus for two processes. Still our paper leaves a gap with open questions.

Original languageEnglish
Title of host publication32nd International Symposium on Distributed Computing, DISC 2018
EditorsUlrich Schmid, Josef Widder
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
ISBN (Electronic)9783959770927
DOIs
StatePublished - 1 Oct 2018
Event32nd International Symposium on Distributed Computing, DISC 2018 - New Orleans, United States
Duration: 15 Oct 201819 Oct 2018

Publication series

NameLeibniz International Proceedings in Informatics, LIPIcs
Volume121
ISSN (Print)1868-8969

Conference

Conference32nd International Symposium on Distributed Computing, DISC 2018
Country/TerritoryUnited States
CityNew Orleans
Period15/10/1819/10/18

Keywords

  • And phrases shared memory
  • Distributed algorithms
  • Set consensus
  • Wait-free

Fingerprint

Dive into the research topics of 'A wealth of sub-consensus deterministic objects'. Together they form a unique fingerprint.

Cite this