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