Snap-stabilizing k-wave synchronizer

Authors:
Doina Bein;Ajoy K. Datta;Mehmet H. Karaata;Safaa Zaman
Affiliations:
School of Computer Science, University of Nevada Las Vegas, NV;School of Computer Science, University of Nevada Las Vegas, NV;Department of Computer Engineering, Kuwait University;Department of Computer Engineering, Kuwait University
Venue:
ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part I
Year:
2005

Citing 16
Cited 0

Total algorithms

International Conference on Concurrency on Concurrency 88
Distributed program checking: a paradigm for building self-stabilizing distributed protocols (extended abstract)

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
A self-stabilizing algorithm for constructing breadth-first trees

Information Processing Letters
Time optimal self-stabilizing synchronization

STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
Uniform Dynamic Self-Stabilizing Leader Election

IEEE Transactions on Parallel and Distributed Systems
A transformation of self-stabilizing serial model programs for asynchronous parallel computing environments

Information Processing Letters
Self-stabilization

Self-stabilization
Guarded commands, nondeterminacy and formal derivation of programs

Communications of the ACM
Self-Stabilization by Counter Flushing

SIAM Journal on Computing
Distributed Reset

IEEE Transactions on Computers
State-optimal snap-stabilizing PIF in tree networks

ICDCS '99 Workshop on Self-stabilizing Systems
The alternator

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)
Echo Algorithms: Depth Parallel Operations on General Graphs

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose a snap-stabilizingk-wave algorithm for routed trees, called kWA, which implements k consecutive waves, k 1. A snap-stabilizing algorithm, starting from an arbitrary system configuration, always behaves according to its specification. The maximum number of states per process is 2k + 1, better than the previous result of at most 3k states per process. A snap-stabilizing algorithm guarantees that, starting from an arbitrary system configuration, always behaves according to its specification.