Snap-Stabilizing Committee Coordination

Abstract : In the committee coordination problem, a committee consists of a set of professors and committee meetings are synchronized, so that each professor participates in at most one committee meeting at a time. In this paper, we propose two snap-stabilizing distributed algorithms for the committee coordination. Snapstabilization is a versatile property which requires a distributed algorithm to efficiently tolerate transient faults. Indeed, after a finite number of such faults, a snap-stabilizing algorithm immediately operates correctly, without any external intervention. We design snap-stabilizing committee coordination algorithms enriched with some desirable properties related to concurrency, (weak) fairness, and a stronger synchronization mechanism called 2-Phase Discussion. In our setting, all processes are identical and each process has a unique identifier. The existing work in the literature has shown that (1) in general, fairness cannot be achieved in committee coordination, and (2) it becomes feasible if each professor waits for meetings infinitely often. Nevertheless, we show that even under this latter assumption, it is impossible to implement a fair solution that allows maximal concurrency. Hence, we propose two orthogonal snap-stabilizing algorithms, each satisfying 2-phase discussion, and either maximal concurrency or fairness. The algorithm that implements fairness requires that every professor waits for meetings infinitely often. Moreover, for this algorithm, we introduce and evaluate a new efficiency criterion called the degree of fair concurrency. This criterion shows that even if it does not satisfy maximal concurrency, our snap-stabilizing fair algorithm still allows a high level of concurrency.
Complete list of metadatas

Cited literature [21 references]  Display  Hide  Download

https://hal.sorbonne-universite.fr/hal-01347461
Contributor : Franck Petit <>
Submitted on : Thursday, August 25, 2016 - 1:53:54 PM
Last modification on : Wednesday, July 10, 2019 - 9:54:29 AM
Long-term archiving on : Saturday, November 26, 2016 - 4:25:08 PM

File

main_jpdc.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Borzoo Bonakdarpour, Stéphane Devismes, Franck Petit. Snap-Stabilizing Committee Coordination. Journal of Parallel and Distributed Computing, Elsevier, 2016, 87, pp.26-42. ⟨10.1016/j.jpdc.2015.09.004⟩. ⟨hal-01347461⟩

Share

Metrics

Record views

770

Files downloads

130