Rambo: A robust, reconfigurable atomic memory service for dynamic networks

Seth Gilbert, Nancy A. Lynch, Alexander A. Shvartsman

Research output: Contribution to journalArticlepeer-review

Abstract

In this paper, we present Rambo, an algorithm for emulating a read/write distributed shared memory in a dynamic, rapidly changing environment. Rambo provides a highly reliable, highly available service, even as participants join, leave, and fail. In fact, the entire set of participants may change during an execution, as the initial devices depart and are replaced by a new set of devices. Even so, Rambo ensures that data stored in the distributed shared memory remains available and consistent. There are two basic techniques used by Rambo to tolerate dynamic changes. Over short intervals of time, replication suffices to provide fault-tolerance. While some devices may fail and leave, the data remains available at other replicas. Over longer intervals of time, Rambo copes with changing participants via reconfiguration, which incorporates newly joined devices while excluding devices that have departed or failed. The main novelty of Rambo lies in the combination of an efficient reconfiguration mechanism with a quorum-based replication strategy for read/write shared memory. The Rambo algorithm can tolerate a wide variety of aberrant behavior, including lost and delayed messages, participants with unsynchronized clocks, and, more generally, arbitrary asynchrony. Despite such behavior, Rambo guarantees that its data is stored consistency. We analyze the performance of Rambo during periods when the system is relatively well-behaved: messages are delivered in a timely fashion, reconfiguration is not too frequent, etc. We show that in these circumstances, read and write operations are efficient, completing in at most eight message delays.

Original languageEnglish (US)
Pages (from-to)225-272
Number of pages48
JournalDistributed Computing
Volume23
Issue number4
DOIs
StatePublished - Dec 2010
Externally publishedYes

Keywords

  • Atomic register
  • Distributed shared memory
  • Dynamic distributed systems
  • Eventual synchrony
  • Fault-tolerance
  • Reconfigurable

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Hardware and Architecture
  • Computer Networks and Communications
  • Computational Theory and Mathematics

Fingerprint

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

Cite this