Complexity of network synchronization
Journal of the ACM (JACM)
Uniform self-stabilizing rings
ACM Transactions on Programming Languages and Systems (TOPLAS)
An optimal synchronizer for the hypercube
SIAM Journal on Computing
Information Processing Letters
Information Processing Letters
SFCS '91 Proceedings of the 32nd annual symposium on Foundations of computer science
Self-stabilization by local checking and correction (extended abstract)
SFCS '91 Proceedings of the 32nd annual symposium on Foundations of computer science
Adapting to asynchronous dynamic networks (extended abstract)
STOC '92 Proceedings of the twenty-fourth annual ACM symposium on Theory of computing
Self-stabilization by local checking and correction
Self-stabilization by local checking and correction
A self-stabilizing algorithm to synchronize digital clocks in a distributed system
Computers and Electrical Engineering
Memory-efficient and self-stabilizing network RESET (extended abstract)
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Introduction to distributed algorithms
Introduction to distributed algorithms
Information Processing Letters
Uniform Dynamic Self-Stabilizing Leader Election
IEEE Transactions on Parallel and Distributed Systems
Possible and Impossible Self-Stabilizing Digital ClockSynchronization in General Graphs
Real-Time Systems - Special issue on global time in large scale distributed real-time systems, part I
The local detection paradigm and its applications to self-stabilization
Theoretical Computer Science
Four-state stabilizing phase clock for unidirectional rings of odd size
Information Processing Letters
A simple self-stabilizing reset protocol
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Self-stabilizing systems in spite of distributed control
Communications of the ACM
Distributed Algorithms
Self-Stabilization by Counter Flushing
SIAM Journal on Computing
IEEE Transactions on Computers
Low-cost Fault-tolerance in Barrier Synchronizations
ICPP '98 Proceedings of the 1998 International Conference on Parallel Processing
Self-Stabilization by Local Checking and Global Reset (Extended Abstract)
WDAG '94 Proceedings of the 8th International Workshop on Distributed Algorithms
DISC '98 Proceedings of the 12th International Symposium on Distributed Computing
Time Optimal Self-Stabilizing Spanning Tree Algorithms
Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science
Self-stabilizing clock synchronization in a hierarchical network
ICDCS '99 Workshop on Self-stabilizing Systems
Parallel composition of stabilizing algorithms
ICDCS '99 Workshop on Self-stabilizing Systems
Asynchronous Phase Synchronization in Uniform Unidirectional Rings
IEEE Transactions on Parallel and Distributed Systems
When graph theory helps self-stabilization
Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing
Self-stabilizing clock synchronization in the presence of Byzantine faults
Journal of the ACM (JACM)
Self-stabilizing 2m-clock for unidirectional rings of odd size
Distributed Computing
How fast can a very robust read be?
Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing
Dynamic networks are as fast as static networks
SFCS '88 Proceedings of the 29th Annual Symposium on Foundations of Computer Science
Network synchronization with polylogarithmic overhead
SFCS '90 Proceedings of the 31st Annual Symposium on Foundations of Computer Science
Snap-stabilization in message-passing systems
Journal of Parallel and Distributed Computing
Self-stabilizing Byzantine asynchronous unison
OPODIS'10 Proceedings of the 14th international conference on Principles of distributed systems
Fast and compact self stabilizing verification, computation, and fault detection of an MST
Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Self-stabilizing synchronization in mobile sensor networks with covering
DCOSS'10 Proceedings of the 6th IEEE international conference on Distributed Computing in Sensor Systems
Self-stabilizing mutual exclusion and group mutual exclusion for population protocols with covering
OPODIS'11 Proceedings of the 15th international conference on Principles of Distributed Systems
Research note: Self-stabilizing byzantine asynchronous unison
Journal of Parallel and Distributed Computing
Brief announcement: deterministic self-stabilizing leader election with O(log log n)-bits
Proceedings of the 2013 ACM symposium on Principles of distributed computing
Hi-index | 0.00 |
A synchronizer with a phase counter (sometimes called asynchronous phase clock) is an asynchronous distributed algorithm, where each node maintains a local ‘pulse counter’ that simulates the global clock in a synchronous network. In this paper we present a time optimal self-stabilizing scheme for such a synchronizer, assuming unbounded counters. We give a simple rule by which each node can compute its pulse number as a function of its neighbors’ pulse numbers. We also show that some of the popular correction functions for phase clock synchronization are not self-stabilizing in asynchronous networks. Using our rule, the counters stabilize in time bounded by the diameter of the network, without invoking global operations. We argue that the use of unbounded counters can be justified by the availability of memory for counters that are large enough to be practically unbounded, and by the existence of reset protocols that can be used to restart the counters in some rare cases where faults will make this necessary.