The combined power of conditions and failure detectors to solve asynchronous set agreement

Proceedings of the Annual ACM Symposium on Principles of Distributed Computing

Volumn 24, Issue , 2005, Pages 179-188

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

^a CAMPUS DE BEAULIEU   (France)

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

Author keywords

Asynchronous system; Condition; Consensus; Failure detection; Process crash; Set Agreement; Shared memory; Snapshot

Indexed keywords

DETECTORS; FAILURE (MECHANICAL); FAULT TOLERANT COMPUTER SYSTEMS; NETWORK PROTOCOLS; PROBLEM SOLVING; SET THEORY;

ASYNCHRONOUS SYSTEMS; CONSENSUS; FAILURE DETECTION; PROCESS CRASH; SET AGREEMENT; SHARED MEMORY; SNAPSHOT;

ASYNCHRONOUS MACHINERY;

EID: 32344433874     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1073814.1073848     Document Type: Conference Paper

References (38)

1. Afek Y., Attiya H., Dolev D., Gafni E., Merritt M. and Shavit N., Atomic Snapshots of Shared Memory. Journal of the ACM, 40(4):873-890, 1993.
2. Attiya H. and Avidor Z., Wait-Free n-Set Consensus when Inputs are Restricted. Proc. 16th Int. Symposium on Distributed Computing (DISC'02), Springer Verlag LNCS #2508, pp. 326-338, Toulouse (France), 2002.
3. Borowsky E. and Gafni E., Generalized FLP Impossibility Results for t-Resilient Asynchronous Computations. Proc. 25th ACM Symposium on the Theory of Computing (STOC'93), ACM Press, pp. 91-100, 1993.
4. Chandra T.D., Hadzilacos V. and Toueg S., The Weakest Failure Detector for Solving Consensus. Journal of the ACM, 43(4):685-722, 1996.
5. Chandra T.D. and Toueg S., Unreliable Failure Detectors for Reliable Distributed Systems. Journal of the ACM, 43(2):225-267, 1996.
6. Chaudhuri S., More Choices Allow More Faults: Set Consensus Problems in Totally Asynchronous Systems. Information and Computation, 105:132-158, 1993.
7. Chaudhuri S., Herlihy M., Lynch N. and Tuttle M., Tight Bounds for k-Set Agreement. Journal of the ACM, 47(5):912-943, 2000.
8. Chu F., Reducing Ω to ◇W. Information Processing Letters, 76(6):293-298, 1998.
9. De Prisco R., Malkhi D. and Reiter M., On k-Set Consensus problems in Asynchronous Sytems. IEEE Transactions on Parallel and Distributed Systems, 12(1):7-21, 2001.
10. Dwork C., Lynch N. and Stockmeyer L., Consensus in the Presence of Partial Synchrony. Journal of the ACM, 35(2):288-323, 1988.
11. Fischer M.J., Lynch N.A. and Paterson M.S., Impossibility of Distributed Consensus with One Faulty Process. Journal of the ACM, 32(2):374-382, 1985.
12. Friedman R., Mostefaoui A., Rajsbaum S. and Raynal M., Asynchronous Distributed Agreement and its Relation with Error Correcting Codes, Proc. 16th Int. Symposium on Distributed Computing (DISC'02), Springer Verlag LNCS #2508, pp. 63-87, Toulouse (France), 2002.
13. Gafni E., Guerraoui R. and Pochon B., From a Static Impossibility to an Adaptive Lower Bound: The Complexity of Early Deciding Set Agreement. Proc. 37th ACM Symposium on Theory of Computing, May 2005.
14. Guerraoui, R., Indulgent Algorithms. Proc. 19th Int. ACM Symposium on Principles of Distributed Computing (PODC'00), ACM Press, pp. 289-297, July 2000.
15. Guerraoui R. and Raynal M., The Information Structure of Indulgent Consensus. IEEE Transactions on Computers, 53(4):453-466, 2004.
16. Herlihy M.P. and Penso L. D., Tight Bounds for k-Set Agreement with Limited Scope Accuracy Failure Detectors. Proc. 17th Int. Symposium on Distributed Computing (DISC'03), Springer Verlag LNCS #2848, pp. 279-291, Sorrento (Italy), 2003.
17. Herlihy M.P and Rajsbaum S., Algebraic Spans. Mathematical Structures in Computer Science, Vol. 10, Issue 4, 2000, pp. 549-573.
18. Herlihy M.P. and Shavit N., The Topological Structure of Asynchronous Computability. Journal of the ACM, 46(6):858-923, 1999.
19. Herlihy M.P. and Wing J.L., Linearizability: a Correctness Condition for Concurrent Objects. ACM Transactions on Programming Languages and Systems, 12(3):463-492, 1990.
20. Hurfin M., Mostefaoui A. and Raynal M., A Versatile Family of Consensus Protocols Based on Chandra-Toueg's Unreliable Failure Detectors. IEEE Transactions on Computers, 51(4):395-408, 2002
21. Izumi T. and Masuzawa T., Synchronous Condition-Based Consensus Adapting to Input Vector Legality. Proc. 18th Int. Symposium on Distributed Computing (DISC'04), Springer-Verlag LNCS #3224, pp. 16-29, 2004.
22. Mostefaoui A., Mourgaya E., and Raynal M., Asynchronous Implementation of Failure Detectors, Proc. Int. IEEE Conference on Dependable Systems and Networks (DSN'03), IEEE Computer Press, pp. 351-360, San Francisco (CA), 2003.
23. Mostefaoui A., Rajsbaum S. and Raynal M., Conditions on Input Vectors for Consensus Solvability in Asynchronous Distributed Systems. J. of the ACM, 50(6):922-954, 2003.
24. Mostefaoui A., Rajsbaum S. and Raynal M., Using Conditions to Expedite Consensus in Synchronous Systems. Proc, 17th Int. Symposium on Distributed Computing (DISC'03), Springer-Verlag LNCS #2848, pp. 249-263, 2003.
25. Mostefaoui A., Rajsbaum S. and Raynal M., The Synchronous Condition-Based Consensus Hierarchy. Proc. 18th Int. Symposium on Distributed Computing (DISC'04), Springer-Verlag LNCS #3224, pp. 1-15, Amsterdam (Netherlands), 2004.
26. Mostefaoui A., Rajsbaum S. and Raynal M., The Combined Power of Conditions and Information on Failures to Solve Asynchronous Set Agreement, Tech Report #1688, IRISA, Université de Rennes (France), 2005. http://www,irisa.fr/bibli/publi/pi/2005/1688/1688.html
27. Mostefaoui A., Rajsbaum S., Raynal M. and Roy M., Condition-Based Protocols for Set Agreement Problems. Proc. 16th Int. Symposium on Distributed Computing (DISC'02), Springer Verlag LNCS #2508, pp. 46-62, 2002.
28. Mostefaoui A., Rajsbaum S., Raynal M. and Roy M., Condition-based Consensus Solvability: a Hierarchy of Conditions and Efficient Protocols. Distributed Computing, 17:1-20, 2004.
29. Mostéfaoui A. and Raynal M., Solving Consensus Using Chandra-Toueg's Unreliable Failure Detectors: a General Quorum-Based Approach. Proc. 13th Int. Symposium on Distributed Computing (DISC'99), Springer Verlag LNCS #1693, pp. 49-63, 1999.
30. Mostefaoui A. and Raynal M., k-Set Agreement with Limited Accuracy Failure Detectors. Proc. 19th Int. ACM Symposium on Principles of Distributed Computing (PODC'00), ACM Press, pp. 143-152, July 2000.
31. Mostefaoui A. and Raynal M., Randomized k-Set Agreement. Proc. 13th Int. ACM Symposium on Parallel Algorithms and Architectures (SPAA'01), ACM Press, pp. 291-297, Hersonissos (Crete, Greece), July 2001.
32. Mostefaoui A. and Raynal M., Leader-Based Consensus. Parallel Processing Letters, 11(1):95-107, 2001.
33. Raïpin Parvédy Ph., Raynal M. and Travers C., Decision Optimal Early-Stopping k-set Agreement in Synchronous Systems with General Omission Failures. Tech Report #1711, IRISA, Université de Rennes (France), 2005. http://www.irisa.fr/bibli/publi/pi/2005/1711/1711.html
34. Raynal M., Consensus in Synchronous Systems: a Concise Guided Tour. Proc. 9th IEEE Pacific Rim Int. Symposium on Dependable Computing (PRDC'02), Tsukuba (Japan), IEEE Computer Press, pp. 221-228, 2002.
35. Saks M. and Zaharoglou F., Wait-Free k-Set Agreement is Impossible: The Topology of Public Knowledge. SIAM Journal on Computing, 29(5):1449-1483, 2000.
36. Schiper A., Early Consensus in an Asynchronous System with a Weak Failure Detector. Distributed Computing, 10:149-157, 1997.
37. Yang J., Neiger G. and Gafni E., Structured Derivations of Consensus Algorithms for Failure Detectors. Proc. 17th Int. ACM Symposium on Principles of Distributed Computing (PODC'98), ACM Press, pp. 297-308, July 1998.
38. Zibin Y., Condition-Based Consensus in Synchronous Systems. Proc. 17th Int. Symposium on Distributed Computing, Springer-Verlag LNCS #2848, pp. 239-248, 2003.