This page has moved to https://blog.shuaizhang.cc/zh-hans/posts/paxos-made-simple/.