Paxos Made Simple 翻译
译 Time, Clocks, and the Ordering of Events in a Distributed System