Abstract:
Self-stabilizing clock synchronization in a hierarchical network We are aiming at introducing a solution to a consensus problem, which models the a-synchronous part of a clock synchronization problem. The solution is based on the diffusion of a request from the peripheral units to the privileged units that respond with the value of a reference clock that is diffused in the opposite direction. The diffusion is controlled by a hierarchical arrangement of the units, which operate following a 3-state self-stabilizing algorithm. The overall behavior is modeled as a series of waves that propagate in the system, and that are periodically triggered by peripheral units. The appendix contains the exhaustive proof of the formal claims contained in the paper.
Citations
| 318 | Internet time synchronization: The network time protocol. Network Working Group Request for Comments: 1129 – Mills - 1989 |
| 22 | Stabilizing Unison – Gouda, Herman - 1990 |
| 17 | Clock Synchronization in the Presence of Omission and Performance – Cristian, Aghili, et al. - 1986 |
| 10 | Possible and Impossible Self-Stabilizing Digital Clock Synchronization in General Graphs – Dolev - 1997 |
| 4 | Uniform timing of a multi-cast service – Ciuffoletti - 1999 |
| 1 | CESIUMSPRAY: A precise adn accurate global time service for large-scale systems. Real-Time Systems – Verissimo, Rodrigues, et al. - 1997 |
