ZooKeeper 通过使用一种称为ZAB（ZooKeeper Atomic Broadcast）协议来保证主从节点的状态同步。ZAB 协议是一种基于原子广播的一致性协议，确保所有写操作以相同的顺序被所有服务器接收和处理。
以下是主从节点状态同步的简要过程：
1. 选举主节点：所有参与同步的 ZooKeeper 服务器节点中，选举出一个主节点（Leader）。其他节点成为从节点（Follower）。
2. 接受客户端请求：主节点接收客户端的写请求，并将其转化为一个事务。
3. 事务广播：主节点使用 ZAB 协议将事务广播给所有的从节点。
4. 从节点确认：从节点收到事务后，会向主节点发送确认消息。
5. 事务提交：主节点在收到大多数从节点的确认消息后，将事务提交，并将结果广播给所有节点。
6. 从节点回复客户端：从节点接收到主节点广播的提交结果后，向客户端发送确认消息。
通过以上过程，ZooKeeper 可以确保主节点和从节点的状态保持一致。如果主节点失效，剩余的从节点将会发起新一轮的选举过程，选出新的主节点，保证系统的可用性和一致性。
此外，ZooKeeper 还使用了类似于日志的机制来持久化和恢复数据，以确保即使在节点故障或重启后，数据的完整性和一致性也可以得到保证。这样，一旦节点重新加入集群，它将通过日志进行恢复并与其他节点同步其状态。
通过以上机制，ZooKeeper 实现了高可用性和一致性，使得主从节点能够保持同步，并提供了一个可靠的分布式协调服务。