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.
منابع مشابه
Self-stabilizing Byzantine Pulse and Clock Synchronization
This thesis presents a scheme that achieves self-stabilizing Byzantine digital clock synchronization assuming a “synchronous” system. This synchronous system is established by the assumption of a common external “beat” delivered with a regularity in the order of the network message delay, thus enabling the nodes to execute in lock-step. The system can be subjected to severe transient failures w...
متن کاملLinear Time Byzantine Self-Stabilizing Clock Synchronization
Awareness of the need for robustness in distributed systems increases as distributed systems become an integral part of day-to-day systems. Tolerating Byzantine faults and possessing self-stabilizing features are sensible and important requirements of distributed systems in general, and of a fundamental task such as clock synchronization in particular. There are efficient solutions for Byzantin...
متن کاملLinear-time Self-stabilizing Byzantine Clock Synchronization
Clock synchronization is a very fundamental task in distributed system. It thus makes sense to require an underlying clock synchronization mechanism to be highly fault-tolerant. A self-stabilizing algorithm seeks to attain synchronization once lost; a Byzantine algorithm assumes synchronization is never lost and focuses on containing the influence of the permanent presence of faulty nodes. Ther...
متن کاملSelf-stabilizing Byzantine Digital Clock Synchronization
We present a scheme that achieves self-stabilizing Byzantine digital clock synchronization assuming a “synchronous” system. This synchronous system is established by the assumption of a common external “beat” delivered with a regularity in the order of the network message delay, thus enabling the nodes to execute in lock-step. The system can be subjected to severe transient failures with a perm...
متن کاملA Byzantine-Fault Tolerant Self-stabilizing Protocol for Distributed Clock Synchronization Systems
Embedded distributed systems have become an integral part of safetycritical computing applications, necessitating system designs that incorporate fault tolerant clock synchronization in order to achieve ultra-reliable assurance levels. Many efficient clock synchronization protocols do not, however, address Byzantine failures, and most protocols that do tolerate Byzantine failures do not self-st...
متن کامل