Local oscillators/hardware clocks operate at slightly different rates, thus, they drift apart over time. Local logical clocks, i.e., timers/counters, may start at different initial values. The synchronization problem is to adjust the values of the local logical clocks so that nodes achieve synchronization and remain synchronized despite the drift of their local oscillators.
Model checking a fault-tolerant self-stabilizing synchronization stabilizing synchronization stabilizing synchronization stabilizing synchronization stabilizing synchronization protocol for arbitrary digraphs
2012-10-01
157194 byte
Conference paper
Electronic Resource
English