On Self-Stabilizing Wait-Free Clock Synchronization

A protocol which can tolerate any number of processors failing by ceasing operation for unbounded time and resuming operation (with or) without knowing that they were faulty is called wait-free; if it also works correctly even when the starting state of the system is arbitrary, it is called wait-free, self-stabilizing. This work is on the problem of wait-free, self-stabilizing clock synchronization of n processors in "in-phase" multiprocessor systems and presents a protocol that achieves quadratic synchronization time, by "re-parameterizing" and improving the best previously known solution, which had cubic synchronization time. Both the protocol and its analysis are intuitive and easy to understand.

[1]  J.-M. Couvreur,et al.  Asynchronous unison , 1992, [1992] Proceedings of the 12th International Conference on Distributed Computing Systems.

[2]  Danny Dolev,et al.  Fault-tolerant clock synchronization , 1984, PODC '84.

[3]  Richard M. Karp,et al.  Parallel Algorithms for Shared-Memory Machines , 1991, Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity.

[4]  Maurice Herlihy,et al.  Wait-free synchronization , 1991, TOPL.

[5]  Sam Toueg,et al.  Optimal clock synchronization , 1985, PODC '85.

[6]  Fred B. Schneider,et al.  Inexact agreement: accuracy, precision, and graceful degradation , 1985, PODC '85.

[7]  Anish Arora,et al.  Maintaining Digital Clocks In Step , 1991, WDAG.

[8]  Nancy A. Lynch,et al.  A new fault-tolerant algorithm for clock synchronization , 1984, PODC '84.

[9]  Jennifer L. Welch,et al.  Wait-Free Clock Synchronization , 1993, PODC '93.

[10]  Danny Dolev,et al.  On the possibility and impossibility of achieving clock synchronization , 1984, STOC '84.

[11]  Frank Thomson Leighton.  Introduction to parallel algorithms and architectures: arrays , 1992 .

[12]  F. Leighton,et al.  Introduction to Parallel Algorithms and Architectures: Arrays, Trees, Hypercubes , 1991 .

[13]  Mohamed G. Gouda,et al.  Stabilizing Unison , 1990, Inf. Process. Lett..

[14]  P. M. Melliar-Smith,et al.  Synchronizing clocks in the presence of faults , 1985, JACM.

[15]  Marina Papatriantafilou,et al.  Wait-free consensus in "in-phase" multiprocessor systems , 1995, Proceedings.Seventh IEEE Symposium on Parallel and Distributed Processing.

[16]  Edsger W. Dijkstra,et al.  Self-stabilizing systems in spite of distributed control , 1974, CACM.

[17]  Douglas Lewin,et al.  Advanced computer architectures , 1992 .