A Timer-Free Fault Tolerant K-Mutual Exclusion Algorithm

Mathieu Bouillaguet (1) , Luciana Arantes (1) , Pierre Sens (1)

1 Regal - Large-Scale Distributed Systems and Applications

This paper proposes a fault tolerant permission based k-mutual exclusion algorithm which does not rely on timers, nor on failure detectors, neither does it require extra messages for detecting node failures. Fault tolerance is integrated in the algorithm itself and it is provided if the underlying system guarantees the responsiveness property (RP). Based on Raymondpsilas algorithm, our algorithm exploits the request reply messages exchanged by processes to get access to one of the k units of the shared resource in order to dynamically detect failures and adapt the algorithm to tolerate them.

Domaines: Informatique [cs]

Mathieu Bouillaguet, Luciana Arantes, Pierre Sens. A Timer-Free Fault Tolerant K-Mutual Exclusion Algorithm. Latin-American Symposium on Dependable Computing, Sep 2009, Joao Pessoa, Brazil. pp.41-48, ⟨10.1109/LADC.2009.10⟩. ⟨hal-01294421⟩