A wait-free classification of loop agreement tasks

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1499, Issue , 1998, Pages 175-185

  Herlihy, Maurice ^a   Rajsbaum, Sergio ^b  

^a Brown Univerity   (United States)

^b UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO   (Mexico)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

ALGEBRAIC SIGNATURES; APPROXIMATE AGREEMENT; COMPLETE CLASSIFICATION; COMPUTATIONAL POWER; SET-AGREEMENT; WAIT FREE;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 84947921483     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0056482     Document Type: Conference Paper

References (26)

1. M. A. Armstrong. Basic Topology. Undergraduate Texts In Mathematics. Springer-Verlag, New York, 1983.
2. H. Attiya, A. Bar-Noy, D. Dolev, D. Peleg, and R. Reischuk. Renaming in an asynchronous environment. Journal of the ACM, 37(3):524-548, July 1990.
3. E. Borowsky and E. Gafni. Consensus as a form of resilience, private communication.
4. E. Borowsky and E. Gafni. Generalized FLP impossibility result for t-resilient asynchronous computations. In Proceedings of the 1993 ACM Symposium on Theory of Computing, pages 91-100, May 1993.
5. T. Chandra, V. Hadzilacos, P. Jayanti, and S. Toueg. Wait-freedom vs. t-resiliency and the robustness of the wait-free hierarchies. In Proceedings of the 13th Annual ACM Symposium on Principles of Distributed Computing, pages 334-343, 1994.
6. S. Chaudhuri. Agreement is harder than consensus: Set consensus problems in totally asynchronous systems. In Proceedings Of The Ninth Annual ACM Symposium On Principles of Distributed Computing, pages 311-234, August 1990.
7. Y. Afek, E. Borowsky, E. Gafni. Consensus power makes (some) sense! In Proceedings of the 13th Annual ACM Symposium on Principles of Distributed Computing, pages 363-372, August 1994.
8. A. Fekete. Asymptotically optimal algorithms for approximate agreement. In Proceedings of the 5th Annual ACM Symposium on Principles of Distributed Computing, pages 73-87, August 1986.
9. M. Fischer, N. A. Lynch, and M. S. Paterson. Impossibility of distributed commit with one faulty process. Journal of the ACM, 32(2):374-382, April 1985.
10. E. Gafni and E. Koutsoupias. Three-processor tasks are undecidable. http://daphne.cs.ucla.edu/eli/undec.ps, 1996.
11. M. P. Herlihy. Wait-free synchronization. ACM Transactions On Programming Languages And Systems, 13(1):123-149, January 1991.
12. M. P. Herlihy and S. Rajsbaum. Set consensus using arbitrary objects. Full version of 1994 Herlihy and Rajsbaum PODC paper op. cit.
13. M. P. Herlihy and S. Rajsbaum. Set consensus using arbitrary objects. In Proceedings of the 13th Annual ACM Symposium on Principles of Distributed Computing, pages 324-333, August 1994.
14. M. P. Herlihy and S. Rajsbanm. Algebraic spans. In Proceedings of the 14th Annual ACM Symposium on Principles of Distributed Computing, pages 90-99. ACM, August 1995.
15. M. P. Herlihy and S. Rajsbanm. The decidability of distributed decision task. In Proceedings of the 1997 ACM Symposium on Theory of Computing, pages 589-598, May 1997. Brief announcement in PODC 1996.
16. M. P. Herlihy and N. Shavit. The asynchronous computability theorem for tresilient tasks. In Proceedings of the 1993 ACM Symposium on Theory of Computing, pages 111-120, May 1993.
17. M. P. Herlihy and N. Shavit. A simple constructive computability theorem for wait-free computation. In Proceedings of the 1994 ACM Symposium on Theory of Computing, pages 243-252, May 1994.
18. P. Jayanti. On the robustness of herlihy's hierarchy. In Proceedings of the 12th Annual ACM Symposium on Principles of Distributed Computing, pages 145-158, 1993.
19. W-K. Lo and V. Hadzilacos. All of us are smarter than any of us: more on the robustness of the consensus hierarchy. In Proceedings of the 1997 ACM Symposium on Theory of Computing, pages 579-588, 1997.
20. W. S. Massey. Algebraic Topology: An Introduction. Graduate Texts In Mathematics. Springer-Verlag, New York, 1977.
21. S. Moran and L. Rappoport. On the robustness of (formula presented). In Proceedings of the 10th International Workshop on Distributed Algorithms, pages 344-361. ACM, 1996.
22. J. R. Munkres. Elements Of Algebraic Topology. Addison Wesley, Reading MA, 1984. ISBN 0-201-04586-9.
23. G. L. Peterson, R. A. Bazzi, and G. Neiger. A gap theorem for consensus types. In Proceedings of the 13th Annual ACM Symposium on Principles of Distributed Computing, pages 344-353, 1994.
24. O. Rachman. Anomalies in the wait-free hierarchy. In Proceedings of the 8th International Workshop on Distributed Algorithms, pages 156-163, 1994.
25. M. Saks and F. Zaharoglou. Wait-free k-set agreement is impossible: The topology of public knowledge. In Proceedings of the 1993 ACM Symposium on Theory of Computing, pages 101-110, May 1993.
26. Eric Schenk. Computability and Complexity Results for agreement problems in shared memory systems. PhD thesis, University of Toronto, 1996.