Clock Synchronization and Synchronous Systems

  • Kenneth P. Birman
Part of the Texts in Computer Science book series (TCS)


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.


Global Position System Correct Process Global Position System Receiver Clock Synchronization Local Clock 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 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) Google Scholar
  2. Cristian, F.: Probabilistic clock synchronization. Distrib. Comput. 3(3), 146–158 (1989) MATHCrossRefGoogle Scholar
  3. Cristian, F.: Synchronous and asynchronous group communication. Commun. ACM 39(4), 88–97 (1996) CrossRefGoogle Scholar
  4. Cristian, F., Fetzer, C.: Fault-tolerant internal clock synchronization. In: Proceedings of the Thirteenth Symposium on Reliable Distributed Systems, October 1994 Google Scholar
  5. 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) Google Scholar
  6. 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 Google Scholar
  7. 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) CrossRefGoogle Scholar
  8. Damm, A., Reisinger, J., Schwabl, W., Kopetz, H.: The real-time operating system of mars. ACM Oper. Syst. Rev. 22(3), 141–157 (1989) CrossRefGoogle Scholar
  9. 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) Google Scholar
  10. Friedman, R., van Renesse, R.: Strong and weak virtual synchrony in Horus. Technical Report 95-1537, Department of Computer Science, Cornell University, August (1995a) Google Scholar
  11. 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) CrossRefGoogle Scholar
  12. Kopetz, H., Ochsenreiter, W.: Clock synchronization in distributed real-time systems. IEEE Trans. Comput. C36(8), 933–940 (1987) CrossRefGoogle Scholar
  13. 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) Google Scholar
  14. Lamport, L.: Using time instead of timeout for fault-tolerant distributed systems. ACM Trans. Program. Lang. Syst. 6(2), 254–280 (1984) CrossRefGoogle Scholar
  15. Lamport, L., Melliar-Smith, P.M.: Synchronizing clocks in the presence of faults. J. ACM 32(1), 52–78 (1985) MathSciNetMATHCrossRefGoogle Scholar
  16. Liskov, B.: Practical uses of synchronized clocks in distributed systems. Distrib. Comput. 6(4), 211–219 (1993) MATHCrossRefGoogle Scholar
  17. Marzullo, K.: Maintaining the time in a distributed system. Ph.D. diss., Department of Electrical Engineering, Stanford University, June (1984) Google Scholar
  18. Powell, D. (ed.): Delta-4: A Generic Architecture for Dependable Distributed Computing. Springer-Verlag ESPRIT Research Reports, vol. I, Project 818/2252 (1991) Google Scholar
  19. Powell, D.: Lessons learned from Delta-4. IEEE MICRO 14(4), 36–47 (1994) CrossRefGoogle Scholar
  20. 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) Google Scholar
  21. 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) Google Scholar
  22. Rodrigues, L., Guo, K., Verissimo, P., Birman, K.P.: A dynamic light-weight group service. J. Parallel Distrib. Comput. 60, 1449–1479 (2000) MATHCrossRefGoogle Scholar
  23. 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) CrossRefGoogle Scholar
  24. Srikanth, T.K., Toueg, S.: Optimal clock synchronization. J. ACM 34(3), 626–645 (1987) MathSciNetCrossRefGoogle Scholar
  25. Verissimo, P.: Real-time communication. In: Mullender, S.J. (ed.) Distributed Systems, 2nd edn., pp. 447–490. Addison-Wesley/ACM Press, Reading (1993) Google Scholar
  26. Verissimo, P.: Ordering and timeliness requirements of dependable real-time programs. J. Real-Time Syst. 7(2), 105–128 (1994) CrossRefGoogle Scholar
  27. Verissimo, P.: Uncertainty and predictability: Can they be reconciled. In: Future Directions in Distributed Computing, pp. 108–113. Springer, Berlin (2003) CrossRefGoogle Scholar
  28. 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 Google Scholar

Copyright information

© Springer-Verlag London Limited 2012

Authors and Affiliations

  • Kenneth P. Birman
    • 1
  1. 1.Department of Computer ScienceCornell UniversityIthacaUSA

Personalised recommendations