ZooKeeper机制与原子广播详解.pdfVIP

1引言

本文档包含有关ZooKeeper运作的信息。目前，它讨论了以下：

•原子广播

•日志记录

2原子广播

ZooKeeper的是一个原子消息系统，该系统确保所有服务器保持同步。

2.1保证、属性和定义

ZooKeeper使用的消息系统的具体保证如下：

可靠传输

如果一条消消息m由一个服务器传递后，最终将由所有服务器传递。s.

全序

如果一条消息在另一条消息b之前被一个服务器传递，那么a将在所有服务器上都先于b被传

递。如果a和b都是已传递的消息，则a必须先于b被传递，或者b必须先于a被传递。

顺序

如果消息b在发送者已经传递了消息a发送，a必须排在b之前。如果发送者在发送b

再发送c，c必须排在b。

ZooKeeper消息系统还需要高效、可靠，并且易于实现和。我们大量使用消息传

递，因此需要系统能够处理每秒数千个请求。虽然我们可以要求至少k+1个正确的

服务器来发送新消息，但须能够从相关故障（如断电）中恢复。在实现系统

时，我们时间紧迫且工程资源有限，因此需要一个对工程师来说易于理解的协

议。我们发现我们的协议满足了所有这些目标。

我们的协议假设我们可以在服务器之间构建点对点的FIFO通道。虽然类似的服

务通常假设消息传递可能会丢失或重新排序消息，但鉴于我们使用TCP进行通信，

我们对FIFO通道的假设非常实际。具体来说，我们依赖于TCP的以下特性：

有序交付

数据以发送的相同顺序传递，并且只有在所有在消息m之前发送的消息都被传递后，消息

m才会被传递。（由此可以推断，如果消息m丢失，则所有在m的消息也会丢失。）

1Introduction

ThisdocumentcontainsinformationontheinnerworkingsofZooKeeper.Sofar,itdiscusses

thesetopics:

•AtomicBroadcast

•Logging

2AtomicBroadcast

AttheheartofZooKeeperisanatomicmessagingsystemthatkeepsalloftheserversin

sync.

2.1Guarantees,Properties,andDefinitions

ThespecificguaranteesprovidedbythemessagingsystemusedbyZooKeeperarethe

following:

Reliabledelivery

Ifamessage,m,isdeliveredbyoneserver,itwillbeeventuallydeliveredbyallservers.

Totalorder

Ifamessageisdeliveredbeforemessagebbyoneserver,awillbedeliveredbeforebby

allservers.Ifaandbaredeliveredmessages,eitherawillbedeliveredbeforeborbwill

bedeliveredbeforea.

Causalorder

Ifamessagebissentafteramessageahasbeendeliveredbythesenderofb,amu