A necessary and sufficient condition for transforming limited accuracy failure detectors

Journal of Computer and System Sciences

Volumn 68, Issue 1, 2004, Pages 123-133

  Anceaume, E ^a   Fernandez A ^b   Mostefaoui, A ^a   Neiger, G ^c   Raynal, M ^a  

^a UNIVERSITÉ DE RENNES 1   (France)

^b UNIVERSIDAD REY JUAN CARLOS   (Spain)

^c INTEL CORPORATION   (United States)

Author keywords

Asynchronous distributed system; Crash failure; Failure detector accuracy; Reduction protocol; Unreliable failure detector

Indexed keywords

COMMUNICATION CHANNELS (INFORMATION THEORY); DATA COMMUNICATION SYSTEMS; DISTRIBUTED COMPUTER SYSTEMS; ERROR DETECTION; FAILURE ANALYSIS; MATHEMATICAL TRANSFORMATIONS; NETWORK PROTOCOLS; THEOREM PROVING;

ASYNCHRONOUS DISTRIBUTED SYSTEMS; FAILURE DETECTORS; REDUCTION PROTOCOL; UNRELIABLE FAILURE DETECTOR;

COMPUTER SYSTEM RECOVERY;

EID: 0842321992     PISSN: 00220000     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jcss.2003.08.003     Document Type: Article

References (15)

1. T. Chandra, S. Toueg, Unreliable failure detectors for reliable distributed systems, J. ACM 43 (2) (1996) 225-267.
2. S. Chaudhuri, More choices allow more faults: set consensus problems in totally asynchronous systems, Inform. Comput. 105 (1) (1993) 132-158.
3. D. Dolev, C. Dwork, L. Stockmeyer, On the minimal synchronism needed for distributed consensus, J. ACM 34 (1) (1987) 77-97.
4. C. Dwork, N. Lynch, L. Stockmeyer, Consensus in the presence of partial synchrony, J. ACM 35 (2) (1988) 288-323.
5. M.J. Fischer, N. Lynch, M.S. Paterson, Impossibility of distributed consensus with one faulty process, J. ACM 32 (2) (1985) 374-382.
6. R. Guerraoui, A. Schiper, Γ-accurate failure detectors, in: Ö. Babaoǧlu, K. Marzullo (Eds.), Proceedings of 10th Workshop on Distributed Algorithms (WDAG'96), Bologna, Italy, Lecture Notes in Computer Science, Vol. 1151, Springer, Berlin, 1996, pp. 269-285.
7. M. Hurfin, A. Mostefaoui, M. Raynal, A versatile family of consensus protocols based on Chandra-Toueg's unreliable failure detectors, IEEE Trans. Comput. 51 (4) (2002) 395-408.
8. M. Hurfin, M. Raynal, A simple and fast asynchronous consensus protocol based on a weak failure detector, Distributed Comput. 12 (4) (1999) 209-223.
9. S. Moran, Y. Wolfstahl, Extended impossibility results for asynchronous complete networks, Inform. Process. Lett. 26 (1987) 145-151.
10. A. Mostefaoui, M. Raynal, Solving consensus using Chandra-Toueg's unreliable failure detectors: a general quorum-based approach. in: P. Jayanti (Ed.), Proceedings of 13th Symposium on Distributed Computing (DISC'99), (Formerly WDAG), Bratislava, Slovakia, Lecture Notes in Computer Science, Vol. 1693, Springer, Berlin, September 1999, pp. 49-63.
11. A. Mostefaoui, M. Raynal, Unreliable failure detectors with limited scope accuracy and an application to consensus, in: V. Raman, R. Ramanujan (Eds.), Proceedings of 19th International Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS'99), Lecture Notes in Computer Science, Vol. 1738, Springer, Chennai, India, December 1999, pp. 329-340.
12. A. Mostefaoui, M. Raynal, k-set agreement with limited accuracy failure detectors, Proceedings of 19th ACM Symposium on Principles of Distributed Computing (PODC'00), Portland, OR, 2000, pp. 143-152.
13. M. Raynal, F. Tronel, Restricted failure detectors: definition and reduction protocols, Inform. Process. Lett. 72 (1999) 91-97.
14. A. Schiper, Early consensus in an asynchronous system with a weak failure detector, Distrib. Comput. 10 (1997) 149-157.
15. J. Yang, G. Neiger, E. Gafni, Structured derivations of consensus algorithms for failure detectors, Proceedings of 17th ACM Symposium on Principles of Distributed Computing, Puerto Vallarta, Mexico, 1998, pp. 297-308.