Anonymous Agreement: The Janus Algorithm
Résumé
The paper considers the consensus problem in an n-process shared-memory distributed system when processes are anonymous, i.e., they have no identities and are programmed identically. Janus, a new anonymous consensus algorithm that reaches decision after O( n) writes in every solo execution is presented. The set of values that can be proposed is unbounded and the algorithm tolerates an arbitrary number of crash failures. The algorithm relies on an anonymous eventual leader election mechanism. Furthermore, during solo executions in which a non-faulty process is elected since the beginning, the individual step complexity of Janus is O(n), matching a recent lower bound by Aspnes and Ellen (SPAA 2011). The algorithm is then extended to the case of homonymous systems in which c, 1 ≤ c ≤ n, identities are available. In every solo execution, the modified algorithm achieves O(n − c + log c/log log c) individual step complexity.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...