Optimal early stopping uniform consensus in synchronous systems with process omission failures

Annual ACM Symposium on Parallel Algorithms and Architectures

Volumn 16, Issue , 2004, Pages 302-310

  Parvédy, Philippe Raïpin ^a   Raynal, Michel ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

Consensus; Crash failure; Omission failure; Round based computation; Send omission; Send receive omission; Synchronous distributed system; Uniform consensus

Indexed keywords

FAULT TOLERANT COMPUTER SYSTEMS; NETWORK PROTOCOLS; PROBLEM SOLVING; SET THEORY; SYNCHRONIZATION;

CONSENSUS; CRASH FAILURE; OMISSION FAILURE; ROUND-BASED;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 8344261358     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1007912.1007963     Document Type: Conference Paper

References (23)

1. Aguilera M.K. and Toueg S., A Simple Bivalency Proof that t-Resilient Consensus Requires t + 1 Rounds. Information Processing Letters, 71:155-178, 1999.
2. Berman P., Garay J.A. and Perry K.J., Optimal Early Stopping in Distributed Consensus. Proc. 6th Int. Workshop on Distributed Algorithms, Springer-Verlag, LNCS #647, pp. 221-237, 1992.
3. Charron-Bost B. and Schiper A., Uniform Consensus is Harder than Consensus (Extended Abstract). Technical Report DSC/2000/028, EPFL, May 2000.
4. Dolev D., Reischuk R. and Strong R., Early Stopping in Byzantine Agreement. JACM, 37(4):720-741, 1990.
5. Dolev D. and Strong R., Authenticated Algorithms for Byzantine Agreement. Siam Journal of Computing, 12:656-666, 1983.
6. Dwork C. and Moses Y., Knowledge and Common Knowledge in a Byzantine Environment: Crash Failures, Information Computation, 88(2):156-186, 1990.
7. Fischer M.J. and Lynch N., A Lower Bound for the Time to Assure Interactive Consistency. Information Processing Letters, 71:183-186, 1982.
8. Fischer M.J., Lynch N. and Paterson M.S., Impossibility of Distributed Consensus with One Faulty Process. JACM, 32(2):374-382, April 1985.
9. Garay J.A. and Moses Y., Fully Polynomial Byzantine Agreement for n > 3t Processes in t + 1 Rounds. SIAM Journal on Computing, 27(1):247-290, 1998.
10. Garg V.K., Elements of Distributed Computing. Wiley Interscience, 423 pages, 2002.
11. Hadzilacos V. and Toueg S., Reliable Broadcast and Related Problems. In Distributed Systems, ACM Press (S. Mullender Ed.), New-York, pp. 97-145, 1993.
12. Keidar I. and Rajsbaum S., A Simple Proof of the Uniform Consensus Synchronous Lower Bound. Information Processing Letters, 85:47-52, 2003.
13. Lamport L., Shostak R. and Pease L., The Byzantine General Problem. ACM TOPLAS, 4(3):382-401,1982.
14. Le Fessant F., The complexity of Early-Deciding in Unreliable Synchronous Networks. Research Report #TR-2003-23, Microsoft Research, Cambridge (UK), 2003.
15. Le Fessant F., Raipin Parvedy Ph. and Raynal M., Optimal Early-Decision Despite General Process Omission Failures. Brief Annoucement. Proc. 22th ACM Symposium on Principles of Distributed Computing, p. 222, 2003.
16. Lynch N.A., Distributed Algorithms. Morgan Kaufmann Pub., San Francisco (CA), 872 pages, 1996.
17. Neiger G. and Toueg S., Automatically Increasing the Fault-Tolerance of Distributed Algorithms. Journal of Algorithms, 11:374-419, 1990.
18. Pease L., Shostak R. and Lamport L., Reaching Agreement in Presence of Faults. JACM, 27(2):228-234, 1980.
19. Perry K.J. and Toueg S., Distributed Agreement in the Presence of Processor and Communication Faults. IEEE Transactions on Software Eng., SE-12(3):477-482, 1986.
20. Raïpin Parvédy Ph. and Raynal M., Uniform Agreement Despite Process Failure Omission. Proc. IEEE IPDPS Workshop on Fault- Tolerant Parallel and Distributed Systems (FTPDS'03), April 2003.
21. Raïpin Parvédy Ph. and Raynal M., Optimal Early-stopping Uniform Consensus in Synchronous Systems with Process Omission Failures. Research Report #1509, University of Rennes (France), January 2003.
22. 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.
23. Roşu M.-C., Early-Stopping Terminating Reliable Broadcast Protocol for General Omission Failures. Brief Annoucement. Proc. 15th ACM Symposium on Principles of Distributed Computing, ACM Press, p. 209, 1996.