Topological Characterization of Consensus in Distributed Systems - Laboratoire Méthodes Formelles
Article Dans Une Revue Journal of the ACM (JACM) Année : 2024

Topological Characterization of Consensus in Distributed Systems

Résumé

We provide a complete characterization of both uniform and non-uniform deterministic consensus solvability in distributed systems with benign process and communication faults using point-set topology. More specifically, we non-trivially extend the approach introduced by Alpern and Schneider in 1985, by introducing novel fault-aware topologies on the space of infinite executions: the processview topology, induced by a distance function that relies on the local view of a given process in an execution, and the minimum topology, which is induced by a distance function that focuses on the local view of the process that is the last to distinguish two executions. Consensus is solvable in a given model if and only if the sets of admissible executions leading to different decision values is disconnected in these topologies. By applying our approach to a wide range of different applications, we provide a topological explanation of a number of existing algorithms and impossibility results and develop several new ones, including a general equivalence of the strong and weak validity conditions.
Fichier principal
Vignette du fichier
paper.pdf (759.26 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
licence

Dates et versions

hal-04724510 , version 1 (07-10-2024)

Licence

Identifiants

Citer

Thomas Nowak, Ulrich Schmid, Kyrill Winkler. Topological Characterization of Consensus in Distributed Systems. Journal of the ACM (JACM), 2024, 71 (6), pp.39:1-39:48. ⟨10.1145/3687302⟩. ⟨hal-04724510⟩
32 Consultations
2 Téléchargements

Altmetric

Partager

More