Clock Synchronization and Synchronous Systems

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

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.

Keywords

Europe Dispatch Adapter Mosse 

References

  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