Verimag

Technical Reports

Anaïs Durand, Karine Altisen, Stéphane Devismes
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.

Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 819609