Dijkstra's Self-Stabilizing Algorithm in Unsupportive Environments
WSS '01 Proceedings of the 5th International Workshop on Self-Stabilizing Systems
Cooperating Mobile Agents and Stabilization
WSS '01 Proceedings of the 5th International Workshop on Self-Stabilizing Systems
Proceedings of the twenty-second annual symposium on Principles of distributed computing
A Time-Optimal Self-Stabilizing Synchronizer Using A Phase Clock
IEEE Transactions on Dependable and Secure Computing
An optimal snap-stabilizing wave algorithm in arbitrary graphs
Computer Communications
Empire of colonies: Self-stabilizing and self-organizing distributed algorithm
Theoretical Computer Science
Snap-stabilization in message-passing systems
Journal of Parallel and Distributed Computing
Stabilizing data-link over non-FIFO channels with optimal fault-resilience
Information Processing Letters
Topological adaptability for the distributed token circulation paradigm in faulty environment
ISPA'04 Proceedings of the Second international conference on Parallel and Distributed Processing and Applications
Snap-stabilizing k-wave synchronizer
ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part I
Universal adaptive self-stabilizing traversal scheme: Random walk and reloading wave
Journal of Parallel and Distributed Computing
Hi-index | 0.00 |
A useful way to design simple and robust protocols is to make them self-stabilizing. A protocol is said to be self-stabilizing if it begins to exhibit correct behavior even after starting in an arbitrary state. We describe a simple technique for self-stabilization called counter flushing. We show how counter flushing helps us to understand and improve some existing distributed algorithms for tasks such as mutual exclusion and request-response protocols. We also use counter flushing to create new self-stabilizing protocols for propagation of information with feedback and resets. The resulting protocols are simple, require few changes from the nonstabilizing equivalents, and have fast stabilization times.