介绍
Gossip Protocol
也叫Epidemic Protocol(流行病协议)
,还有其他名称,如流言算法、疫情传播算法等。
该协议的发布最早是在1987年8月温哥华举行的第六届ACM分布式计算原理的学术会议上,论文《Epidemic Algorithms for Replicated Database Maintenance》
该论文可以在百度学术查看到该论文的信息,下图是自论文发布以来引用量,可以看出分布式相关内容的火爆情况。
英文版下载 提取码:Eb07
中文版下载 提取码:h157 (⛲已付费从翻译狗进行PDF机器翻译,可对照英文版供大家参考学习使用)
该论文介绍了几种用于分发更新并推动副本实现一致性的随机算法。该算法非常简单,几乎不需要底层通信系统的保证,但它们可以确保每次更新的效果最终都能体现在所有副本中。通过在随机化步骤中选择适当的分布来调整算法的成本和性能。该算法与流行病非常相似,流行病学文献有助于理解其行为。
Gossip Protocol
是基于六度分隔理论(Six Degrees of Separation)哲学的体现,简单的来说,一个人通过6个中间人可以认识世界任何人,数学公式如下:
c = fw
c即复杂度,f为每个人的朋友圈数量,w为人际宽度。
1506 =11,390,625,000,000(约11.4万亿)
意思为每个人朋友圈数量为150人,当人际宽度为6时,大约可以容纳11.4万亿人的体量。
基于六度分隔理论得知,任何信息的传播其实非常迅速,而且网络交互次数不会很多。比如Facebook在2016年2月4号做了一个实验:研究了当时已注册的15.9亿使用者资料,发现这个神奇数字的“网络直径”是4.57,翻成白话文意味着每个人与其他人间隔为4.57人。
感兴趣可以看下B站这个视频讲述【Veritasium】“六度分割理论”的科学原理 The Science Of Six Degrees Of Separation
应用
Gossip Protocol
原本用于分布式数据库中节点同步数据使用,后来被广泛用于数据库复制、信息扩散、集群成员身份确认、故障探测
等,应用实例有Redis集群、Bitcoin等。
问题&目标&考量
-
问题
如何在多个不可靠、变化缓慢的网络中将多个节点实现并保持数据一致性的方法 -
目标
设计一种高效且强大的算法,并随着节点数量的增加而优雅地扩展。 -
算法考量因素
- 信息变更后,更新传播到所有节点所需的时间
- 传播单个更新时生成的网络流量
以上是从时间、网络流量两个角度来评估该算法可用度的。
一般来说,网络流量与更新大小乘以服务器数量成正比
机制
在《Epidemic Algorithms for Replicated Database Maintenance》论文中主要论述了直接邮寄(direct mail)、反熵传播(anti-entropy)、谣言传播(rumor mongering)
三种机制来实现数据更新。Gossip协议
主要是通过反熵传播(anti-entropy)、谣言传播(rumor mongering)
实现的。
直接邮寄(direct mail)
每个节点更新都会立即从其变更节点邮寄通知到所有其他节点。
下面是论文中论述的伪代码实现
FOR EACH s' E S DO
PostMail[to: s', msg : ("Update", s.ValueOf)]
END LOOP
Upon receiving the message ("Update", (v, t)) site s executes
IF s.ValueOf.t < t THEN
s.ValueOf ~ (v, t)
复制代码
机制 | 时间复杂度 | 网络流量 | 优点 | 缺点 |
---|---|---|---|---|
直接邮寄(direct mail) | O(n),n为节点数 | 1mn,m为更新消息数,n为节点数 | 更新效率高 | 不完全可靠,存在信息传递丢失风险 |
对于直接邮寄(direct mail) 这种方式,主要是当节点有数据更新便开始遍历节点池,遍历发送其他所有节点消息来通知自身节点数据的更新情况,实现算法较为简单。由于是一次性遍历通知,在遇到网络通信故障、节点宕机之后恢复等现实情况时没有办法容错和补偿,这是较为致命性的地方,因此极端情况下它是无法保证分布式环境下各节点数据一致性的。
反熵传播(anti-entropy)
每个节点都会定期随机选择节点池中的一些节点,通过交换数据内容来解决两者之间的任何差异。如上图T1、T2、T3表示不同时间点各节点通知周边节点数据交互的示例。
反熵传播(anti-entropy)
中的节点只有两种状态,病原(Suspective)
和感染(Infective)
,因此称作SI模型,一般叫做简易流行病(simple epidemics) 。反熵传播(anti-entropy)
的消息数量非常庞大,且无限制;通常只用于新加入节点的数据初始化。
机制 | 时间复杂度 | 网络流量 | 优点 | 缺点 |
---|---|---|---|---|
反熵(anti-entropy) | O(log2n),n为节点数 | O((m*n)t),n为节点数,m为更新消息数,t为周期数 | 1.可靠 2.定时重复 3.可容错 | 1.消息冗余 2.消息延迟 3.网络流量耗费较多 |
对于反熵(anti-entropy) 这种方式,和直接邮寄(direct mail)相比的最大特点就是解决了消息丢失无法补偿容错导致的数据无法保持一致的致命问题。它通过单点的定时随机通知周边节点进行数据交互的方式保持各节点之间数据的一致性。这里需要注意的是,一致性的保持是在节点数据变更后一段时间内通过节点间的数据交互逐渐完成的最终一致,并且由于每个节点都定期广播数据到周边随机的一部分节点,因此在数据交互上是存在冗余和延迟的。
反熵
反熵(anti-entropy) 这个词汇比较陌生,之所以定义成这样是因为 entropy 是指混乱程度(disorder),而在这种模式下可以消除不同节点中数据的 disorder,因此 anti-entropy 就是 anti-disorder(反混乱),它可以提高系统中节点之间的相似性。
该概念可以参考百度,个人的理解是,熵是源于一个热力学概念,后来延伸概念可以特指一个系统不受外部干扰时往内部最稳定状态发展的特性,也就是某个领域范围内特定的守恒状态。在当前我们论述的问题中,是要通过较少的网络流量在较短的时间内实现不同节点之间的信息更新一致,因此这个问题就是一个分布式一致性的熵概念,一般定义向好的方向为正,不向好的方向为负,那么反熵这里我理解为就是网络流量较多、时间较长的不向好的定义或实现。
校验和
定期的消息广播能够弥补直接邮寄(direct mail) 中数据不一致的致命缺点,但是也是具有副作用的,它在一定情况下会产生大量的消息冗余,即已更新的节点无论当前数据是否保持一致,每次收到广播通知都要进行数据检查和对比,这是性能和网络流量的浪费,因此数据节点要实现文件数据校验和功能来避免该问题的性能开销。
下面是论文中论述的伪代码实现
FOR SOME s' E S DO
ResolveDifference [s, s']
ENDLOOP
复制代码
其中ResolveDifference [s, s’]
在节点与节点数据交互上,一般有拉(pull)、推(push)、推拉(push&pull)
三种方式来实现。
谣言传播(rumor mongering)
这里先以谣言传播方式来讲解分布式节点数据交互如下:
- 所有的节点在最开始没有产生数据变更时都假设是未知状态,它是不知道任何谣言信息的
- 当节点收到其他节点更新数据通知时,相当于听到了一条谣言,并将其视为热门开始传播给周边节点
- 当某个节点谣言盛行时,它会定期随机选择其他节点,并确保另一个节点知道
- 当某个节点发现周边节点都知道这个谣言时,该节点将停止将该谣言视为热点,并保留更新,而不会进一步传播
谣言传播周期可能比反熵周期更频繁,因为它们在每个站点所需要的资源更少,但是有可能更新不会到达所有站点。
谣言传播(rumor mongering)
中的节点状态有Suspective(病原)、Infective(感染)、Removed(愈除)
,因此称作SIR模型,一般叫做复杂流行病(complex epidemics) 。
- 消息生产节点即为
Suspective(病原)
状态 - 消息接收节点即为
Infective(感染)
状态,会进行消息传播 - 节点接收消息后即为
Removed(愈除)
状态,不再进行传播
消息只包含最新更新数据,消息在某个时间点之后会被标记为Removed(愈除)
状态,并且不再被传播,通常用于节点间数据增量同步。
机制 | 时间复杂度 | 网络流量 | 优点 | 缺点 |
---|---|---|---|---|
谣言传播(rumor mongering) | O(log2n),n为总节点数 | O((m*n)t),n为节点数(递减),m为更新消息数,t为周期数 | 1.可靠 2.定时重复 3.可容错 | 1.消息冗余 2.消息延迟 3.网络流量耗费较多 |
通信模式
拉方式(pull)
- ① A仅将数据 key, version 推送给 B
- ② B 将本地比 A 新的数据(Key, value, version)推送给 A
- ③ 回传 B 数据给 A
- ④ A 更新本地
推方式(push)
- ① 节点 A 将数据 (key,value,version) 及对应的版本号推送给 B 节点
- ② B 节点更新 A 中比自己新的数据
推拉方式(push&pull)
- ① A仅将数据 key, version 推送给 B
- ② B 将本地比 A 新的数据(Key, value, version)推送给 A
- ③ 回传 B 数据给 A
- ④ A 更新本地
- ⑤ 推送比 B 新的数据
- ⑥ 更新 B
节点通信次数对比\
模式 | 次数 |
---|---|
推(push) | 1 |
拉(pull) | 2 |
推拉(push&pull) | 3 |
复杂度分析
对于一个节点数为n
的网络来说,假设每个周期p
内,新感染的节点都能再感染至少一个新节点,那么感染节点数与周期规律如下
周期 | 新感染数 | 总感染数 |
---|---|---|
p1 | 1 | 2 |
p2 | 2 | 4 |
p3 | 4 | 8 |
p4 | 8 | 16 |
pN | 2n-1 | 2n |
时间复杂度
那么Gossip协议将变成一个二叉树查找,经过log2(n) 个周期之后,感染全网,时间开销是O(log2(n)) 。
消息复杂度
由于每个周期,每个节点都会至少发出一次消息,因此,消息复杂度是 O(N2) 。这里也可以理解为是网络交互或网络通信消耗的空间复杂度。
以上Gossip 理论上最优的收敛速度,但是在实际情况中,最优的收敛速度是很难达到的。
实现对比
由于反熵传播中是以固定的概率传播冗余数据来实现节点间数据最终一致的,因此数据交互方式拉(pull)、推(push)、推拉(push&pull)
三种实现对性能有所影响。
假设每个节点在每个周期被感染的概率都是固定的 p (0<p<1)
,每个个节点接收数据更新i
周期仍再次接收冗余数据的概率为pi
,这里将再次接收更新数据的无效冗余操作称之为复发
,之后在i+1
周期后复发的概率为pi+1
;假设节点总数为n
,那么
- 拉模式(Pull)复发概率
pi+1
=(pi)2
根据拉模式(Pull)特点,每次都要进行数据推送,由其他节点对比返回后决定是否更新,其他被感染节点数据因此每个节点都有可能在下一个周期产生复发现象 - 推模式(Push) 复发概率
pi+1
=pi(1- 1 n \frac{1}{n} n1)n(1-pi)
根据推模式(Push)特点,每次推送后会记录,因此会推送节点会递减 - 推拉模式(Push&Pull) 复发概率
可参考拉模式(Pull)
📍 从消息复杂度来看,Push(1次) < Pull(2次) < Pull&Push(3次)
📍 从时间复杂度来看,Pull > Push
📍 从算法实现上来看,无论是基于何种模式进行数据交互,Gossip都是基于平方概率计算进行最终一致性收敛的
📍 从运行效果上来看,推拉模式(Push/Pull) 最好,理论上一个周期内可以使两个节点完全一致,收敛速度也是最快的,消息通信损耗也是最多的
以上内容可参考论文 《Epidemic Algorithms for Replicated Database Maintenance》
原理
Gossip协议
通过反熵传播(anti-entropy)
和谣言传播(rumor mongering)
两种机制进行实现并保证节点数据的最终一致性。
机制 | 工作原理 | 工作时机 |
---|---|---|
反熵传播(anti-entropy) | 以固定的概率传播所有的数据 | 新加入节点初始化 |
谣言传播(rumor mongering) | 仅传播新到达的数据 | 节点增量数据 |
其执行过程如下:
- 种子节点周期性的散播消息
- 被感染节点随机选择N个邻接节点散播消息
- 节点只接收消息不反馈结果,每次散播消息都选择尚未发送过的节点进行散播
- 收到消息的节点不再往发送节点散播,即单向不可逆,如A -> B,那么B进行散播的时候,不再发给 A
总结
Gossip
是一个去中心化的分布式协议,数据通过节点像病毒一样逐个传播,整体传播速度非常快,很像现在全球蔓延的新冠病毒(2019-nCoV)。Gossip
的信息传播和扩散通常需要由种子节点发起。整个传播过程可能需要一定的时间,由于不能保证某个时刻所有节点都收到消息,但是理论上最终所有节点都会收到消息,因此它是最终一致性协议。Gossip
是一个多主协议,所有写操作可以由不同节点发起,并且同步给其他副本。Gossip内组成的网络节点都是对等节点,是非结构化网络。
优点
- 可扩展性
允许节点的任意增加和减少,新增节点的状态最终会与其他节点一致 - 分布式容错
任意节点的宕机和重启都不会影响 Gossip 消息的传播,具有天然的分布式系统容错特性 - 去中心化
无需中心节点,所有节点都是对等的,任意节点无需知道整个网络状况,只要网络连通,任意节点可把消息散播到全网 - 最终一致性
消息会以一传十、十传百的指数级速度在网络中传播,因此系统状态的不一致可以在很快的时间内收敛到一致,消息传播速度达到了logN - 通俗易懂 算法简单,容易理解,实现成本低
缺点
- 消息延迟 节点随机向少数几个节点发送消息,消息最终是通过多个轮次的散播而到达全网,不可避免的造成消息延迟
- 消息冗余 节点定期随机选择周围节点发送消息,而收到消息的节点也会重复该步骤;不可避免的引起同一节点消息多次接收,增加消息处理压力,一般通过文件校验和、缓存节点列表等方式来进行优化减少数据对比带来的性能损耗
基于以上优缺点分析,Gossip协议
满足CAP分布式理论中基于AP场景的数据最终一致性处理,常见应用有:P2P网络通信、Apache Cassandra、Redis Cluster、Consul
等,还有Apache Gossip
框架的开源实现供Gossip协议的学习。