paper The Chubby lock service for loosely-coupled distributed systems Paxos Made Live - An Engineering Perspective