Efficient asynchronous consensus with the value-oblivious adversary scheduler
We consider the power given to adversary scheduler of an asynchronous system and define the value-oblivious scheduler. At each step this scheduler determines the next processor to operate based on the full history of the dynamics of the execution; the scheduler is oblivious to the intermediate values the processors manipulate. We argue that the value-oblivious scheduler captures the possible sources of asynchrony in real systems.
Assuming the value oblivious adversary, we study the asynchronous consensus problem in the shared-memory setting with atomic reads and writes. We present a probabilistic algorithm that obtains consensus in O(n log2n) total work. Here, total work is defined as the total number of steps performed by all processors collectively. Thus, the amortized work per processor is O(log2n).
Unable to display preview. Download preview PDF.
- 1.K. Abrahamson. On achieving consensus using shared memory. In Proceedings of the 7th Annual ACM Symposium on the Principles of Distributed Computing, pages 291–302, 1988.Google Scholar
- 2.J. Aspnes. Time-and space-efficient randomized consensus. In Proceedings of the 9th ACM Symposium on Principles of Distributed Computing, pages 325–331, 1990.Google Scholar
- 4.J. Aspnes and O. Waarts. Randomized consensus in expected O(nlog2 n) operations per processor. In Proceedings of the 33rd Annual Symposium on the Foundations of Computer Science, pages 137–146, 1992.Google Scholar
- 5.H. Attiya, D. Dolev, and N. Shavit. Bounded polynomial randomized consensus. In Proceedings of the 8th ACM Symposium on Principles of Distributed Computing, pages 281–294, 1989.Google Scholar
- 6.H. Attiya, N. Lynch, and N. Shavit. Are Wait-Free Algorithms Fast? In 31st FOCS, pages55–64, 1990.Google Scholar
- 8.G. Bracha and O. Rachman. Randomized consensus in expected O(n 2 log n) operations. In Proceedings of the 5th International Workshop on Distributed algorithms. Springer-Verlag, 1991.Google Scholar
- 9.T.D. Chandra. Polylog Randomized Wait-Free Consensus. To appear in Proceedings of the 15th PODC, 1996.Google Scholar
- 10.B. Chor, A. Israeli, and L. Ming. On processor coordination using asynchronous hardware. In Proceedings of the 6th ACM Symposium on Principles of Distributed Computing, pages 86–97, 1987.Google Scholar
- 13.M. Herlihy. Impossibility results for asynchronous PRAM. In Proceedings of the 3rd ACM Symposium on the Parallel Architectures and Algorithms, pages 327–336, 1991.Google Scholar
- 15.M. G. Loui and H. Abu-Amara. Memory Requirements for Agreement Among Unreliable Asynchronous Processors. Advances in Computing Research, vol. 4, pages 163–183, 1987.Google Scholar
- 16.C. Martel, R. Subramonian, and A. Park. Asynchronous PRAMs are (almost) as Good as Synchronous PRAMs. In Proceeding of 31st FOCS, pages 590–599, 1990.Google Scholar
- 17.S. Plotkin. Sticky bits and universality of consensus. In Proceedings of the 8th ACM Symposium on Principles of Distributed Computing, pages 159–176, 1989.Google Scholar
- 19.M. Saks, N. Shavit, and H. Woll. Optimal Time Randomized Consensus — Making Resilient Algorithms Fast in Practice. In Proceedings of the 2nd Annual ACM-SIAM Symposium on Discrete Algorithms, pages 351–362, 1991.Google Scholar