Information Processing Letters
A self-stabilizing algorithm for constructing spanning trees
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
Time optimal self-stabilizing synchronization
STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
Information Processing Letters
Four-state stabilizing phase clock for unidirectional rings of odd size
Information Processing Letters
Phase Clocks for Transient Fault Repair
IEEE Transactions on Parallel and Distributed Systems
Self-stabilizing systems in spite of distributed control
Communications of the ACM
Self-Stabilization by Counter Flushing
SIAM Journal on Computing
IEEE Transactions on Computers
Memory-Efficient Self Stabilizing Protocols for General Networks
WDAG '90 Proceedings of the 4th International Workshop on Distributed Algorithms
State-optimal snap-stabilizing PIF in tree networks
ICDCS '99 Workshop on Self-stabilizing Systems
Self-Stabilization with Global Rooted Synchronizers
ICDCS '98 Proceedings of the The 18th International Conference on Distributed Computing Systems
Snap-Stabilizing PIF Algorithm in Arbitrary Networks
ICDCS '02 Proceedings of the 22 nd International Conference on Distributed Computing Systems (ICDCS'02)
Self-Stabilizing PIF Algorithm in Arbitrary Rooted Networks
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Self-stabilizing extensions for message-passing systems
Distributed Computing - Special issue: Self-stabilization
Unifying stabilization and termination in message-passing systems
Distributed Computing
Snap-Stabilizing PIF and Useless Computations
ICPADS '06 Proceedings of the 12th International Conference on Parallel and Distributed Systems - Volume 1
Echo Algorithms: Depth Parallel Operations on General Graphs
IEEE Transactions on Software Engineering
IEEE Transactions on Information Theory
| Hi-index | 0.24 |
A wave is a distributed computation, often made up of a broadcast phase followed by a feedback phase, requiring the participation of all the processes in a network before a particular event called decision is taken. Solutions to a large number of fundamental problems in distributed computing requires waves. In this paper, we propose a time optimal snap-stabilizing wave algorithm implementing Propagation of Information with Feedback (PIF) for arbitrary synchronous networks with O(d) rounds of delay and O(logd) bits per process, where d is the diameter of the communication network. A system is said to be snap-stabilizing if it always behaves according to its specification [A. Bui, A. Datta, F. Petit, V. Villain, State-optimal snap-stabilizing PIF in tree networks, in: Proceedings of the Third Workshop on Self-stabilizing Systems (published in association with ICDCS99 The 19th IEEE International Conference on Distributed Computing Systems), IEEE Computer Society, Washington, DC, USA, vol. 5, 1999, pp. 78-85]. One of the main advantages of the proposed algorithm being snap-stabilizing is that the arbitrary initial configuration has limited or no effect on the pace of the broadcast propagation.