Abstract
We first introduce a new class of distributed agreement problems, ranging from Uniform Consensus to Non-Blocking Atomic Commitment, by varying the validity condition in the specification. We then provide an early deciding algorithm to solve each problem of this class in the synchronous model with crash failures. Our algorithm achieves the previously established lower bounds for time complexity showing that these lower bounds are tight.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Charron-Bost, B., Schiper, A.: Uniform Consensus is Harder than Consensus. Technical Report DSC/2000/028, Département Systèmes de Communication, EPFL (May 2000), to appear in Journal of Algorithms
Charron-Bost, B., Toueg, S.: Comparing the Atomic Commitment and Consensus Problems (2001) (in preparation)
Dwork, C., Lynch, N.A., Stockmeyer, L.: Consensus in the Presence of Partial Synchrony. Journal of the ACM 35(2), 288–323 (1988)
Dwork, C., Moses, Y.: Knowledge and Common Knowledge in a Byzantine Environment: Crash Failures. Information and Computation 88(2), 156–186 (1990)
Fischer, M.J., Lynch, N.A., Paterson, M.S.: Impossibility of Distributed Consensus with One Faulty Process. Journal of the ACM 32(2), 374–382 (1985)
Keidar, I., Rajsbaum, S.: A Simple Proof of the Uniform Consensus Synchronous Lower Bound. Information Processing Letters 85(1), 47–52 (2003)
Lamport, L.: The Weak Byzantine Generals Problem. Journal of the ACM 30(3), 668–676 (1983)
Lamport, L.: Lower Bounds on Consensus. Unpublished note (March 2000)
Lamport, L., Fischer, M.: Byzantine Generals and Transaction Commit Protocols. Technical Report 62, SRI International (April 1982)
Lynch, N.A.: Distributed Algorithms. Morgan Kaufmann, San Francisco (1996)
Merritt, M.J.: Unpublished Notes (1985)
Skeen, D.: Nonblocking Commit Protocols. In: Proceedings of the ACM SIGMOD Conf. on Management of Data, June 1982, pp. 133–147. ACM, New York (1982)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Charron-Bost, B., Le Fessant, F. (2004). Validity Conditions in Agreement Problems and Time Complexity. In: Van Emde Boas, P., Pokorný, J., Bieliková, M., Štuller, J. (eds) SOFSEM 2004: Theory and Practice of Computer Science. SOFSEM 2004. Lecture Notes in Computer Science, vol 2932. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24618-3_16
Download citation
DOI: https://doi.org/10.1007/978-3-540-24618-3_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20779-5
Online ISBN: 978-3-540-24618-3
eBook Packages: Springer Book Archive