On the computability power and the robustness of set agreement-oriented failure detector classes

Distributed Computing

Volumn 21, Issue 3, 2008, Pages 201-222

  Mostefaoui, Achour ^a   Rajsbaum, Sergio ^b   Raynal, Michel ^a   Travers, Corentin ^a  

^a CAMPUS DE BEAULIEU   (France)

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

Author keywords

Asynchronous system; Distributed algorithm; Fault tolerance; Set agreement; Unreliable failure detector

Indexed keywords

CONNECTORS (STRUCTURAL); DISTRIBUTED COMPUTER SYSTEMS; LAWS AND LEGISLATION;

AGREEMENT PROBLEMS; ASYNCHRONOUS DISTRIBUTED SYSTEMS; ASYNCHRONOUS SYSTEM; CRASH FAILURES; DISTRIBUTED ALGORITHM; FAILURE DETECTORS; FAULT-TOLERANCE; PROCESS FAILURES; SET-AGREEMENT; UNRELIABLE FAILURE DETECTOR; UNRELIABLE FAILURE DETECTORS;

DETECTORS;

EID: 49149095043     PISSN: 01782770     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00446-008-0064-2     Document Type: Article

References (29)

1. Borowsky, E., Gafni, E.: Generalized FLP impossibility results for t-resilient asynchronous computations. In: Proceedings of the 25th ACM Symposium on Theory of Computing (STOC'93), pp. 91-100. ACM Press, San Diego (1993)
2. Borowsky, E., Gafni, E.: The Implication of the Borowsky-Gafni Simulation on the set consensus hierarchy. Technical Report 93-0021. Computer Science Department, University of California at Los Angeles (1993)
3. Chandra T., Hadzilacos V., Toueg S.: The weakest failure detector for solving consensus. J. ACM 43(4), 685-722 (1996)
4. Chandra T.D., Toueg S.: Unreliable failure detectors for reliable distributed systems. J. ACM 43(2), 225-267 (1996)
5. Chaudhuri S.: More choices allow more faults: set consensus problems in totally asynchronous systems. Inf. Comput. 105, 132-158 (1993)
6. Chu F.: Reducing Ω to W. Inf. Process. Lett. 76(6), 293-298 (1998)
7. Dutta P., Guerraoui R.: Fast indulgent consensus with zero degradation. In: Grandoni, F., Thévenod-Fosse, P. (eds) Proceedings of the 4th European Dependable Computing Conference (EDCC'02), Toulouse. LNCS, vol. 2485, pp. 191-208. Springer, Heidelberg (2002)
8. Delporte-Gallet C., Fauconnier H., Guerraoui R.: (Almost) All Objects are Universal in Message Passing Systems. In: Fraigniaud, P. (eds) Proceedings of the 19th Symposium on Distributed Computing (DISC'05), Cracow. LNCS, vol. 3724, pp. 184-198. Springer, Heidelberg (2005)
9. Fischer M.J., Lynch N., Paterson M.S.: Impossibility of distributed consensus with one faulty process. J. ACM 32(2), 374-382 (1985)
10. Guerraoui R., Raynal M.: The information structure of indulgent consensus. IEEE Trans. Comput. 53(4), 453-466 (2004)
11. Guerraoui R., Schiper A.: Gamma-accurate failure detectors. In: Babaoglu, Ö., Marzullo, K. (eds) Proceedings of 10th Workshop on Distributed Algorithms (WDAG'96), Bologna. LNCS, vol. 1151, pp. 269-286. Springer, Heidelberg (1996)
12. Hadzilacos V., Toueg S.: Reliable Broadcast and Related Problems. Distributed Systems. ACM Press, New York (1993)
13. Herlihy M.P., Penso L.D.: Tight bounds for k-set agreement with limited scope accuracy failure detectors. Distrib. Comput. 18(2), 157-166 (2005)
14. Herlihy, M.P., Rajsbaum, S.: Set consensus using arbitrary objects. In: Proceedings of the 13th ACM Symposium on Principles of Distributed Computing (PODC'94), pp. 324-333. ACM Press, Los Angeles (1994)
15. Herlihy M.P., Shavit N.: The topological structure of asynchronous computability. J. ACM 46(6), 858-923 (1999)
16. Lamport L.: The part-time parliament. ACM Trans. Comput. Syst. 16(2), 133-169 (1998)
17. Mostefaoui A., Rajsbaum S., Raynal M.: Conditions on input vectors for consensus solvability in asynchronous distributed systems. J. ACM 50(6), 922-954 (2003)
18. Mostefaoui, A., Rajsbaum, S., Raynal M.: The combined power of conditions and failure detectors to solve asynchronous set agreement. In: Proceedings of 24th ACM Symposium on Principles of Distributed Computing (PODC'05), pp. 179-188. ACM Press, Las Vegas (2005)
19. Mostefaoui A., Rajsbaum S., Raynal M., Travers C.: From W to Ω: a simple bounded quiescent reliable broadcast-based transformation. J. Parallel Distrib. Comput. 67(1), 125-129 (2007)
20. Mostefaoui A., Rajsbaum S., Raynal M., Travers C.: Irreducibility and additivity of set agreement-oriented failure detector classes (extended abstract). In: Ruppert, E., Malkhi, D. (eds) Proceedings of the 25th ACM Symposium on Principles of Distributed Computing (PODC'06), pp. 153-162. ACM Press, Denver (2006)
21. Mostefaoui A., Raynal M.: Solving consensus using chandra-toueg's unreliable failure detectors: a general quorum-based approach. In: Jayanti, P. (eds) Proceedings of 13th Symposium on Distributed Computing (DISC'99), Bratislava. LNCS, vol. 1693, pp. 49-63. Springer, Heidelberg (1999)
22. Mostefaoui A., Raynal M.: Unreliable failure detector with limited scope accuracy and an application to consensus. In: Pandu Rangan, C., Raman, V., Ramanujam, R. (eds) Proceedings of 19th International Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS'99), Chennai. LNCS, vol. 1738, pp. 329-340. Springer, Heidelberg (1999)
23. Mostefaoui A., Raynal M.: k-set agreement with limited accuracy failure detectors. In: Neiger, G. (eds) Proceedings of the 19th ACM Symposium on Principles of Distributed Computing (PODC'00), Portland, pp. 143-152. ACM Press, New York (2000)
24. Mostefaoui A., Raynal M.: Leader-based consensus. Parallel Process. Lett. 11(1), 95-107 (2001)
25. Neiger G.: Failure detectors and the wait-free hierarchy. In: Aguilera, M.K., Aspnes, J. (eds) Proceedings of the 14th ACM Symposium on Principles of Distributed Computing (PODC'95), pp. 100-109. ACM Press, Las Vegas (1995)
26. Raynal M.: A short introduction to failure detectors for asynchronous distributed systems. ACM SIGACT News Distrib. Comput. Column 36(1), 53-70 (2005)
27. Saks M., Zaharoglou F.: Wait-free k-set agreement is impossible: the topology of public knowledge. SIAM J. Comput. 29(5), 1449-1483 (2000)
28. Schiper A.: Early consensus in an asynchronous system with a weak failure detector. Distrib. Comput. 10(3), 149-157 (1997)
29. 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 (PODC'98), pp. 297-308. Puerto Vallarta (1998)