Communication Dans Un Congrès Année : 2024

Atomic Register Abstractions for Byzantine-Prone Distributed Systems

Résumé

The construction of the atomic register abstraction over crash-prone asynchronous message-passing systems has been extensively studied since the founding work of Attiya, Bar-Noy, and Dolev. It has been shown that t < n/2 (where t is the maximal number of processes that may be faulty) is a necessary and sufficient requirement to build an atomic register. However, little attention has been paid to systems where faulty processes may exhibit a Byzantine behavior. This paper studies three definitions of linearizable single-writer multi-reader registers encountered in the state of the art: Read/Write registers whose read perations return the last written value, Read/Write-Increment registers whose read perations return both the last written value and the number of previously written values, and Read/Append registers whose read perations return the sequence of all previously written values. More specifically, it compares their computing power and the necessary and sufficient conditions on the maximum ratio t/n which makes it possible to build reductions from one register to another. Namely, we prove that t < n/3 is necessary and sufficient to implement a Read/Write-Increment register from Read/Write registers whereas this bound is only t < n/2 for a reduction from a Read/Append register to Read/Write-Increment registers. Reduction algorithms meeting these bounds are also provided.

Fichier principal
Vignette du fichier
LIPIcs.OPODIS.2023.35.pdf (887.38 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte
Licence

Dates et versions

hal-05528708 , version 1 (21-09-2023)
hal-05528708 , version 2 (26-02-2026)

Licence

Identifiants

Citer

Vincent Kowalski, Achour Mostéfaoui, Matthieu Perrin. Atomic Register Abstractions for Byzantine-Prone Distributed Systems. 27th International Conference on Principles of Distributed Systems (OPODIS 2023), Leibniz International Proceedings in Informatics (LIPIcs), Dec 2023, Tokyo (Japan), Japan. ⟨10.4230/lipics.opodis.2023.35⟩. ⟨hal-05528708v2⟩
345 Consultations
419 Téléchargements

Altmetric

Partager

  • More