Self-stabilizing clock synchronization in the presence of byzantine faults

Journal of the ACM

Volumn 51, Issue 5, 2004, Pages 780-799

  Dolev, Shlomi ^a   Welch, Jennifer L ^b,c  

^a BEN GURION UNIVERSITY OF THE NEGEV   (Israel)

^b TEXAS A AND M UNIVERSITY   (United States)

^c Texas A and M University   (United States)

Author keywords

Byzantine failures; Clock synchronization; Self stabilization

Indexed keywords

BOUNDED CLOCKS; BYZANTINE FAILURES; CLOCK SYNCHRONIZATION; SELF-STABILIZATION;

FUNCTIONS; PROGRAM PROCESSORS; REAL TIME SYSTEMS; STABILIZATION; SYNCHRONIZATION; THEOREM PROVING;

CLOCKS;

EID: 12344271853     PISSN: 00045411     EISSN: None     Source Type: Journal    
DOI: 10.1145/1017460.1017463     Document Type: Article

References (22)

1. ARORA, A., DOLEV, S., AND GOUDA, M. 1991. Maintaining digital clocks in step. Parall. Proc. Lett. 1, 1, 11-18.
2. DALIOT, A., DOLEV, D., AND PARNAS, H. 2002. Self-stabilizing pulse synchronization inspired by biological pacemaker. In Proceedings of the 6th International Symposium on Self-Stabilizing Systems. Lecture Notes in Computer Science, Vol. 2704. Springer-Verlag, New York, 32-48.
3. DIJKSTRA, E. W. 1974. Self stabilizing systems in spite of distributed control. Commun. ACM 17, 643-644.
4. DOLEV, D., HALPERN, J. Y., AND STRONG, H. R. 1986. On the possibility and impossibility of achieving clock synchronization. J. Comput. Syst. Sci. 32, 2, 230-250.
5. DOLEV, S., ISRAELI, A., AND MORAN, S. 1991. Uniform dynamic self stabilizing leader election. In Proceedings of the 5th International Workshop on Distributed Algorithms. 167-180.
6. DOLEV, S., ISRAELI, A., AND MORAN, S. 1995. Analyzing expected time by scheduler-luck games. IEEE Trans. Softw. Eng. 21, 5 (May).
7. DOLEV, D., LYNCH, N. A., PINTER, S. S., STARK, E. W., AND WEIHL, W. E. 1986. Reaching approximate agreement in the presence of faults. In J. ACM 33, 499-516.
8. DOLEV, S. AND WELCH, J. L. 1993. Wait-free clock synchronization. In Proceedings of the 12th ACM Symposium on Principles of Distributed Computing. ACM, New York, 97-108. Also appeared in Algo-rithmica 18, 1997, 496-511.
9. DOLEV, S. AND WELCH, J. L. 1993. Wait-free clock synchronization. In Proceedings of the 12th ACM Symposium on Principles of Distributed Computing. ACM, New York, 97-108. Also appeared in Algo-rithmica 18, 1997, 496-511.
10. CRISTIAN, F. 1989. Probabilistic clock synchronization. Distrib. Comput. 3, 146-158.
11. GOPAL, A. S. AND PERRY, K. J. 1993. Unifying self-stabilization and fault-tolerance. In Proceedings of the 12th ACM Symposium on Principles of Distributed Computing. ACM, New York, 195-206.
12. HALPERN, J. SIMONS, B., STRONG, R., AND DOLEV, D. 1984. Fault-tolerant clock synchronization. In Proceedings of the 3rd ACM Symposium on Principles of Distributed Computing. ACM, New York, 89-102.
13. KNUTH, D. E. 1981. The Art of Computer Programming, Vol. 2, 2nd ed., Addison-Wesley, Reading, Mass.
14. LAMPORT, L. AND MELLIAR-SMITH, P. M. 1985. Synchronizing clocks in the presence of faults. J. ACM 32, 1, 1-36.
15. LAMPORT, L., SHOSTAK, R., AND PEASE, M. 1982. The Byzantine generals problem. ACM Trans. Prog. Lang. Syst. 4, 3 (July), 382-401.
16. LUNDELIUS, J., AND LYNCH, N. 1984. An upper and lower bound for clock synchronization. Info. Cont. 62, 190-204.
17. MAHANEY, S., AND SCHNEIDER, F. 1985. Inexact agreement: Accuracy, precision and graceful degradation. In Proceedings of the 4th ACM Symposium on Principles of Distributed Computing. ACM, New York, 237-249.
18. RAMANATHAN, P., SHIN, K. G., AND BUTLER, R. W. 1990. Fault-tolerant clock synchronization in distributed systems. IEEE Comput. (Oct), 33-42.
19. SRIKANTH, T. K. AND TOUEG, S. 1987. Optimal clock synchronization. J. ACM 34, 3, 626-645.
20. SZABO, S., AND TANAKA, R. I. 1967. Residue Arithmetic and its Applications to Computer Technology, McGraw-Hill, New York.
21. WELCH, J. L., AND LYNCH, N. 1988. A new fault-tolerant algorithm for clock synchronization. Info. Comput. 77, 1, 1-36.
22. WENSLEY, J. H., LAMPORT, L., GOLDBERG, J., GREEN, M. W., LEVITT, K. N., MELLIAR-SMITH, P. M., SHOSTAK, R. E., AND WEINSTOCK, C. B. 1978. SIFT: Design and analysis of fault-tolerant computer for aircraft control. Proc. IEEE 66, 10, 1240-1255.