Stabilizing server-based storage in Byzantine asynchronous message-passing systems

Silvia Bonomi, Shlomi Dolev, Maria Potop-Butucaru, Michel Raynal

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

9 Scopus citations

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 in- versions 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 ob- Tained by using several copies of SWSR atomic registers. Fi- nally, 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 imple- menting an atomic register, and in addition to transient fail- ures, the constructions tolerate t < n/8 Byzantine servers if communication is asynchronous, and t < n/3 Byzantine servers if it is synchronous. The noteworthy feature of the proposed algorithms is that (to our knowledge) these are the first that build an atomic read/write storage on top of asyn- chronous servers prone to transient failures, and where up to t of them can be Byzantine.

Original languageEnglish
Title of host publicationPODC 2015 - Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing
PublisherAssociation for Computing Machinery
Pages471-479
Number of pages9
ISBN (Electronic)9781450336178
DOIs
StatePublished - 21 Jul 2015
EventACM Symposium on Principles of Distributed Computing, PODC 2015 - Donostia-San Sebastian, Spain
Duration: 21 Jul 201523 Jul 2015

Publication series

NameProceedings of the Annual ACM Symposium on Principles of Distributed Computing
Volume2015-July

Conference

ConferenceACM Symposium on Principles of Distributed Computing, PODC 2015
Country/TerritorySpain
CityDonostia-San Sebastian
Period21/07/1523/07/15

Keywords

  • Asynchronous message-passing system
  • Atomic read/write register
  • Byzantine server
  • Clients/servers archi- Tecture
  • Distributed algorithm
  • Fault-tolerance
  • Read/write register
  • Regular register
  • Self-stabilization
  • Transient failures

Fingerprint

Dive into the research topics of 'Stabilizing server-based storage in Byzantine asynchronous message-passing systems'. Together they form a unique fingerprint.

Cite this