rc1596919047的博客

在分布式系统中，不同节点进行数据&信息共享是一个基本的需求。一种比较简单粗暴的方法就是集中式发散消息，简单点来说就是一个主节点同时共享最新信息给其他所有节点，比较适合中心化系统。这种方法的缺陷也很明显，节点多的时候不光同步消息的效率低，还太依赖中心节点，存在单点风险问题。Gossip直译过来就是闲话、流言蜚语的意思。即容易被传播且传播速度快。Gossip协议也叫Epidemic协议（流行病协议）或者Epidemic propagation算法（疫情传播算法）。

Paxos算法是第一个被证明完备的分布式系统共识算法。共识算法的作用是让分布式系统中的多个节点之间对某个提案（Proposal）达成一致的看法。提案的含义在分布式系统中十分宽泛，像哪一个节点是Leader节点、多个事件发生的顺序等等都可以是一个提案。Basic-Paxos算法：描述的是多节点之间如何就某个值（提案Value）达成共识。Multi-Paxos算法：描述的是执行多个Basic Paxos实例，就一系列值达成共识。

CAP也就是Consistency（一致性）、Availability（可用性）、Partition Tolenrance（分区容错性）这三个单词首字母组合。在理论计算机科学中，CAP定理（CAP theorem）指出对于一个分布式系统来说，当涉及读写操作时，只能同时满足C、A、P三点中的两点：（而且一定是CP或者是AP，没有CA情况）一致性（C）：所有节点访问同一份最新的数据副本可用性（A）：非故障的节点在合理的时间内返回合理的响应（不是错误的或者超时的响应）。