While consensus is at the heart of many coordination problems in asynchronous distributed systems prone to process crashes, it has been shown to be impossible to solve in such systems where processes communicate by message-passing or by reading and writing a shared memory. Hence, these systems must be enriched with additional computational power for consensus to be solved on top of them. This article presents a new restriction of the classical basic computational model that combines process participation and a constraint on failure occurrences that can happen only while a predefined contention threshold has not yet been bypassed. This type of failure is called λ -constrained crashes, where λ defines the considered contention threshold. It appears that when assuming such contention-related crash failures and enriching the system with objects whose consensus number is k≥ 1, consensus for n processes can be solved for any n≥ k assuming up to k failures. The article proceeds incrementally. It first presents an algorithm that solves consensus on top of read/write registers if at most one crash occurs before the contention threshold λ= n- 1 has been bypassed. Then, it shows that if the system is enriched with objects whose consensus number is k≥ 1, then when λ= n- k, consensus can be solved despite up to kλ -constrained crashes, for any n≥ k, andwhen λ= n- 2 k+ 1, consensus can be solved despite up to 2 k- 1 λ -constrained crashes, assuming k divides n. Finally, impossibility results are presented for the number of λ -constrained failures that can be tolerated.
|Title of host publication||Stabilization, Safety, and Security of Distributed Systems - 24th International Symposium, SSS 2022, Proceedings|
|Editors||Stéphane Devismes, Franck Petit, Karine Altisen, Giuseppe Antonio Di Luna, Antonio Fernandez Anta|
|Publisher||Springer Science and Business Media Deutschland GmbH|
|Number of pages||13|
|State||Published - 2022|
|Event||24th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2022 - Clermont-Ferrand, France|
Duration: 15 Nov 2022 → 17 Nov 2022
|Name||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|
|Conference||24th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2022|
|Period||15/11/22 → 17/11/22|
Bibliographical noteFunding Information:
M. Raynal has been partially supported by the French projects ByBloS (ANR-20-CE25-0002-01) and PriCLeSS (ANR-10-LABX-07-81) devoted to the design of modular building blocks for distributed applications.
© 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.
- Asynchronous system
- Atomic register
- Consensus algorithm
- Consensus number
- Participating process
- Process crash failure
- Read/write register
- λ -constrained failure