phxpaxos 还比较容易看懂
这个 paxoskv , 没有对应的 acceptor, proposal 文件和代码， 更难看懂了。