Using conditions to expedite consensus in synchronous distributed systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2848, Issue , 2003, Pages 249-263

  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

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS;

ASYNCHRONOUS SYSTEM; CONDITION-BASED APPROACH; CONSENSUS PROTOCOLS; FAULTY PROCESS; PROCESS CRASH FAILURE; SYNCHRONOUS DISTRIBUTED SYSTEMS; SYNCHRONOUS SYSTEM; UNIFORM CONSENSUS;

VECTORS;

EID: 35248869308     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39989-6_18     Document Type: Article

References (25)

1. 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, October 2002.
2. Aguilera M.K., Le Lann G. and Toueg S., On the Impact of Fast Failure Detectors on Real-Time Fault-Tolerant Systems. Proc. 16th Int. Symposium on Distributed Computing (DISC'02), Springer-Verlag LNCS #2508, pp. 354-370, 2002.
3. Chandra T.K. and Toueg S., Unreliable Failure Detectors for Reliable Distributed Systems. Journal of the ACM, 43(2):225-267, March 1996.
4. Charron-Bost B. and Schiper A., Uniform Consensus is Harder than Consensus. Technical Report DSC/2000/028, EPFL, Lausanne, May 2000.
5. Dolev D., Reischuk R. and Strong R., Early Stopping in Byzantine Agreement. Journal of the ACM, 37(4):720-741, April 1990.
6. Fischer M.J. and Lynch N., A Lower Bound for the Time to Assure Interactive Consistency. Information Processing Letters, 71:183-186, 1982.
7. 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.
8. 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 (F), 2002.
9. Gafni E., Round-by-Round Fault Detectors: Unifying Synchrony and Asynchrony. Proc. 17th ACM Symposium on Principles of Distributed Computing (PODC'98), ACM Press, pp. 133-143-152, New York, 1998.
10. Guerraoui, R., Indulgent Algorithms. Proc. 19th ACM Symposium on Principles of Distributed Computing (PODC'00), ACM Press, pp. 289-297, New York, 2000.
11. Guerraoui R. and Raynal M., A Generic Framework for Indulgent Consensus. Proc. 23rd Int. IEEE Conference on Distributed Computing Systems (ICDCS'03), pp. 88-97, Providence (RI), May 2003.
12. 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.
13. Herlihy M.P., Rajsbaum S. and Tuttle M.R., Unifying Synchronous and Asynchronous Message-Passing Models. Proc. 17th ACM Symposium on Principles of Distributed Computing (PODC'98), ACM Press, pp. 133-142, New York, 1998.
14. Keidar I. and Rajsbaum S., A Simple Proof of the Uniform Consensus Synchronous Lower Bound. Information Processing Letters, 85:47-52, 2003.
15. Keidar I. and Rajsbaum S., On the Cost of Fault-tolerant Consensus When There Are No Faults. Technical Report MIT-LCS-TR-821, MIT Lab. for CS, May 2001.
16. Lamport L., The Part-Time Parliament. ACM TOCS, 16(2):133-169, 1998.
17. Lamport L. and Fischer M., Byzantine Generals and Transaction Commit Protocols. Unpublished manuscript, 16 pages, April 1982.
18. Lynch N.A., Distributed Algorithms. Morgan Kaufmann Pub., 872 pages, 1996.
19. Moses, Y. and Rajsbaum, S. A Layered Analysis of Consensus, SIAM Journal of Computing 31(4):989-1021, 2002.
20. Mostefaoui A., Rajsbaum S. and Raynal M., Conditions on Input Vectors for Consensus Solvability in Asynchronous Distributed Systems. Proc. 33rd ACM Symposium on Theory of Computing (STOC'01), ACM Press, pp. 153-162, 2001.
21. Mostefaoui A., Rajsbaum S. and Raynal M., Using Conditions to Expedite Consensus in Synchronous Distributed Systems. IRISA Research Report #1510, (http://www.irisa.fr/bibli/publi/pi/2003/1510/1510.html), Rennes (F), 2003.
22. Mostefaoui A., Rajsbaum S., Raynal M. and Roy M., Efficient Condition-Based Consensus. 8th Int. Colloquium on Structural Information and Communication Complexity (SIROCCO'01), Carleton Univ. Press, pp. 275-293, 2001.
23. 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. 48-62, Toulouse, October 2002.
24. Mostefaoui A. and Raynal M., Leader-Based Consensus. Parallel Processing Letters, 11(1):95-107, 2001.
25. 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, Dec. 2002.