Abstract
Fault-tolerant systems often require a means by which independent processes or processors can arrive at an exact mutual agreement of some kind. The work announced in this note studies the continuous consensus problem, which is a general tool for enabling actions that are performed at the same time at different sites of the system to be consistent with one another (e.g., mutual exlusion, firing squad etc). Suppose that we are interested in maintaining a simultaneously consistent view regarding a set of events E in the system. These are applicationdependent, but will typically record inputs that processes receive at various times, values that certain variables have at a given time, and faulty behavior in the form of failed or inconsistent message deliveries. A continuous consensus (CC) protocol maintains at all times k ≥ 0 a core M i [k] of events of ε at every site i. In every run of this protocol the following three properties are required to hold, for all nonfaulty processes i and j.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Castro, M., Liskov, B.: Proactive recovery in a Byzantine-fault-tolerant system. ACM Trans. on Computer Systems, 398–461 (2002)
Mizrahi, T., Moses, Y.: Continuous consensus via common knowledge, Distributed Computing. An early version appears. In: The Proceedings of TARK X, pp. 236–252 (to appear, 2008)
Moses, Y., Tuttle, M.R.: Programming simultaneous actions using common knowledge. Algorithmica 3, 121–169 (1988)
Pease, M., Shostak, R., Lamport, L.: Reaching agreement in the presence of faults. Journal of the ACM 27(2), 228–234 (1980)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mizrahi, T., Moses, Y. (2007). Long Live Continuous Consensus. In: Pelc, A. (eds) Distributed Computing. DISC 2007. Lecture Notes in Computer Science, vol 4731. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75142-7_40
Download citation
DOI: https://doi.org/10.1007/978-3-540-75142-7_40
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75141-0
Online ISBN: 978-3-540-75142-7
eBook Packages: Computer ScienceComputer Science (R0)