The Weakest Failure Detector to Solve the Mutual Exclusion Problem in an Unknown Dynamic Environment - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport Technique) Année : 2018

The Weakest Failure Detector to Solve the Mutual Exclusion Problem in an Unknown Dynamic Environment

Résumé

Mutual exclusion is one of the fundamental problems in distributed computing but existing mutual exclusion algorithms are unadapted to the dynamics and lack of membership knowledge of current distributed systems (e.g., mobile ad-hoc networks, peer-to-peer systems, etc.). Additionally, in order to circumvent the impossibility of solving mutual exclusion in asynchronous message passing systems where processes can crash, some solutions include the use of (T +Σ^l), which is the weakest failure detector to solve mutual exclusion in known static distributed systems. In this paper, we define a new failure detector TΣ^lr which is equivalent to (T +Σ^l) in known static systems, and prove that TΣ^lr is the weakest failure detector to solve mutual exclusion in unknown dynamic systems with partial memory losses. We consider that crashed processes may recover.
Fichier principal
Vignette du fichier
main.pdf (353.77 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01661127 , version 1 (11-12-2017)
hal-01661127 , version 2 (14-05-2018)
hal-01661127 , version 3 (31-10-2018)

Identifiants

  • HAL Id : hal-01661127 , version 3

Citer

Etienne Mauffret, Élise Jeanneau, Luciana Arantes, Pierre Sens. The Weakest Failure Detector to Solve the Mutual Exclusion Problem in an Unknown Dynamic Environment. [Technical Report] LISTIC; Sorbonne Universités, UPMC Univ Paris 06, CNRS, LIP6 UMR 7606. 2018. ⟨hal-01661127v3⟩
410 Consultations
285 Téléchargements

Partager

Gmail Facebook X LinkedIn More