Asynchronous Reconfiguration for Paxos State Machines
This paper addresses reconfiguration of a Replicated State Machine (RSM) in an asynchronous system. It is well known that consensus cannot be solved in an asynchronous system. Therefore an RSM providing strong consistency, cannot guarantee progress in an asynchronous system. However, we show that reconfiguring the RSM is possible in a purely asynchronous system. This differs from all existing reconfiguration methods which rely on consensus to choose a new configuration. Since a reconfiguration to a new set of machines or even a different datacenter can serve to restore synchrony between replicas, asynchronous reconfiguration can also serve to increase the availability of an RSM.
Unable to display preview. Download preview PDF.
- 3.Lamport, L.: Paxos made simple. ACM SIGACT News (December 2001)Google Scholar
- 4.Shraer, A., Reed, B., Malkhi, D., Junqueira, F.: Dynamic reconfiguration of primary/backup clusters. USENIX ATC (2011)Google Scholar
- 5.Lamport, L., Malkhi, D., Zhou, L.: Vertical paxos and primary-backup replication. In: PODC (2009)Google Scholar
- 7.Chandra, T.D., Hadzilacos, V., Toueg, S., Charron-Bost, B.: On the impossibility of group membership. In: PODC (1996)Google Scholar
- 10.Lorch, J.R., Adya, A., Bolosky, W.J., Chaiken, R., Douceur, J.R., Howell, J.: The smart way to migrate replicated stateful services. In: EuroSys (2006)Google Scholar