ZooKeeper保证之单一视图（Single System Image）

由于ZooKeeper的数据模型简单且全部在内存中，ZooKeeper的速度非常快。它提供了一系列保证（Guarantees）：

• 顺序一致性（Sequential Consistency）
  
• 原子性（Atomicity）
• 单一视图（Single System Image）
  
• 可靠性（Reliability ）
  
• 实时性（Timeliness ）

下面将结合源码（3.4.10版本）介绍下，ZooKeeper如何保证单一视图（Single System Image）。

一、ZooKeeper单一视图定义

单一视图（Single System Image）是指同一个客户端无论连接到集群中的哪台机器上，都将会看到服务的同一视图。即：同一客户端无论什么时候连接到哪个服务器上，都不会看到比自己之前看到的数据更早版本的数据。
单一视图保证是由ZooKeeper客户端与服务端建立连接请求时的一些校验操作实现的，具体如何实现？需要介绍下客户端到服务端连接建立的过程。

二、客户端到服务端连接建立以及请求处理流程

客户端到服务端建立连接流程基本如下：

• 客户端通过服务器连接字符串、timeout等参数，创建客户端实例，启动客户端相关处理线程
• 客户端与服务端之间创建socket连接
• 客户端向服务端发送连接建立请求
• 服务端接收到连接建立请求后，会验证是否合法，决定是否建立连接
• 如果连接合法，那么将与客户端之间建立起连接，并开始请求处理流程
• 如果连接不合法，那么将拒绝连接，客户端将会寻找集群中的其他服务器，尝试建立连接

上述描述的流程如下图所示：

下面将结合源码