zookeeper不是保证的强一致性吗，一致性和可用性是矛盾的吧