… , the protocols are transformed versions of a standard virtual synchrony membership protocol,
within which we run a standard Paxos-based atomic multicast and durable state machine …

… This process is essentially the prepare phase of Single-Decree Paxos modified to work with
the replicated log, as opposed to a single value. More specifically, in a leader election, given …

… We implemented MultiPaxos, Compartmentalized MultiPaxos, and an unreplicated state
machine in Scala using the Netty networking library (see github.com/mwhittaker/frankenpaxos). …

… state machine replication (SMR), although not by that name, as a general principle for keeping
copies of a deterministic state machine … Working up to Lamport’s seminal Paxos protocol, …

… Paxos replicated state machines as the basis of a high-performance data store. In NSDI 8th
USENIX Symposium on Networked Systems Design and Implementation (NSDI ’11). [8] Jim …

… We implemented MultiPaxos, Compartmentalized MultiPaxos, and an unreplicated state
machine in Scala using the Netty networking library (see github.com/mwhittaker/frankenpaxos). …

… to design a new reconfiguration protocol based on Vertical Paxos that state machine replication
protocols can use to replace failed machines with new machines without any downtime. …

… 3.1 Symbolic Timestamps We begin by extending the distributed system state machine with
… -rich distributed system such as a Paxos-based State Machine Replication library. For each …

… HAMS also uses efficient state machine replication [59] to replicate … state machine and feed
replicas of the application with the same sequence of requests. HAMS uses SMR to replicate …

… , neither Fast Paxos nor a leader-based protocol can always … This thesis introduces
Domino, a state machine replication … It supports both Fast Paxos-like consensus or leader-based …