The Worst-Case Stabilization Time of a Self-Stabilizing Algorithm under the Weakly Fair Daemon Model

Authors:
Tetz C. Huang;Ji-Cherng Lin;Chih-Yuan Chen;Cheng-Pin Wang
Affiliations:
Yuan-Ze University, Taiwan;Yuan-Ze University, Taiwan;Nanya Institute of Technology, Taiwan;Yuan-Ze University, Taiwan
Venue:
International Journal of Artificial Life Research
Year:
2010

Citing 10
Cited 0

Self-stabilizing depth-first search

Information Processing Letters
Self-stabilization

Self-stabilization
Self-stabilizing systems in spite of distributed control

Communications of the ACM
Distributed Reset

IEEE Transactions on Computers
A self-stabilizing algorithm for bridge finding

Distributed Computing
Self-stabilizing depth-first token circulation in arbitrary rooted networks

Distributed Computing
Self-stabilization of dynamic systems assuming only read/write atomicity

Distributed Computing - Special issue: Self-stabilization
Self-stabilizing depth-first token circulation on networks

Distributed Computing - Special issue: Self-stabilization
A self-stabilizing algorithm for finding a minimal 2-dominating set assuming the distributed demon model

Computers & Mathematics with Applications
A self-stabilizing algorithm for the shortest path problem assuming the distributed demon

Computers & Mathematics with Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, the result of any self-stabilizing algorithm under the weakly fair daemon model (for a particular problem) that is not self-stabilizing under the non-fair central daemon model is obtained. Also, if any safe configuration under the weakly fair daemon model is also a safe configuration under the non-fair central daemon model, the worst-case stabilization time, measured in steps, is infinity. The implication of this new finding is that any problem, the existence of self-stabilizing algorithms for the weakly fair daemon model only, is unsatisfactory, that is of significance to pursue self-stabilizing algorithms for the non-fair central daemon model.