Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems: Extended abstract

Abstract : A stabilizing Byzantine single-writer single-reader (SWSR) regular register, which stabilizes after the first invoked write operation, is first presented. Then, new/old ordering inversions are eliminated by the use of a (bounded) sequence number for writes, obtaining a practically stabilizing SWSR atomic register. A practically stabilizing Byzantine single-writer multi-reader (SWMR) atomic register is then obtained by using several copies of SWSR atomic registers. Finally, bounded time-stamps, with a time-stamp per writer, together with SWMR atomic registers, are used to construct a practically stabilizing Byzantine multi-writer multi-reader (MWMR) atomic register. In a system of n servers implementing an atomic register, and in addition to transient failures, the constructions tolerate tt of them can be Byzantine.
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01340273
Contributor : Maria Potop-Butucaru <>
Submitted on : Thursday, June 30, 2016 - 4:40:25 PM
Last modification on : Monday, July 22, 2019 - 11:38:09 AM

Identifiers

  • HAL Id : hal-01340273, version 1

Citation

Silvia Bonomi, Shlomi Dolev, Maria Potop-Butucaru, Michel Raynal. Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems: Extended abstract. ACM PODC 2015 Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, Jul 2015, New York, United States. pp.471-479. ⟨hal-01340273⟩

Share

Metrics

Record views

956