[转]分布式基础通讯协议:paxos,totem和gossip

背景

在分布式中，最难解决的一个问题就是多个节点间数据同步问题。为了解决这样的问题，涌现出了各类奇思妙想。只有在解决了如何进行信息同步的基础之上才衍生出形形色色的应用。这里开始介绍几种分布式通讯协议。

简单即有效——totem协议:

totem协议也许你还比较陌生，可是corosync就是totem协议的一个开源实现。比较火的HA软件pacemaker就是基于corosync来提供各类服务的。提及totem协议，最简单的形象就是，他将多个节点组成一个令牌环。多个节点手拉手造成一个圈，你们依次的传递token。只有获取到token的节点才有发送消息的权利。简单有效的解决了在分布式系统中各个节点的同步问题，由于只有一个节点会在一个时刻发送消息，不会出现冲突。固然，若是有节点发生意外时，令牌环就会断掉，此时你们不可以通讯，而是从新组建出一个新的令牌环。

进化的二段提交——paxos协议：

提及paxos，须要稍微提提二段提交。简单来讲，二阶段提交就是1.一个节点询问其余节点，我是否是能够进行消息提交。2.若是收到全部人的赞成，则告诉你们，开始提交吧。这个协议在实际中并不能很好的解决分布式中信息同步问题。例如只要有节点失效，就会发生得不到全部人赞成的结果，在超时后，这一次提交失败，等一系列问题。可是paxos在对二段提交进行了优化后，获得了一个比较好的解决办法。 paxos协议引入了多数派，以及消息编号的概念。在1准备时，询问2/n+1的参与者，要求他们保证不会接受小于编号n的提交。 2.若是获得了2/n+1的回复，则能够开始告诉2/n+1的参与者进行消息的提交。 能够明显的看出，这就是对二段提交的一个优化版。就是这么一个比较巧妙的思想，解决了一些二阶段提交带来的问题。 顺便说一句，这个协议的做者Leslie Lamport。他刚刚得到2013年图灵奖。

 

奇思妙想——gossip协议：

gossip协议是一个神奇的协议。它经常使用于P2P的通讯协议，这个协议就是模拟人类中传播谣言的行为而来。简单的描述下这个协议，首先要传播谣言就要有种子节点。种子节点每秒都会随机向其余节点发送本身所拥有的节点列表，以及须要传播的消息。任何新加入的节点，就在这种传播方式下很快地被全网所知道。这个协议的神奇就在于它从设计开始就没想到信息必定要传递给全部的节点，可是随着时间的增加，在最终的某一时刻，全网会获得相同的信息。固然这个时刻可能仅仅存在于理论，永远不可达。

基础协议的对比：

简单的介绍了这几种协议，下面咱们来看看他们的对比：

基础协议	paxos	totem	gossip
数据同步	第一阶段： proposer 选择一个提案编号 n 并将 prepare 请求发送给acceptors 中的一个多数派；acceptor 收到 prepare 消息后，若是提案的编号大于它已经回复的全部 prepare 消息，则 acceptor 将本身上次的批准回复给 proposer并承诺再也不批准小于 n 的提案。 第二阶段： 当一个 proposor 收到了多数 acceptors 对 prepare 的回复后，就进入批准阶段。它要向回复 prepare 请求的acceptors 发送 accept 请求，包括编号 n 和根据 P2c 决定的 value（若是根据 P2c 没有决定 value，那么它能够自由决定 value）。在不违背本身向其余 proposer 的承诺的前提下，acceptor 收到 accept 请求后即批准这个请求。	1.通讯方式。 当集群有节点要发起通讯时，须要等待token。当拿到token后，先广播此次须要发送的数据，而后传递token来确认全部人都接收到消息。 若是确认成功，释放token。2.节点的加入和退出。 当集群中有节点加入时，加入的节点广播一个加入信息，全部人都开始广播本身的信息，当全部人都得到同伴信息，开始由id最小的人提交一个token，交由全部节点确认。 若是都确认后，则节点正式加入，开始正常运行。 当集群有节点退出时，因为令牌环断链，触发token超时，则一样开始广播信息，而后由最小id提交token，通过确认后恢复正常。	gossip协议有多种实现，这里说一个例子当节点启动时，读配置文件，而后向一个seed发送信息，进行信息同步，而后开始没秒都随机选择一个seed节点来同步信息一、随机取一个当前活着的节点，并向它发送同步请求 二、向随机一台不可达的机器发送同步请求 三、若是第一步中所选择的节点不是seed，或者当前活着的节点数少于seed数，则向随意一台seed发送同步请求
数据一致性	强一致性	强一致性	最终一致性
相关应用	zookeeper	corosync	Cassandra
优势	能够很好的解决通讯一致性问题，在集群规模上比corosync要略大一些	简单方便，按照协议实现后就能够直接使用	协议自己简单，组网规模几乎不受限制，通讯性能好
缺点	理论性太强，若是要实际使用，仍是须要进行优化	使用了广播包，对于跨域传送有影响，并且令牌环自己带来的问题使得组网规模不大	不能提供传统的数据一致性服务，在传输中占用较多的网络流量

原文连接: http://openstack.wiaapp.com/?p=106