Abstract
We present a scheme that achieves self-stabilizing Byzantine digital clock synchronization assuming a “synchronous” system. This synchronicity is established by the assumption of a common “beat” delivered with a regularity in the order of the network message delay, thus enabling the nodes to execute in lock-step. The system can be subjected to severe transient failures with a permanent presence of Byzantine nodes. Our algorithm guarantees eventually synchronized digital clock counters, i.e. common increasing integer counters associated with each beat. We then show how to achieve regular clock synchronization, progressing at real-time rate and with high granularity, from the synchronized digital clock counters.
There is one previous self-stabilizing Byzantine clock synchronization algorithm, which also converges in linear time (relying on an underlying pulse mechanism), but it requires to execute and terminate Byzantine agreement in between consecutive pulses. Such a scheme, although it does not assume a synchronous system, cannot be easily transformed to a synchronous system in which the pulses (beats) are in the order of the message delay time apart. The only other digital clock synchronization algorithm operating in a similar synchronous model converges in expected exponential time. Our algorithm converges (deterministically) in linear time.
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 subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Arora, A., Dolev, S., Gouda, M.G.: Maintaining digital clocks in step. Parallel Processing Letters 1, 11–18 (1991)
Daliot, A., Dolev, D.: Self-stabilizing Byzantine Pulse Synchronization, Technical Report TR2005-84, Schools of Engineering and Computer Science, The Hebrew University of Jerusalem (August 2005); A revised version appears in http://arxiv.org/abs/cs.DC/0608092
Daliot, A., Dolev, D.: Self-stabilization of Byzantine Protocols. In: Tixeuil, S., Herman, T. (eds.) SSS 2005. LNCS, vol. 3764, pp. 48–67. Springer, Heidelberg (2005)
Daliot, A., Dolev, D.: Self-stabilizing Byzantine Agreement. In: Proc. of Twenty-fifth ACM Symposium on Principles of Distributed Computing (PODC 2006), Denver, Colorado (July 2006)
Daliot, A., Dolev, D., Parnas, H.: Self-stabilizing Pulse Synchronization Inspired by Biological Pacemaker Networks. In: Huang, S.-T., Herman, T. (eds.) SSS 2003. LNCS, vol. 2704, pp. 32–48. Springer, Heidelberg (2003)
Daliot, A., Dolev, D., Parnas, H.: Linear Time Byzantine Self-Stabilizing Clock Synchronization. In: Papatriantafilou, M., Hunel, P. (eds.) OPODIS 2003. LNCS, vol. 3144, pp. 7–19. Springer, Heidelberg (2004); A corrected version appears in http://arxiv.org/abs/cs.DC/0608096
Dolev, D., Reischuk, R., Strong, H.R.: ‘Eventual’ Is Earlier than ‘Immediate’. In: Proceedings, 23nd Annual Symposium on Foundations of Computer Science, November 1982, pp. 196–203 (1982)
Dolev, S.: Possible and Impossible Self-Stabilizing Digital Clock Synchronization in General Graphs. Journal of Real-Time Systems 12(1), 95–107 (1997)
Dolev, S., Welch, J.L.: Self-Stabilizing Clock Synchronization in the presence of Byzantine faults. Journal of the ACM 51(5), 780–799 (2004)
Dolev, S., Welch, J.L.: Wait-free clock synchronization. Algorithmica 18(4), 486–511 (1997)
Herman, T.: Phase clocks for transient fault repair. IEEE Transactions on Parallel and Distributed Systems 11(10), 1048–1057 (2000)
Liskov, B.: Practical Use of Synchronized Clocks in Distributed Systems. In: Proceedings of 10th ACM Symposium on the Principles of Distributed Computing, pp. 1–9 (1991)
Malekpour, M.R., Siminiceanu, R.: Comments on the “Byzantine Self-Stabilizing Pulse Synchronization” Protocol: Counterexamples, NASA/TM-2006-213951 (February 2006)
Papatriantafilou, M., Tsigas, P.: On Self-Stabilizing Wait-Free Clock Synchronization. Parallel Processing Letters 7(3), 321–328 (1997)
Toueg, S., Perry, K.J., Srikanth, T.K.: Fast Distributed Agreement. SIAM Journal on Computing 16(3), 445–457 (1987)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hoch, E.N., Dolev, D., Daliot, A. (2006). Self-stabilizing Byzantine Digital Clock Synchronization. In: Datta, A.K., Gradinariu, M. (eds) Stabilization, Safety, and Security of Distributed Systems. SSS 2006. Lecture Notes in Computer Science, vol 4280. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-49823-0_25
Download citation
DOI: https://doi.org/10.1007/978-3-540-49823-0_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-49018-0
Online ISBN: 978-3-540-49823-0
eBook Packages: Computer ScienceComputer Science (R0)