【项目实战】从诞生的时间线横向看常见的分布式一致性协议（从Quorum、Gossip、Paxos到ZAB、Raft协议）

小咪咪 2024-03-17 23:16 62阅读 0赞

> 分布式一致性协议的诞生背景主要是为了解决分布式系统中的一致性问题。在分布式系统中，多个节点之间需要通过通信来协调操作，但是节点之间的通信可能会出现延迟、丢包、故障等问题，这会导致数据不一致的情况发生，通过这些分布式一致性协议，可以为分布式系统中的数据一致性提供了有效的保证。注意，分布式一致性协议是分布式系统中的基础协议和算法，可以被多个框架所使用。

## 一、Quorum协议（1979年） ##

### 1.1 Quorum协议介绍 ###

Quorum协议是分布式一致性协议。  
Quorum协议的诞生时间是1979年  
Quorum协议由Miron Abramson和Robert Brayton共同提出  
Quorum协议是一种基于多数投票的分布式一致性协议  
它确保在多个节点之间进行数据复制和故障恢复时，至少有超过一半的节点参与才能完成操作。

### 1.2 Quorum协议的应用 ###

#### 1.2.1 MongoDB与Quorum协议 ####

MongoDB分布式文档数据库使用了Quorum协议，提供了高可用、分布式一致性的文档存储解决方案。  
MongoDB通过Quorum协议来实现数据复制和故障恢复，进而实现数据的高可用性和可扩展性。  
当客户端向副本集发出写操作时，MongoDB会根据Quorum协议来确保至少有超过一半的节点参与写操作才能完成。

## 二、视图复制协议（1980年代） ##

### 2.1 视图复制协议介绍 ###

视图复制协议是一种早期的分布式一致性协议。  
视图复制协议通过将系统分为多个视图，并在各个视图内部进行数据复制和同步，来保证数据的一致性。

## 三、Gossip协议（1980年代） ##

### 3.1 Gossip协议介绍 ###

Gossip协议是一种基于随机通信的分布式一致性协议。  
Gossip协议通过节点之间的随机通信来发现并传递信息，从而保证数据的一致性。  
Gossip协议是一种分布式协议，它通过节点之间的随机通信来传播信息。

### 3.2 Gossip协议的应用 ###

#### 3.2.1 Redis 与Gossip协议 ####

Redis分布式缓存数据库使用Gossip协议来在节点之间进行通信和数据同步，提供了高可用、分布式一致性的缓存解决方案。  
Redis使用Gossip协议来实现节点之间的通信和数据同步，从而构建一个高效、可靠的分布式数据库系统。  
在Redis中，Gossip协议被用于在节点之间传递状态信息，例如节点的健康状态、故障信息等。  
通过Gossip协议，Redis集群中的节点可以快速地发现其他节点的状态变化，并且能够及时地做出相应的反应。

Redis的Gossip协议是基于随机选择节点进行通信的，每个节点都会随机选择一个其他节点进行通信，并通过交换信息来更新自己的状态。这种随机通信的方式可以避免节点之间的负载不平衡，同时也可以减少通信的开销。

## 三、Vector Clock协议（1990年代） ##

### 3.1 Vector Clock协议介绍 ###

Vector Clock协议是一种基于时间戳和向量比较的分布式一致性协议。  
Vector Clock协议通过为每个事件打上时间戳和向量比较来实现数据的一致性。

## 四、Paxos协议（1990年代） ##

### 4.1 Paxos协议介绍 ###

*  Paxos是最为著名的分布式一致性协议之一，但是其实现较为复杂
 *  Paxos协议解决了在分布式系统中多个节点之间达成一致性的问题，但是其实现较为复杂。

### 4.2 Paxos协议的应用 ###

#### 4.2.1 Chubby与Paxos协议 ####

Chubby分布式锁服务框架使用了Paxos协议，提供了高可用、分布式一致性的锁服务解决方案。

## 五、ZAB协议（2006年） ##

### 5.1 ZAB协议介绍 ###

ZAB协议是一种分布式一致性协议。  
ZAB协议是Zookeeper原子广播协议的简称。  
Zookeeper分布式协调服务框架使用了ZAB协议  
Zookeeper的核心是ZAB协议，ZAB协议是Zookeeper分布式协调服务框架的一部分。  
Zookeeper通过ZAB协议保证多个节点之间的数据一致性。  
Zookeeper基于ZAB协议提供了一系列分布式一致性的解决方案，包括配置中心、注册中心、分布式同步等。  
ZAB协议解决了在分布式系统中多个节点之间数据一致性的问题，保证了数据的原子性和广播性。  
ZAB协议的特点是高效性和可靠性。  
ZAB协议可以通过少数几次消息传递保证多个节点之间的数据一致性，同时具有极高的可靠性和容错性。

## 六、Raft协议（2006年） ##

### 6.1 Raft协议介绍 ###

RAFT协议是对Paxos协议的简化、实现和发展，同时，提供了更为强大和灵活的一致性保证。  
Raft协议是一种强大的分布式一致性协议，它保证了在分布式系统中多个节点之间数据的一致性。  
Raft协议是一种基于领导者选举的分布式一致性协议。通过选举来确定一个领导者，这个领导者负责处理客户端的请求，并将数据复制到其他节点。  
Raft协议通过选举、复制、恢复和快照等机制来保证多个节点（数据）之间的数据一致性，提高了分布式系统的可靠性和高性能。  
Raft协议还提供了状态机的概念，客户端将请求发送到领导者节点，领导者节点将请求写入自己的日志，并将日志复制到其他节点。

### 6.2 Raft协议诞生背景 ###

RAFT协议的发展史可以追溯到20世纪90年代，当时分布式系统的发展逐渐成熟，但是分布式一致性协议的研究还比较有限。随着分布式系统的应用场景越来越广泛，分布式一致性协议的重要性也越来越突出。在这个背景下，RAFT协议被提出，并逐渐成为一种广泛应用的分布式一致性协议。

### 6.3 Raft协议使用场景 ###

Raft协议是一种广泛应用的分布式一致性协议  
Raft协议广泛应用于分布式系统中，例如分布式数据库、分布式缓存、分布式文件系统等。  
Raft协议的应用场景越来越广泛，成为了分布式系统中的重要组成部分。

### 6.4 Raft协议的应用 ###

#### 6.4.1 Nacos的Raft协议 ####

Nacos是一个分布式配置中心和服务发现平台，其底层使用了Raft协议来保证分布式一致性。  
在Nacos中，Raft协议被用于保证配置数据和服务发现数据在多个节点之间的一致性。  
Nacos的RAFT协议实现了Raft协议的核心功能，包括选举、复制和快照等。

Nacos的RAFT协议是其底层分布式一致性协议的基础，保证了在分布式系统中多个节点之间数据的一致性和可靠性。通过实现RAFT协议的核心功能，Nacos能够提供高效、可靠的服务发现和配置管理功能。

#### 6.4.2 BookKeeper的Raft协议 ####

Apache BookKeeper分布式消息服务框架使用了Raft协议，提供了高可用、分布式一致性的消息队列解决方案。BookKeeper的Raft协议是一种可靠的分布式一致性协议，可以用于确保多个BookKeeper节点之间的数据一致性和可靠性。