Robert Massie, one of two patients in a "domino" liver transplant speaks about his experience at Emo...
This movie explains the ARIS Solution for Process-Driven SAP Management from IDS Scheer. You will fi...
Why is our procedure the safest? No "minimally invasive" damage ... spine surgery back pain herniate...
Watch the Valcent video that aired on Friday night on Discovery Communications' Science Channel call...
Lecture by Dr. Andrew Bernstein given on November 15th 2004 at the University of Florida. Hosted by ...
citeseer |
(0) (0 Votes)
|
Views: (1007) Date: (13-05-09) Pages: () |
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...