Cesiumspray : A Precise and Accurate Global Time Service for Large-scale Systems

Real-Time Systems

Volumn 12, Issue 3, 1997, Pages 243-294

  Veríssimo, Paulo ^a   Rodrigues, Luís ^a   Casimiro, António ^a  

^a UNIVERSITY OF LISBON   (Portugal)

Author keywords

Global time; GPS; Hybrid internal external clock synchronization; Large scale systems; Real time fault tolerant systems

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; FAULT TOLERANT COMPUTER SYSTEMS; GLOBAL POSITIONING SYSTEM; LARGE SCALE SYSTEMS; NETWORK PROTOCOLS; PROGRAM PROCESSORS; SYNCHRONIZATION; TIMING CIRCUITS;

CLOCK SYNCHRONIZATION; GLOBAL TIME SERVICE; INTERNET;

REAL TIME SYSTEMS;

EID: 0031141350     PISSN: 09226443     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1007949113722     Document Type: Article

References (41)

1. Birman, K., Schiper, A., and Stephenson, P. Lightweight Causal and Atomic Group Multicast. ACM Transactions on Computer Systems, 9(3), August 1991.
2. Clegg, M. and Marzullo, K. Clock synchronization in hard real-time distributed systems. Technical Report CS96-478, University of California, San Diego, Department of Computer Science and Engineering, February 1996.
3. Couvet, D., Florin, G., and Natkin, S. A Statistical Clock Synchronization Algorithm for Anisotropic Networks. In Proceedings of the 10th Symposium on Reliable Distributed Systems, pages 41-51. IEEE, 1991.
4. Cristian, F. and Fetzer, C. Fault-tolerant external clock synchronization. In Proceedings of the 15th International Conference on Distributed Computing Systems, pages 70-77, Vancouver, British Columbia, Canada, May 1995. IEEE.
5. Cristian, F., Aghili, H., and Strong, R. Clock Synchronization in the Presence of Omission and Performance Faults. In Digest of Papers, The 16th International Symposium on Fault-Tolerant Computing, pages 218-223, Vienna, Austria, July 1986. IEEE.
6. Cristian, F. Probabilistic Clock Synchronization. Distributed Computing, Springer Verlag, 1989(3), 1989.
7. Cristian, F. Synchronous atomic broadcast for redundant broadcast channels. The Journal of Real-Time Systems, 2(1):195-212, 1990.
8. FDDI. FDDI Token-Ring Media Access Control (MAC). ANSI X3.139, 1987.
9. Fetzer, C. and Cristian, F. Integrating external and internal clock synchronization. Journal of Real-Time Systems, Vol. 12(2): 123-172, 1997.
10. Fischer, M., Lynch, N., and Merrit, M. Easy impossibility proofs for the distributed consensus problem. Distributed Computing, 1(1):26-39, 1986.
11. Halpern, J. and Suzuki, I. Clock synchronization and the power of broadcasting. Distributed Computing, 5(2):73-82, 1991.
12. Halpern, J.Y., Simons, B., Strong, R., and Dolev, D. Fault-Tolerant Clock Synchronization. In Proceedings of the 3rd ACM Symposium on Principles of Distributed Computing, pages 89-102, Vancouver, Canada, August 1984.
13. Hopkins, A.L., Smith, T.B., and Lala, J.H. FTMP - A Highly Reliable Fault-Tolerant Multiprocessor for Aircraft. Proceedings IEEE, 66(10):1221-1240, October 1978.
14. ISO. ISO DIS 8802/3-85, Carrier Sense Multiple Access with Collision Detection, 1985.
15. ISO DIS 8802/4-85, Token Passing Bus Access Method, 1985.
16. ISO DP 8802/5-85, Token Ring Access Method, 1985.
17. Kopetz, H. and Ochsenreiter, W. Clock Synchronization in Distributed Real-Time Systems. IEEE Transactions on Computers, C-36(8):933-940, August 1987.
18. Kopetz, H. and Schwabl, W. Global time in distributed real-time systems. Technical Report 15/89, Technische Universitat Wien, Wien Austria, October 1989.
19. Krishna, C.M., Shin, K.G., and Butler, R.W. Ensuring Fault Tolerance of Phase-Locked Clocks. IEEE Transac. Computers, C-43(8):752-756, August 1985.
20. Lamport, L. and Melliar-Smith, P. Synchronizing Clocks in the Presence of Faults. Journal of the ACM, 32(1):52-78, January 1985.
21. Le Lann, G. and Rivière, N. Real-time communications over broadcast networks: the CSMA-DCR and the DOD-CSMA-CD protocols. Technical Report 1863, INRIA, March 1993.
22. Lundelius, J. and Lynch, N. An upper and lower bound for clock synchronization. Information and Control, 62:190-204, 1984.
23. Mills, D. Network time protocol (version 2): Specification and implementation. Technical Report RFC 1119, DARPA Network Working Group, September 1989.
24. Olson, A. and Shin, K.G. Probabilistic clock synchronization in large distributed systems. In Proceedings of the 11th International Conference on Distributed Computing Systems, pages 290-297, Arlington, Texas, USA, May 1991. IEEE.
25. Parkinson, B. and Gilbert, S. Navstar: Global positioning system - ten years later. Proceedings of the IEEE, 71(10):1177-1186, October 1983.
26. Powell, D., editor. Delta-4 - A Generic Architecture for Dependable Distributed Computing. ESPRIT Research Reports. Springer Verlag, November 1991.
27. Ramanathan, P., Shin, K.G., and Butler, R.W. Fault-Tolerant Clock Synchronization in Distributed Systems. IEEE, Computer, pages 33-42, October 1990.
28. Rodrigues, L. and Veríssimo, P. xAMp: a Multi-primitive Group Communications Service. In Proceedings of the 11th Symposium on Reliable Distributed Systems, Houston, Texas, October 1992. IEEE.
29. Rodrigues, L., Veríssimo, P., and Casimiro, A. Using atomic broadcast to implement a posteriori agreement for clock synchronization. In Proceedings of the 12th Symposium on Reliable Distributed Systems, pages 115-124, Princeton, New Jersey, October 1993. IEEE. Also as INESC AR/29-93.
30. Rom, R. Ordering subscribers on cable networks. ACM Transactions on Computer Systems, 2(4), November 1984.
31. Schmid, U. Synchronized universal time coordinated for distributed real-time systems. Control Engineering Practice, 1995.
32. Schmid, U. and Schossmaier, K. Interval-based clock synchronization. Journal of Real-Time Systems, Vol. 12(2): 173-228, 1997.
33. Schneider, F.B. Understanding protocols for byzantine clock synchronization. Technical report, Cornell University, Ithaca, New York, August 1987.
34. Schossmaier, K., Schmid, U., Horauer, M., and Loy, D. Specification and implementation of the universal time coordinated synchronization unit (UTCSU). Journal of Real-Time Systems, Vol. 12(3): 295-327, 1997.
35. Srikanth, T.K. and Toueg, S. Optimal Clock Synchronization. Journal of the Association for Computing Machinery, 34(3):627-645, July 1987.
36. Veríssimo, P. and Marques, J.A. Reliable broadcast for fault-tolerance on local computer networks. In Proceedings of the 9th Symposium on Reliable Distributed Systems, Huntsville, Alabama-USA, October 1990. IEEE. Also as INESC AR/24-90.
37. Veríssimo, P. and Rodrigues, L. A posteriori Agreement for Fault-tolerant Clock Synchronization on Broadcast Networks. In Digest of Papers, The 22nd International Symposium on Fault-Tolerant Computing, Boston - USA, July 1992. IEEE. INESC AR/65-92.
38. Veríssimo, P., Vogel, W., and Rodrigues, L. A Framework for Structuring Group Support in LSDCs. Technical Report RT/19-94, INESC, BROADCAST REPORT, Lisboa, Portugal, September 1993. Expanded version of a paper in procs. 4th IEEE Workshop on Future Trends of Distr. Comput. Syst., Lisboa-Portugal, 1993.
39. Veríssimo, P. Real-time Communication. In S.J. Mullender, editor, Distributed Systems, 2nd Edition, ACM-Press, chapter 17, pages 447-490. Addison-Wesley, 1993.
40. Welch Lundelius, J. and Lynch, N. A new fault-tolerant algorithm for clock synchronization. Information and Computation, 77:1-36, 1988.
41. Zheng, Q. and Shin, K.G. Fault-tolerant real-time communication in distributed computing systems. In Digest of Papers, The 22nd International Symposium on Fault-Tolerant Computing Systems, pages 86-93. IEEE, 1992.