RAMBO: A reconfigurable atomic memory service for dynamic networks

Nancy Lynch, Alex A. Shvartsman

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

90 Scopus citations

Abstract

This paper presents an algorithm that emulates atomic read/write shared objects in a dynamic network setting. To ensure availability and faulttolerance, the objects are replicated. To ensure atomicity, reads and writes are performed using quorum configurations, each of which consists of a set of members plus sets of read-quorums and write-quorums. The algorithm is reconfigurable: the quorum configurations may change during computation, and such changes do not cause violations of atomicity. Any quorum configuration may be installed at any time. The algorithm tolerates processor stopping failure and message loss. The algorithm performs three major tasks, all concurrently: reading and writing objects, introducing newconfigurations, and “garbage-collecting” obsolete configurations. The algorithm guarantees atomicity for arbitrary patterns of asynchrony and failure. The algorithm satisfies a variety of conditional performance properties, based on timing and failure assumptions. In the "normal case", the latency of read and write operations is at most 8d, where d is the maximum message delay.

Original languageEnglish (US)
Title of host publicationDistributed Computing - 16th International Conference, DISC 2002, Proceedings
EditorsDahlia Malkhi
PublisherSpringer Verlag
Pages173-190
Number of pages18
ISBN (Print)3540000739, 9783540000730
DOIs
StatePublished - 2002
Externally publishedYes
Event16th International Conference on Distributed Computing, DISC 2002 - Toulouse, France
Duration: Oct 28 2002Oct 30 2002

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2508
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference16th International Conference on Distributed Computing, DISC 2002
Country/TerritoryFrance
CityToulouse
Period10/28/0210/30/02

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint

Dive into the research topics of 'RAMBO: A reconfigurable atomic memory service for dynamic networks'. Together they form a unique fingerprint.

Cite this