The weakest failure detectors to solve certain fundamental problems in distributed computing

Proceedings of the Annual ACM Symposium on Principles of Distributed Computing

Volumn 23, Issue , 2004, Pages 338-346

  Delporte Gallet, Carole ^a   Hadzilacos, Vassos ^b   Fauconnier, Hugues ^a   Kouznetsov, Petr ^c   Guerraoui, Rachid ^c   Toueg, Sam ^b  

^a UNIVERSITÉ PARIS DIDEROT   (France)

^b UNIVERSITY OF TORONTO   (Canada)

^c EPFL   (Switzerland)

Author keywords

Consensus; Non blocking atomic commit; Quittable consensus; Register; Weakest failure detector

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; DATABASE SYSTEMS; RELIABILITY; THEOREM PROVING;

ATOMIC REGISTER; NON-BLOCKING ATOMIC COMMIT (NBAC); WEAKEST FAILURE DETECTOR;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 10444236388     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1011767.1011818     Document Type: Conference Paper

References (23)

1. H. Attiya, A. Bar-Noy, and D. Dolev. Sharing memory robustly in message-passing systems. J. ACM, 42(1):124-142, 1995.
2. H. Attiya and J. L. Welch. Distributed Computing: Fundamentals, Simulations and Advanced Topics. UK: McGraw-Hill, 1998.
3. T. D. Chandra, V. Hadzilacos, and S. Toueg. The weakest failure detector for solving consensus. J. ACM, 43(4):685-722, July 1996.
4. T. D. Chandra and S. Toueg. Unreliable failure detectors for reliable distributed systems. J. ACM, 43(2):225-267, Mar. 1996.
5. B. Charron-Bost and S. Toueg. Unpublished notes, 2001.
6. C. Delporte-Gallet, H. Fauconnier, and R. Guerraoui. Failure detection lower bounds on registers and consensus. In D. Malkhi, editor, Distributed Computing, LNCS 2508. 16th Internationl conference DISC 2002, 2002.
7. C. Delporte-Gallet, H. Fauconnier, and R. Guerraoui. Shared memory vs. message passing. Technical Report IC/2003/77, EPFL, Dec. 2003. Availabe at http://icwww.epfl.ch/publications/.
8. M. J. Fischer, N. A. Lynch, and M. S. Paterson. Impossibility of distributed consensus with one faulty process. J. ACM, 32(2):374-382, Apr. 1985.
9. E. Fromentin, M. Raynal, and F. Tronel. On classes of problems in asynchronous distributed systems with process crashes. In Proceedings of the 19th International Conference on Distributed Computing Systems, pages 470-477. IEEE Computer Society Press, 1999.
10. J. Gray. Notes on database operating systems. In R. Bayer, R. M. Graham, and G. Seegmuller, editors, Operating Systems: An Advanced Course, volume 60 of LNCS, pages 393-481. Springer-Verlag, 1978.
11. R. Guerraoui. Non-blocking atomic commit in asynchronous distributed systems with failure detectors. Distributed Computing, 15(1):17-25, 2002.
12. R. Guerraoui, V. Hadzilacos, P. Kouznetsov, and S. Toueg. The weakest failure detectors for quittable consensus and non-blocking atomic commit. Technical report, LPD, EPFL, 2004. Availabe at http://lpdwww.epfl.ch/publications/.
13. R. Guerraoui and P. Kouznetsov. On the weakest failure detector for non-blocking atomic commit. In Proceedings of the 2nd International Conference on Theoretical Computer Science, pages 461-473, Aug. 2002.
14. V. Hadzilacos. On the relationship between the atomic commitment and consensus problems. Fault-Tolerant Distributed Computing, pages 201-208, 1987.
15. M. Herlihy and J. M. Wing. Linearizability: a correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems, 12(3):463-492, June 1990.
16. A. Israeli and M. Li. Bounded time-stamps. Distributed Computing, 6(4):205-209, July 1993.
17. L. Lamport. Time, clocks, and the ordering of events in a distributed system. Commun. ACM, 21(7):558-565, July 1978.
18. L. Lamport. On interprocess communication-Part I: Basic Formalism, Part II: Algorithms. Distributed Computing, 1,2(2):87-103, 1986.
19. W.-K. Lo and V. Hadzilacos. Using failure detectors to solve consensus in asynchronous shared memory systems. In G. Tel and P. Vitányi, editors, Proceedings of the eighth International Workshop on Distributed Algorithms, volume 857 of LNCS, pages 280-295. Springer-Verlag, Sept. 1994.
20. A. Mostefaoui, M. Raynal, and F. Tronel. From binary consensus to multivalued consensus in asynchronous message-passing systems. Inf. Process. Lett., 73(5-6):207-212, March 2000.
21. F. B. Schneider. Implementing fault-tolerant services using the state machine approach: A tutorial. ACM Computing Surveys, 22(4):299-319, Dec. 1990.
22. D. Skeen. Crash Recovery in a Distributed Database System. PhD thesis, University of California at Berkeley, May 1982. Technical Memorandum UCB/ERL M82/45.
23. P. Vitanyi and B. Awerbuch. Atomic shared register access by asynchronous hardware. In Proceedings of the 27th Symposium on Foundations of Computer Science, pages 233-246, 1986.