Online Selection of Quorum Systems for RAMBO Reconfiguration
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.
Unable to display preview. Download preview PDF.
- 1.Arif, S.F., Merchant, A., Saito, Y., Spence, S., Veitch, A.: Fab: enterprise storage systems on a shoestring. In: Operating Systems, Lihue, HI, May 18-21, pp. 133–138. USENIX Association (2003)Google Scholar
- 4.Gilbert, S., Lynch, N.A., Shvartsman, A.A.: RAMBO II: Rapidly reconfigurable atomic memory for dynamic networks. In: DSN, pp. 259–268. IEEE Computer Society, Los Alamitos (2003)Google Scholar
- 7.Lynch, N., Shvartsman, A.: RAMBO: A reconfigurable atomic memory service for dynamic networks. In: Proceedings of the 16th International Symposium on Distributed Computing, pp. 173–190 (2002)Google Scholar
- 8.Smith, B.M.: Sets of symmetry breaking constraints. In: Proc. of SymCon, vol. 5 (2005)Google Scholar