Abstract
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 log2 n) 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(log2 n).
This work was done while the author was at Harvard University, supported in part by ONR contract ONR-N00014-91-J-1981.
The author was supported by NSF contract CCR-9313775.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
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.
J. Aspnes. Time-and space-efficient randomized consensus. In Proceedings of the 9th ACM Symposium on Principles of Distributed Computing, pages 325–331, 1990.
J. Aspnes and M. Herlihy. Fast randomized consensus using shared memory. Journal of Algorithms, 11(3):441–461, September 1990.
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.
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.
H. Attiya, N. Lynch, and N. Shavit. Are Wait-Free Algorithms Fast? In 31st FOCS, pages55–64, 1990.
Y. Aumann and M.O. Rabin. Clock construction in fully asynchronous parallel systems and pram simulation. Theoretical Computer Science, 128:3–30, 1994.
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.
T.D. Chandra. Polylog Randomized Wait-Free Consensus. To appear in Proceedings of the 15th PODC, 1996.
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.
D. Dolev, S. Dwork, and L. Stockmeyer. On the minimal synchronism needed for distributed consensus. Journal of the ACM, 34(1):77–97, January 1987.
M.J. Fischer, N.A. Lynch, and M.S. Paterson. Impossibility of distributed commit with one faulty process. Journal of ACM, 32(2):374–382, April 1985.
M. Herlihy. Impossibility results for asynchronous PRAM. In Proceedings of the 3rd ACM Symposium on the Parallel Architectures and Algorithms, pages 327–336, 1991.
M. Herlihy. Wait-free synchronization. ACM Transactions on Programming Languages and Systems, 13(1):124–149, January 1991.
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.
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.
S. Plotkin. Sticky bits and universality of consensus. In Proceedings of the 8th ACM Symposium on Principles of Distributed Computing, pages 159–176, 1989.
M.O. Rabin. N-Process mutual exclusion with bounded waiting by 4 log2 N-valued shared variable. Jour. Comp. Sys. Sc., 25:66–75, 1982.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Aumann, Y., Bender, M.A. (1996). Efficient asynchronous consensus with the value-oblivious adversary scheduler. In: Meyer, F., Monien, B. (eds) Automata, Languages and Programming. ICALP 1996. Lecture Notes in Computer Science, vol 1099. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61440-0_164
Download citation
DOI: https://doi.org/10.1007/3-540-61440-0_164
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61440-1
Online ISBN: 978-3-540-68580-7
eBook Packages: Springer Book Archive