https://github.com/henryr/toy_paxos （python）
http://www.evanjones.ca/model-checking-paxos.html （python）
Paxos算法:
http://zh.wikipedia.org/zh-cn/Paxos%E7%AE%97%E6%B3%95