Anaïs Durand, Karine Altisen, Stéphane Devismes
Probabilistic Snap-Stabilizing Algorithms for Local Resource Allocation Problems (2013)
Probabilistic Snap-Stabilizing Algorithms for Local Resource Allocation Problems (2013)
TR-2013-6.pdf
Keywords: Distributed Systems, Probabilistic Snap-Stabilization, Local Resource Allocation
Abstract: A distributed algorithm is snap-stabilizing if it enables a distributed system to resume a correct behavior immediately after transient faults place it in some arbitrary state. In this paper, we propose two probabilistic snap-stabilizing algorithms to solve the local mutual exclusion problem and their generalizations to some other local resource allocation problems. These algorithms works in any anonymous network. They assume a distributed unfair daemon.
