Highly Available Primary-Backup Mechanism for Internet Services with Optimistic Consensus
Implementing fault-tolerant services using the state machine approach: a tutorial