Faster randomized consensus with an oblivious adversary.

Saved in:
Bibliographic Details
Title: Faster randomized consensus with an oblivious adversary.
Authors: Aspnes, James1 aspnes@cs.yale.edu
Source: Distributed Computing. Feb2015, Vol. 28 Issue 1, p21-29. 9p.
Subjects: Randomization (Statistics), EPSILON (Computer program language), Computational complexity, Permutation groups, Iterative methods (Mathematics)
Abstract: Two new algorithms are given for randomized consensus in a shared-memory model with an oblivious adversary. Each is based on a new construction of a conciliator, an object that guarantees termination and validity, but that only guarantees agreement with constant probability. The first conciliator assumes unit-cost snapshots and achieves agreement among n processes with probability $$1-\epsilon $$ in $$O(\log ^* n + \log (1/\epsilon ))$$ steps for each process. The second uses ordinary multi-writer registers, and achieves agreement with probability $$1-\epsilon $$ in $$O(\log \log n + \log (1/\epsilon ))$$ steps. Combining these constructions with known results gives randomized consensus for arbitrarily many possible input values using unit-cost snapshots in $$O(\log ^* n)$$ expected steps and randomized consensus for up to $$(\log n)^{O(\log \log \log n)}$$ possible input values using ordinary registers in $$O(\log \log n)$$ expected steps. [ABSTRACT FROM AUTHOR]
Copyright of Distributed Computing is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Engineering Source
Description
Abstract:Two new algorithms are given for randomized consensus in a shared-memory model with an oblivious adversary. Each is based on a new construction of a conciliator, an object that guarantees termination and validity, but that only guarantees agreement with constant probability. The first conciliator assumes unit-cost snapshots and achieves agreement among n processes with probability $$1-\epsilon $$ in $$O(\log ^* n + \log (1/\epsilon ))$$ steps for each process. The second uses ordinary multi-writer registers, and achieves agreement with probability $$1-\epsilon $$ in $$O(\log \log n + \log (1/\epsilon ))$$ steps. Combining these constructions with known results gives randomized consensus for arbitrarily many possible input values using unit-cost snapshots in $$O(\log ^* n)$$ expected steps and randomized consensus for up to $$(\log n)^{O(\log \log \log n)}$$ possible input values using ordinary registers in $$O(\log \log n)$$ expected steps. [ABSTRACT FROM AUTHOR]
ISSN:01782770
DOI:10.1007/s00446-013-0195-y