Robust emulation of shared memory using dynamic quorum-acknowledged broadcasts

N. A. Lynch, A. A. Shvartsman

Research output: Chapter in Book/Report/Conference proceedingConference contribution

81 Scopus citations

Abstract

The paper presents a robust emulation of multi-writer/multireader registers in message-passing systems using dynamic quorum configurations. In addition to processor and link failures, this emulation tolerates changes in quorum configurations, i.e., on-line replacements of one quorum system consisting of read and write quorums with another such system. The new emulation is specified using a modular two-layer architecture. The lower layer uses unreliable broadcast to disseminate a client request to a set of processors, and then to collect responses from a subset of the processors. The higher layer emulates robust multi-writer/multi-reader registers where quorum configurations are used to ensure register atomicity. A unique feature of the read/write service is that it implements dynamically changing quorum configurations. The processor designated as the reconfigured executes requests that replace the current configuration with a new configuration. The combination of the higher and lower layers allows essentially unlimited concurrency and does not involve locks. Waiting can occur only due to processor or link failures that disconnect at least one processor in each read quorum or at least one processor in each write quorum of the specified configurations. Additional computation and communication overhead can be incurred by the read and write operations when they encounter frequent reconfigurations. The algorithms are specified here in terms of I/O automata and their correctness is proved using invariants and partial-order methods.

Original languageEnglish (US)
Title of host publicationDigest of Papers - 27th Annual International Symposium on Fault-Tolerant Computing, FTCS 1997
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages272-281
Number of pages10
ISBN (Electronic)0818678313, 9780818678318
DOIs
StatePublished - 1997
Externally publishedYes
Event27th Annual International Symposium on Fault-Tolerant Computing, FTCS 1997 - Seattle, United States
Duration: Jun 24 1997Jun 27 1997

Publication series

NameDigest of Papers - 27th Annual International Symposium on Fault-Tolerant Computing, FTCS 1997

Conference

Conference27th Annual International Symposium on Fault-Tolerant Computing, FTCS 1997
Country/TerritoryUnited States
CitySeattle
Period6/24/976/27/97

ASJC Scopus subject areas

  • Computer Science Applications
  • Hardware and Architecture
  • Software
  • Safety, Risk, Reliability and Quality

Fingerprint

Dive into the research topics of 'Robust emulation of shared memory using dynamic quorum-acknowledged broadcasts'. Together they form a unique fingerprint.

Cite this