Abstract
Previous chapters of this book have made a number of uses of clocks or time in distributed protocols. In this chapter, we look more closely at the underlying issues. Our focus is on aspects of real-time computing that are specific to distributed protocols and systems.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Clegg, M., Marzullo, K.: Clock synchronization in hard real-time distributed systems. Technical Report, Department of Computer Science, University of California, San Diego, March (1996)
Cristian, F.: Probabilistic clock synchronization. Distrib. Comput. 3(3), 146–158 (1989)
Cristian, F.: Synchronous and asynchronous group communication. Commun. ACM 39(4), 88–97 (1996)
Cristian, F., Fetzer, C.: Fault-tolerant internal clock synchronization. In: Proceedings of the Thirteenth Symposium on Reliable Distributed Systems, October 1994
Cristian, F., Schmuck, F.: Agreeing on process group membership in asynchronous distributed systems. Technical Report CSE95-428, Department of Computer Science and Engineering, University of California, San Diego (1995)
Cristian, F., Aghili, H., Strong, R., Dolev, D.: Atomic broadcast: From simple message diffusion to byzantine agreement. In: Proceedings of the Fifteenth International Symposium on Fault-Tolerant Computing, pp. 200–206. IEEE Computer Society Press, New York (1985). Revised as IBM Technical Report RJ5244
Cristian, F., Dolev, D., Strong, R., Aghili, H.: Atomic broadcast in a real-time environment. In: Fault-Tolerant Distributed Computing. Lecture Notes in Computer Science, vol. 448, pp. 51–71. Springer, Berlin (1990)
Damm, A., Reisinger, J., Schwabl, W., Kopetz, H.: The real-time operating system of mars. ACM Oper. Syst. Rev. 22(3), 141–157 (1989)
Friedman, R., Birman, K.P.: Using group communication technology to implement a reliable and scalable distributed IN coprocessor. In: TINA’96: The Convergence of Telecommunications and Distributed Computing Technologies, Heidelberg, September 1996, pp. 25–42. VDE-Verlag, Berlin (1996). Also Technical Report, Department of Computer Science, Cornell University, March (1996)
Friedman, R., van Renesse, R.: Strong and weak virtual synchrony in Horus. Technical Report 95-1537, Department of Computer Science, Cornell University, August (1995a)
Gopal, A., Strong, R., Toueg, S., Cristian, F.: Early-delivery atomic broadcast. In: Proceedings of the Ninth ACM Symposium on Principles of Distributed Computing, Toronto, August 1990, pp. 297–309. ACM Press, New York (1990)
Kopetz, H., Ochsenreiter, W.: Clock synchronization in distributed real-time systems. IEEE Trans. Comput. C36(8), 933–940 (1987)
Kopetz, H., Verissimo, P.: Real-time dependability concepts. In: Mullender, S.J. (ed.) Distributed Systems, 2nd edn., pp. 411–446. Addison-Wesley/ACM Press, Reading (1993)
Lamport, L.: Using time instead of timeout for fault-tolerant distributed systems. ACM Trans. Program. Lang. Syst. 6(2), 254–280 (1984)
Lamport, L., Melliar-Smith, P.M.: Synchronizing clocks in the presence of faults. J. ACM 32(1), 52–78 (1985)
Liskov, B.: Practical uses of synchronized clocks in distributed systems. Distrib. Comput. 6(4), 211–219 (1993)
Marzullo, K.: Maintaining the time in a distributed system. Ph.D. diss., Department of Electrical Engineering, Stanford University, June (1984)
Powell, D. (ed.): Delta-4: A Generic Architecture for Dependable Distributed Computing. Springer-Verlag ESPRIT Research Reports, vol. I, Project 818/2252 (1991)
Powell, D.: Lessons learned from Delta-4. IEEE MICRO 14(4), 36–47 (1994)
Rodrigues, L., Verissimo, P.: xAMP: A MultiPrimitive group communications service. In: Proceedings of the Eleventh Symposium on Reliable Distributed Systems, Houston, October 1989. IEEE Computer Society Press, New York (1989)
Rodrigues, L., Verissimo, P., Rufino, J.: A low-level processor group membership protocol for LANs. In: Proceedings of the Thirteenth International Conference on Distributed Computing Systems, May 1993, pp. 541–550 (1993)
Rodrigues, L., Guo, K., Verissimo, P., Birman, K.P.: A dynamic light-weight group service. J. Parallel Distrib. Comput. 60, 1449–1479 (2000)
Simons, B., Welch, J.N., Lynch, N.: An overview of clock synchronization. In: Simons, B., Spector, A. (eds.) Fault-Tolerant Distributed Computing. Lecture Notes in Computer Science, vol. 448, pp. 84–96. Springer, Berlin (1990)
Srikanth, T.K., Toueg, S.: Optimal clock synchronization. J. ACM 34(3), 626–645 (1987)
Verissimo, P.: Real-time communication. In: Mullender, S.J. (ed.) Distributed Systems, 2nd edn., pp. 447–490. Addison-Wesley/ACM Press, Reading (1993)
Verissimo, P.: Ordering and timeliness requirements of dependable real-time programs. J. Real-Time Syst. 7(2), 105–128 (1994)
Verissimo, P.: Uncertainty and predictability: Can they be reconciled. In: Future Directions in Distributed Computing, pp. 108–113. Springer, Berlin (2003)
Verissimo, P., Rodrigues, L.: A-posteriori agreement for fault-tolerant clock synchronization on broadcast networks. In: Proceedings of the Twenty-Second International Symposium on Fault-Tolerant Computing, Boston, July 1992
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag London Limited
About this chapter
Cite this chapter
Birman, K.P. (2012). Clock Synchronization and Synchronous Systems. In: Guide to Reliable Distributed Systems. Texts in Computer Science. Springer, London. https://doi.org/10.1007/978-1-4471-2416-0_19
Download citation
DOI: https://doi.org/10.1007/978-1-4471-2416-0_19
Publisher Name: Springer, London
Print ISBN: 978-1-4471-2415-3
Online ISBN: 978-1-4471-2416-0
eBook Packages: Computer ScienceComputer Science (R0)