A recent paper by Afek, Ellen, and Gafni introduced a family of deterministic objects O_{m,k}, for m,k >= 2, with consensus numbers m such that, for each k >= 2, O_{m,k} is computationally less powerful than O_{m,k+1} in systems with at least mk+m+k processes. This paper gives a wait-free implementation of O_{m,k} from (m + 1)-consensus objects and registers in systems with any finite number of processes. In order to do so, it introduces a new family of objects which helps us to understand the power of m-consensus among more than m processes.
@InProceedings{qadri:LIPIcs.OPODIS.2016.27, author = {Qadri, Ammar}, title = {{m-Consensus Objects Are Pretty Powerful}}, booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)}, pages = {27:1--27:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-031-6}, ISSN = {1868-8969}, year = {2017}, volume = {70}, editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.27}, URN = {urn:nbn:de:0030-drops-70964}, doi = {10.4230/LIPIcs.OPODIS.2016.27}, annote = {Keywords: Deterministic Consensus Hierarchy, Wait-free Implementation, Tournament} }
Feedback for Dagstuhl Publishing