On the weakest failure detector ever

Distributed Computing

Volumn 21, Issue 5, 2009, Pages 353-366

  Guerraoui, Rachid ^a,b   Herlihy, Maurice ^c   Kuznetsov, Petr ^d   Lynch, Nancy ^a   Newport, Calvin ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b EPFL   (Switzerland)

^c Brown University   (United States)

^d TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; DETECTORS;

DISTRIBUTED COMPUTING; DISTRIBUTED SYSTEMS; FAILURE DETECTORS; FAILURE INFORMATIONS; MUTUAL EXCLUSIONS; NON-TRIVIAL; PROCESS FAILURES; SET AGREEMENTS; SOLVING SETS; STABLE FAILURES;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 60449106706     PISSN: 01782770     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00446-009-0079-3     Document Type: Conference Paper

References (23)

1. Y. Afek H. Attiya D. Dolev E. Gafni M. Merritt N. Shavit 1993 Atomic snapshots of shared memory J. ACM 40 4 873 890
2. Borowsky, E., Gafni, E.: Generalized FLP impossibility result for t-resilient asynchronous computations. In: Proceedings of the 25th ACM Symposium on Theory of Computing, pp. 91-100. ACM Press, New York (1993)
3. T.D. Chandra V. Hadzilacos S. Toueg 1996 The weakest failure detector for solving consensus J. ACM 43 4 685 722
4. T.D. Chandra S. Toueg 1996 Unreliable failure detectors for reliable distributed systems J. ACM 43 2 225 267
5. S. Chaudhuri 1993 More choices allow more faults: set consensus problems in totally asynchronous systems Inf. Comput. 105 1 132 158
6. Chen, W., Zhang, J., Chen, Y., Liu, X.: Weakening failure detectors for k-set agreement via the partition approach. In: Proceedings of the 21st International Symposium on Distributed Computing, pp. 123-138 (2007)
7. Delporte-Gallet, C., Fauconnier, H., Guerraoui, R., Hadzilacos, V., Koutnetzov, P., Toueg, S.: The weakest failure detectors to solve certain fundamental problems in distributed computing. In: Proceedings of the 23th ACM Symposium on Principles of Distributed Computing (2004)
8. C. Delporte-Gallet H. Fauconnier R. Guerraoui P. Kouznetsov 2005 Mutual exclusion in asynchronous systems with failure detectors J. Parallel Distrib. Comput. 65 4 492 505
9. D. Dolev C. Dwork L. Stockmeyer 1987 On the minimal synchronism needed for distributed consensus J. ACM 34 1 77 97
10. C. Dwork N.A. Lynch L. Stockmeyer 1988 Consensus in the presence of partial synchrony J. ACM 35 2 288 323
11. M.J. Fischer N.A. Lynch M.S. Paterson 1985 Impossibility of distributed consensus with one faulty process J. ACM 32 2 374 382
12. Guerraoui, R., Herlihy, M., Kouznetsov, P., Lynch, N.A., Newport, C.C.: On the weakest failure detector ever. In: Proceedings of the 26th ACM Symposium on Principles of Distributed Computing, pp. 235-243 (2007)
13. R. Guerraoui P. Kouznetsov 2008 Failure detectors as type boosters Distrib. Comput. 20 5 343 358
14. Herlihy, M., Shavit, N.: The asynchronous computability theorem for t-resilient tasks. In: Proceedings of the 25th ACM Symposium on Theory of Computing, pp. 111-120 (1993)
15. M. Herlihy J.M. Wing 1990 Linearizability: a correctness condition for concurrent objects ACM Trans. Program. Lang. Syst. 12 3 463 492
16. P. Jayanti 1997 Robust wait-free hierarchies J. ACM 44 4 592 614
17. Mostéfaoui, A., Raynal, M., Travers, C.: Exploring Gafni's reduction land: from omega to wait-free adaptive (2p-[p/k])- renaming via k-set agreement. In: Proceedings of the 20th International Symposium on Distributed Computing, pp. 1-15 (2006)
18. Neiger, G.: Failure detectors and the wait-free hierarchy. In: Proceedings of the 14th ACM Symposium on Principles of Distributed Computing (1995)
19. Raynal, M., Travers, C.: In search of the holy grail: looking for the weakest failure detector for wait-free set agreement. In: Proceedings of the 10th International Conference on Principles of Distributed Systems, pp. 3-19 (2006)
20. Saks, M., Zaharoglou, F.: Wait-free k-set agreement is impossible: the topology of public knowledge. In: Proceedings of the 25th ACM Symposium on Theory of Computing, pp. 101-110. ACM Press, New York (1993)
21. Yang, J., Neiger, G., Gafni, E.: Structured derivations of consensus algorithms for failure detectors. In: Proceedings of the 17th ACM Symposium on Principles of Distributed Computing, pp. 297-306 (1998)
22. Zielinski, P.: Automatic classification of eventual failure detectors. In: Proceedings of the 21st International Symposium on Distributed Computing, pp. 465-479 (2007)
23. Zielinski, P.: Anti-Omega: the weakest failure detector for set agreement. In: Proceedings of the 27th ACM Symposium on Principles of Distributed Computing (2008)