Conflict Managers for Self-stabilization without Fairness Assumption

Maria Gradinariu 1 Sébastien Tixeuil
1 Regal - Large-Scale Distributed Systems and Applications
LIP6 - Laboratoire d'Informatique de Paris 6, Inria Paris-Rocquencourt
Abstract : In this paper, we specify the conflict manager abstraction. Informally, a conflict manager guarantees that any two nodes that are in conflict cannot enter their critical section simultaneously (safety), and that at least one node is able to execute its critical section (progress). The conflict manager problem is strictly weaker than the classical local mutual exclusion problem, where any node that requests to enter its critical section eventually does so (fairness). We argue that conflict managers are a useful mechanism to transform a large class of self-stabilizing algorithms that operate in an essentially sequential model, into self-stabilizing algorithm that operate in a completely asynchronous distributed model. We provide two implementations (one deterministic and one probabilistic) of our abstraction, and provide a composition mechanism to obtain a generic transformer. Our transformers have low overhead: the deterministic transformer requires one memory bit, and guarantees time overhead in order of the network degree, the probabilistic transformer does not require extra memory. While the probabilistic algorithm performs in anonymous networks, it only provides probabilistic stabilization guarantees. In contrast, the deterministic transformer requires initial symmetry breaking but preserves the original algorithm guarantees.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01336216
Contributor : Lip6 Publications <>
Submitted on : Wednesday, June 22, 2016 - 5:03:09 PM
Last modification on : Thursday, March 21, 2019 - 2:43:10 PM

Identifiers

Citation

Maria Gradinariu, Sébastien Tixeuil. Conflict Managers for Self-stabilization without Fairness Assumption. 27th International Conference on Distributed Computing Systems (ICDCS'07), Jun 2007, Toronto, Canada. pp.46, ⟨10.1109/ICDCS.2007.95⟩. ⟨hal-01336216⟩

Share

Metrics

Record views

199