Formalization of the Necessary and Sufficient Connectivity Conditions to the Distributed Mutual Exclusion Problem in Dynamic Networks

Paulo Floriano (1) , Alfredo Goldman (1) , Luciana Arantes (2)

1 Institute of Mathematics ans Statistics [Sao Paulo]
2 Regal - Large-Scale Distributed Systems and Applications

Nowadays there exist many networks with dynamic characteristics (e.g. MANETs, DTNs, opportunistic networks, etc.). Our aim is thus to determine the necessary and sufficient connectivity conditions which allow the correct execution of some distributed algorithms on top of them. To this end, we use a framework proposed by Casteigts et al. [1] that exploits the evolving graphs theory, which models the topology of the network as well as the graph relabeling approach, which abstracts communication. In particular, we provide necessary and sufficient conditions for two important distributed problems: mutual exclusion and K-mutual exclusion.

Domaines: Informatique [cs]

Paulo Floriano, Alfredo Goldman, Luciana Arantes. Formalization of the Necessary and Sufficient Connectivity Conditions to the Distributed Mutual Exclusion Problem in Dynamic Networks. The Tenth IEEE International Symposium on Networking Computing and Applications, NCA 2011, Aug 2011, Cambridge, MA, United States. pp.203-210, ⟨10.1109/NCA.2011.35⟩. ⟨hal-01286575⟩