In Search of an Understandable Consensus Algorithm (Raft)
Decomposes consensus into leader election, log replication, and safety, explicitly trading a bit of theoretical elegance for a protocol students (and engineers) can actually reason about. Now the default consensus choice for most new systems over Paxos.