Online selection of quorum systems for rambo reconfiguration

Laurent Michel, Martijn Moraal, Alexander Shvartsman, Elaine Sonderegger, Pascal Van Hentenryck

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

1 Scopus citations


Rambo is the Reconfigurable Atomic Memory for Basic Objects, a formally specified algorithm that implements atomic read/write shared memory in dynamic, rapidly changing networking environments. Rambo is particularly apt at dealing with volatile environments such as mobile networks. To maintain availability and consistency, even as hosts join, leave, and fail, Rambo replicates objects and uses reconfigurable quorum systems. As the system dynamically changes, Rambo installs new quorum configurations. This paper addresses the reconfiguration problem with three approaches based on a finite-domain model, an hybrid master-slave decomposition and a parallel composite to find optimal or near-optimal configurations. Current behaviors of Rambo participants are observed, gossiped, and used as predictors for future behaviors, with the goal of finding quorum configurations that minimize read and write operation delays without affecting correctness and fault-tolerance properties of the system.

Original languageEnglish (US)
Title of host publicationPrinciples and Practice of Constraint Programming - CP 2009 - 15th International Conference, CP 2009, Proceedings
Number of pages16
StatePublished - 2009
Externally publishedYes
Event15th International Conference on Principles and Practice of Constraint Programming, CP 2009 - Lisbon, Portugal
Duration: Sep 20 2009Sep 24 2009

Publication series

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


Conference15th International Conference on Principles and Practice of Constraint Programming, CP 2009

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Online selection of quorum systems for rambo reconfiguration'. Together they form a unique fingerprint.

Cite this