Possible and Impossible Self-Stabilizing Digital ClockSynchronization in General Graphs

Authors:
Shlomi Dolev
Affiliations:
Department of Mathematics and Computer Science, Ben-Gurion University, Beer-Sheva 84105, Israel/ dolev@cs.bgu.ac.il
Venue:
Real-Time Systems - Special issue on global time in large scale distributed real-time systems, part I
Year:
1997

Citing 19
Cited 15

Synchronizing clocks in the presence of faults

Journal of the ACM (JACM)
Easy impossibility proofs for distributed consensus problems

Distributed Computing
On the possibility and impossibility of achieving clock synchronization

Journal of Computer and System Sciences
A new fault-tolerant algorithm for clock synchronization

Information and Computation
Stabilizing unison

Information Processing Letters
Efficient parallel algorithms on restartable fail-stop processors

PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Parallel algorithms for shared-memory machines

Handbook of theoretical computer science (vol. A)
Introduction to parallel algorithms and architectures: array, trees, hypercubes

Introduction to parallel algorithms and architectures: array, trees, hypercubes
Efficient program transformations for resilient parallel computation via randomization (preliminary version)

STOC '92 Proceedings of the twenty-fourth annual ACM symposium on Theory of computing
Wait-free clock synchronization

PODC '93 Proceedings of the twelfth annual ACM symposium on Principles of distributed computing
Stabilizing phase-clocks

Information Processing Letters
Self-stabilizing clock synchronization with Byzantine faults

Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
The Byzantine Generals Problem

ACM Transactions on Programming Languages and Systems (TOPLAS)
Self-stabilizing systems in spite of distributed control

Communications of the ACM
Advanced Computer Architecture: Parallelism,Scalability,Programmability

Advanced Computer Architecture: Parallelism,Scalability,Programmability
Distributed Performance Monitoring: Methods, Tools, and Applications

IEEE Transactions on Parallel and Distributed Systems
Optimal Time Self Stabilization in Dynamic Systems (Preliminary Version)

WDAG '93 Proceedings of the 7th International Workshop on Distributed Algorithms
Self-stabilization of dynamic systems assuming only read/write atomicity

Distributed Computing - Special issue: Self-stabilization
Computational Aspects of VLSI

Computational Aspects of VLSI

Local stabilizer

Journal of Parallel and Distributed Computing - Self-stabilizing distributed systems
Universal dynamic synchronous self-stabilization

Distributed Computing
Self-Stabilizing Real-Time OPS5 Production Systems

IEEE Transactions on Knowledge and Data Engineering
A Time-Optimal Self-Stabilizing Synchronizer Using A Phase Clock

IEEE Transactions on Dependable and Secure Computing
Fast self-stabilizing byzantine tolerant digital clock synchronization

Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing
A theoretical evaluation of peer-to-peer internal clock synchronization

Autonomics '08 Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems
An Optimal Self-stabilizing Firing Squad

SSS '09 Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Clock Synchronization: Open Problems in Theory and Practice

SOFSEM '10 Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science
Self-stabilizing Byzantine digital clock synchronization

SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
Self-stabilizing asynchronous phase synchronization in general graphs

SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
An adaptive coupling-based algorithm for internal clock synchronization of large scale dynamic systems

OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Byzantine self-stabilizing pulse in a bounded-delay model

SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
Dynamic FTSS in asynchronous systems: The case of unison

Theoretical Computer Science
An Optimal Self-Stabilizing Firing Squad

SIAM Journal on Computing
On self-stabilizing synchronous actions despite byzantine attacks

DISC'07 Proceedings of the 21st international conference on Distributed Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

We study digitalclock synchronization for multiprocessor systems, where processorsare triggered by a common clock pulse and communicate with othersvia shared memory. A self-stabilizing digitalclock synchronization protocol for systems with a general communicationgraph is presented. The protocol can commence in an arbitrarynon-consistent system state and converges to a legitimate statein which the clocks are synchronized and incremented by one inevery subsequent pulse.To enhance the fault-toleranceof our protocol, we allow that during and following convergenceprocessors may stop operating. Crash failures may partition thecommunication graph into several connected components. Our protocolsynchronizes the clocks of the processors in every such connectedcomponent. For the case in which faulty processors can exhibitByzantine behavior, we prove that there is no digital clock synchronizationprotocol that tolerates even one single faulty processor.