Load Balancing and Almost Symmetries for RAMBO Quorum Hosting

Abstract. Rambo is the Reconfigurable Atomic Memory for Basic Objects, a formally specified algorithm that implements atomic read/write shared memory in dynamic networks, where the participating hosts may join, leave, or fail. Rambo is particularly suited for volatile environments such as mobile networks. To maintain availability and consistency in such dynamic settings, Rambo replicates objects and uses quorum systems that can be reconfigured in response to perturbations in the environment. This is accomplished by installing new quorum configurations and removing obsolete configurations, while preserving data consistency. Given the dynamic nature of the atomic memory service, it is vitally important to reconfigure the system online, while making wellreasoned decision about how to deploy new quorum configurations. This paper reexamines the quorum configuration problem, concentrating on better load balancing models and a novel use of almost symmetries for breaking similarities a...

• Type: Journal
• Year: 2010
• Where: CP
• Authors: Laurent Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck
• Keywords: Artificial Intelligence, Atomic Memory, CP 2010, Quorum Configuration, Reconfigurable Atomic Memory