ZooKeeper服务模型、操作、实现

ZooKeeper提供高可用、高性能的协调服务。本文讨论其提供的服务类型、模型、操作、实现。

数据模型

ZooKeeper通过znode管理数据，众多的znode构成类似于Linux目录的层级结构。每个znode中包含数据及ACL。因为ZooKeeper的目录是提供协调服务而非数据存储，因此对于每个znode中可以存储的数据有大小限制，最大是1M。对znode中数据的读、写、更新是原子的。在一个写入操作中不会存在部分数据写入成功的情况，要不就全成功，要不就全失败。读操作同样如此。另外ZooKeeper不支持追加操作。

ZooKeeper通过路径引用znode，路径必需是绝对路径，也就是一定要以'/'开头，并且只有一种表达方式，不像Linux一样支持通配符、'.'、'..'等。

临时性znode

有两种类型的znode：临时性znode与持久性znode，znode的类型在创建时决定，并且不被允许在后来修改。当创建临时性znode的客户端失效时，ZooKeeper自动删除其创建的临时性znode。相反，持久性znode只有在明确删除时才会被删除，并且删除者不一定是创建者。一般临时性znode没有孩子节点，甚至是临时性znode。

虽然临时性znode与特定的客户端连接绑定，但它对其它所有客户端也是可见的，当然取决于ACL的设置。

临时性znode主要用于构建成员列表等应用。

序列号

znode可以在全局范围内管理自动增加的序列号。在创建znode时设置sequential标志，序列号将会成为znode名称的一部分，每次操作自增一次。如，创建名称为/a/b-的序列号类型的znode，则ZooKeeper可能会创建/a/b-3名称的znode并将其路径返回，其中的数字３是ZooKeeper自动创建的。当其它的客户端创建同类型的/a/b-时，则ZooKeeper可能会返回/a/b-4。序列号类型的znode可以用来在全局范围对资源、事件等编号、计数，例如共享锁等。

监视器

znode可以被观察、监视。客户端首先要对某个znode注册需要被观察、监视的事件。当znode的状态发生变化时，客户端将会被通知。例如，客户端在一个znode上调用exists操作，同时在其上加一个观察者。此时，如果znode不存在，则exists操作返回假。如果在一段时间以后第二个客户端创建了此znode，则当前客户端注册的观察者将会被触发，并且当前客户端将接收到相关信息，可以使用的观察者类型有很多。

操作

操作znode的九个基本操作：

操作	描述
create	创建znode
delete	删除znode