In search of an understandable consensus algorithm
Paxos made live: an engineering perspective