|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
21st IEEE International Conference on Distributed Computing Systems (ICDCS'01)
Tight Space Self-stabilizing Uniform l-Mutual Exclusion
Mesa, AZ
April 16-April 19
ISBN: 0-7695-1077-9
| ASCII Text | x | ||
| Maria Gradinariu, Sébastien Tixeuil, "Tight Space Self-stabilizing Uniform l-Mutual Exclusion," 2012 IEEE 32nd International Conference on Distributed Computing Systems, pp. 0083, 21st IEEE International Conference on Distributed Computing Systems (ICDCS'01), 2001. | |||
| BibTex | x | ||
| @article{ 10.1109/ICDSC.2001.918936, author = {Maria Gradinariu and Sébastien Tixeuil}, title = {Tight Space Self-stabilizing Uniform l-Mutual Exclusion}, journal ={2012 IEEE 32nd International Conference on Distributed Computing Systems}, volume = {0}, year = {2001}, isbn = {0-7695-1077-9}, pages = {0083}, doi = {http://doi.ieeecomputersociety.org/10.1109/ICDSC.2001.918936}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - 2012 IEEE 32nd International Conference on Distributed Computing Systems TI - Tight Space Self-stabilizing Uniform l-Mutual Exclusion SN - 0-7695-1077-9 SP EP A1 - Maria Gradinariu, A1 - Sébastien Tixeuil, PY - 2001 VL - 0 JA - 2012 IEEE 32nd International Conference on Distributed Computing Systems ER - | |||
Abstract: A self-stabilizing algorithm, regardless of the initial system state, converges in finite time to a set of states that satisfy a legitimacy predicate without the need for explicit exception handler of backward recovery. The l-mutual exclusion is a generalization of the fundamental problem of mutual exclusion: the system has to guarantee the fair sharing of a resource that can be used by l processors simultaneously. We present a space efficient solution to the l-mutual exclusion problem that performs on uniform unidirectional ring networks and that is self-stabilizing. Our solution improves the space complexity of previously known approaches by a factor of \min(n^2\times \log(n), 1\over l\times \log^{l-1}(n)), while retaining none of their drawbacks in terms of system hypothesis (we support unfair scheduler and ensure strong correctness) or specification verification (we guarantee high level l-mutual exclusion). When l is fixed, the space complexity at each node is constant in average, making our approach suitable for scalable systems. Extensive proofs can be found in [15].
Citation:
Maria Gradinariu, Sébastien Tixeuil, "Tight Space Self-stabilizing Uniform l-Mutual Exclusion," icdcs, pp.0083, 21st IEEE International Conference on Distributed Computing Systems (ICDCS'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.
