Possible and Impossible Self-Stabilizing Digital Clock Synchronization in General Graphs

Research output: Contribution to journalArticlepeer-review

26 Scopus citations

Abstract

We study digital clock synchronization for multiprocessor systems, where processors are triggered by a common clock pulse and communicate with others via shared memory. A self-stabilizing digital clock synchronization protocol for systems with a general communication graph is presented. The protocol can commence in an arbitrary non-consistent system state and converges to a legitimate state in which the clocks are synchronized and incremented by one in every subsequent pulse. To enhance the fault-tolerance of our protocol, we allow that during and following convergence processors may stop operating. Crash failures may partition the communication graph into several connected components. Our protocol synchronizes the clocks of the processors in every such connected component. For the case in which faulty processors can exhibit Byzantine behavior, we prove that there is no digital clock synchronization protocol that tolerates even one single faulty processor.

Original languageEnglish
Pages (from-to)95-107
Number of pages13
JournalReal-Time Systems
Volume12
Issue number1
DOIs
StatePublished - 1 Jan 1997

Fingerprint

Dive into the research topics of 'Possible and Impossible Self-Stabilizing Digital Clock Synchronization in General Graphs'. Together they form a unique fingerprint.

Cite this