Paxos算法解决的问题是一个分布式系统如何就某个value(决议)达成一致。