Parallel Computing in Electrical Engineering, 2004. International Conference on (2006)

Bialystok, Poland

Sept. 13, 2006 to Sept. 17, 2006

ISBN: 0-7695-2554-7

pp: 105-110

Adrian Kosowski , Gdansk University of Technology, Poland

Lukasz Kuszner , Gdansk University of Technology, Poland

ABSTRACT

When performing an algorithm in the self-stabilizing model, a distributed system must achieve a desirable global state regardless of the initial state, whereas each node has only local information about the system. Depending on adopted assumptions concerning the model of simultaneous execution and scheduler fairness, some algorithms may differ in stabilization time or possibly not stabilize at all. Surprisingly, we show that the class of polynomially-solvable self-stabilizing problems is invariant with respect to the assumption of weak scheduler fairness. Furthermore, for systems with a single distinguished vertex we prove a much stronger equivalence, stating that synchronisation, the existence of a central scheduler and its fairness have no influence on polynomial stabilization time.

INDEX TERMS

self-stabilization, asynchronous system, polynomial-time complexity, distributed algorithms.

CITATION

Adrian Kosowski,
Lukasz Kuszner,
"Energy Optimisation in Resilient Self-Stabilizing Processes",

*Parallel Computing in Electrical Engineering, 2004. International Conference on*, vol. 00, no. , pp. 105-110, 2006, doi:10.1109/PARELEC.2006.35