了解了一下paxos和Quorum