Paxos made practical
Leases: an efficient fault-tolerant mechanism for distributed file cache consistency