zookeeperPaxos 算法(理想化算法)