International Symposium on Parallel Computing in Electrical Engineering (PARELEC'06) Energy Optimisation in Resilient Self-Stabilizing Processes Bialystok, Poland September 13-September 17 ISBN: 0-7695-2554-7
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," parelec, pp.105-110, International Symposium on Parallel Computing in Electrical Engineering (PARELEC'06), 2006 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||