ZooKeeper的原子广播(ZAB协议)

義往昔 11天前 ⋅ 18 阅读

  ZooKeeper作为高可用的一致性协调框架,自然有着一致性算法的实现,ZooKeeper使用的是ZAB协议作为数据一致性的算法,即ZAB(ZooKeeper Atomic Broadcast )。ZAB在Paxos算法上做了重要改造,和Paxos有着明显的不同。为讨论ZAB,我们假定ZooKeeper已经开启仲裁模式(ZooKeeper还有一种独立模式,除实验需求以外不要开,因为它无法避免脑裂)。

    ZooKeeper使用的消息系统提供了以下特殊保证:
可靠传输:如果消息m被一台服务器送达,它最终会被送达到所有服务器
全序:如果一台服务器上消息a在消息b前送达,那么在所有服务器上a将比b先送达。如果a和b是已传输过的消息,那么要么a在b前送达,要么b在a前送达(即不可能有同时发生的情况)
因果序:如果一个发送者在消息a送达后再发送消息b,那么a必须排在b之前。如果发送者在送达b后再发送消息c,那么c必须排在b之后
---------------------
作者:damipingzi
来源:CSDN
原文: https://blog.csdn.net/mayp1/article/details/51871761


注意:本文归作者所有,未经作者允许,不得转载

全部评论: 0

    我有话说: