Deterministic objects: Life beyond consensus

Yehuda Afek; Faith Ellen; Eli Gafni

doi:10.1145/2933057.2933116

Deterministic objects: Life beyond consensus

Yehuda Afek, Faith Ellen, Eli Gafni

School of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

15 Scopus citations

Abstract

For all integers m ≥ 2, we construct an innite sequence of deterministic objects of consensus number m with strictly increasing computational power. In particular, this refutes the Common2 Conjecture, which claimed that every deter- ministic object of consensus number 2 has a deterministic, wait-free implementation from 2-consensus objects and reg- isters in a system with any nite number of processes.

Original language	English
Title of host publication	PODC 2016 - Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing
Publisher	Association for Computing Machinery
Pages	97-106
Number of pages	10
ISBN (Electronic)	9781450339643
DOIs	https://doi.org/10.1145/2933057.2933116
State	Published - 25 Jul 2016
Event	35th ACM Symposium on Principles of Distributed Computing, PODC 2016 - Chicago, United States Duration: 25 Jul 2016 → 28 Jul 2016

Publication series

Name	Proceedings of the Annual ACM Symposium on Principles of Distributed Computing
Volume	25-28-July-2016

Conference

Conference	35th ACM Symposium on Principles of Distributed Computing, PODC 2016
Country/Territory	United States
City	Chicago
Period	25/07/16 → 28/07/16

Funding

Funders	Funder number
Natural Sciences and Engineering Research Council of Canada
United States-Israel Binational Science Foundation	2014226
Israel Science Foundation	1386/11

Keywords

Consistent ordered partition
Deterministic consensus hierarchy
Set-consensus
Simulation
Valency ar-gument

Access to Document

10.1145/2933057.2933116

Cite this

Afek, Y., Ellen, F., & Gafni, E. (2016). Deterministic objects: Life beyond consensus. In PODC 2016 - Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing (pp. 97-106). (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing; Vol. 25-28-July-2016). Association for Computing Machinery. https://doi.org/10.1145/2933057.2933116

@inproceedings{d2b3311646d946179aff56e546307de9,

title = "Deterministic objects: Life beyond consensus",

abstract = "For all integers m ≥ 2, we construct an innite sequence of deterministic objects of consensus number m with strictly increasing computational power. In particular, this refutes the Common2 Conjecture, which claimed that every deter- ministic object of consensus number 2 has a deterministic, wait-free implementation from 2-consensus objects and reg- isters in a system with any nite number of processes.",

keywords = "Consistent ordered partition, Deterministic consensus hierarchy, Set-consensus, Simulation, Valency ar-gument",

author = "Yehuda Afek and Faith Ellen and Eli Gafni",

note = "Publisher Copyright: {\textcopyright} 2016 ACM.; 35th ACM Symposium on Principles of Distributed Computing, PODC 2016 ; Conference date: 25-07-2016 Through 28-07-2016",

year = "2016",

month = jul,

day = "25",

doi = "10.1145/2933057.2933116",

language = "אנגלית",

series = "Proceedings of the Annual ACM Symposium on Principles of Distributed Computing",

publisher = "Association for Computing Machinery",

pages = "97--106",

booktitle = "PODC 2016 - Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing",

}

Afek, Y, Ellen, F & Gafni, E 2016, Deterministic objects: Life beyond consensus. in PODC 2016 - Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing. Proceedings of the Annual ACM Symposium on Principles of Distributed Computing, vol. 25-28-July-2016, Association for Computing Machinery, pp. 97-106, 35th ACM Symposium on Principles of Distributed Computing, PODC 2016, Chicago, United States, 25/07/16. https://doi.org/10.1145/2933057.2933116

Deterministic objects: Life beyond consensus. / Afek, Yehuda; Ellen, Faith; Gafni, Eli.
PODC 2016 - Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, 2016. p. 97-106 (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing; Vol. 25-28-July-2016).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Deterministic objects

T2 - 35th ACM Symposium on Principles of Distributed Computing, PODC 2016

AU - Afek, Yehuda

AU - Ellen, Faith

AU - Gafni, Eli

PY - 2016/7/25

Y1 - 2016/7/25

N2 - For all integers m ≥ 2, we construct an innite sequence of deterministic objects of consensus number m with strictly increasing computational power. In particular, this refutes the Common2 Conjecture, which claimed that every deter- ministic object of consensus number 2 has a deterministic, wait-free implementation from 2-consensus objects and reg- isters in a system with any nite number of processes.

AB - For all integers m ≥ 2, we construct an innite sequence of deterministic objects of consensus number m with strictly increasing computational power. In particular, this refutes the Common2 Conjecture, which claimed that every deter- ministic object of consensus number 2 has a deterministic, wait-free implementation from 2-consensus objects and reg- isters in a system with any nite number of processes.

KW - Consistent ordered partition

KW - Deterministic consensus hierarchy

KW - Set-consensus

KW - Simulation

KW - Valency ar-gument

UR - http://www.scopus.com/inward/record.url?scp=84984704918&partnerID=8YFLogxK

U2 - 10.1145/2933057.2933116

DO - 10.1145/2933057.2933116

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:84984704918

T3 - Proceedings of the Annual ACM Symposium on Principles of Distributed Computing

SP - 97

EP - 106

BT - PODC 2016 - Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing

PB - Association for Computing Machinery

Y2 - 25 July 2016 through 28 July 2016

ER -

Deterministic objects: Life beyond consensus

Abstract

Publication series

Conference

Funding

Keywords

Access to Document

Other files and links

Fingerprint

Cite this