An Alternative Solution to a Problem on Self-Stabilization 1993 22 citations ? 0 self

Abstract:  Dijkstra [4] [6] introduced the problem of self-stabilization in distributed systems as an interesting exercise for achieving global convergence through local actions. In [4], he presented three solutions to a specific version of the self-stabilization problem, one of which was proved in [5]. This paper presents an alternative solution to his self-stabilization problem with four-state machines. Categories and Subject Descriptors: C.2.4 [Computer-Communicat ion Network]: Distributed Systems - distributed applications; D.4.1 [Operating Systems]: Process Management - synchronization. General Terms: Theory, Algorithms. Additional Keywords and Phrases: Self-stabilization, distributed algorithm, synthesis. 1 Introduction The task of synchronization in a distributed system corresponds to maintaining an invariance relationship over the global state of the system. When the invariant holds, the system is in the legitimate state, otherwise, the system state is illegitimate. A self-stabilizin...