ZAB协议究竟是如何确保分布式系统高可用性的呢?