Vertical paxos and primary-backup replication

We introduce a class of Paxos algorithms called Vertical Paxos, in which reconfiguration can occur in the middle of reaching agreement on an individual state-machine command. Vertical Paxos algorithms use an auxiliary configuration master that facilitates agreement on reconfiguration. A special case of these algorithms leads to traditional primary-backup protocols. We show how primary-backup systems in current use can be viewed, and shown to be correct, as instances of Vertical Paxos algorithms. Contents

• Type: Conference
• Year: 2009
• Where: PODC
• Authors: Leslie Lamport, Dahlia Malkhi, Lidong Zhou
• Keywords: Auxiliary Configuration Master, Individual State-machine Command, Parallel Computing, PODC 2009, Vertical Paxos Algorithms