Quorum & Raft & Paxos

Quorum

Quorum协议是一种用于分布式系统中实现一致性的协议。它主要用于解决在分布式系统中节点故障或网络分区等情况下的一致性问题。

在分布式系统中，使用Quorum协议时，系统将节点划分为多个副本组（Replica Group），每个副本组包含多个节点。在执行一致性操作时，需要达到一定的投票（或确认）要求，称为Quorum。通常，Quorum的要求是根据副本组中节点数目的一部分来定义的，例如，要求达到节点数目的一半加一。

Quorum协议的主要原理是基于多数派原则。在执行一致性操作（如写入或读取）时，至少需要满足Quorum的要求才能继续操作。具体来说，对于写入操作，需要将数据写入足够数量的副本组中的节点才能确认操作完成；对于读取操作，需要从足够数量的副本组中获取数据副本才能返回一致的结果。

Quorum协议可以提供一定程度的容错性和可用性，因为只有在满足Quorum要求的节点数目范围内的故障或分区情况下，系统才能继续正常运行。当节点故障或网络分区恢复时，系统可以通过多数派的方式恢复一致性。

Quorum协议在许多分布式系统中得到广泛应用，包括数据库系统、分布式存储系统和分布式共识算法等。不同的系统可能有不同的Quorum策略和实现方式，但基本原理是相似的。

需要注意的是，具体的Quorum协议实现和策略可能因系统和应用场景而有所不同。因此，建议在具体使用或了解某个分布式系统时，参考其官方文档、技术论文或相关资料，以获取该系统中Quorum协议的详细信息和具体细节。

Raft

RAFT（Raft Consensus Algorithm）是一种共识算法，用于分布式系统中的一致性问题。它是由Diego Ongaro和John Ousterhout于2013年提出的，旨在提供一种简单可理解且易于实现的一致性算法。

RAFT算法通过选举机制和日志复制来实现一致性。它将集群中的节点分为三个角色：领导者（Leader）、跟随者（Follower）和候选人（Candidate）。RAFT算法的核心是领导者选举和日志复制。

以下是RAFT算法的基本工作原理：

1. 领导者选举：

   • 当集群启动时，所有节点都是跟随者状态。
   • 跟随者节点会定期接收来自领导者的心跳信号，以维持领导者的地位。
   • 如果一个跟随者在一段时间内没有收到领导者的心跳信号，它将变为候选人状态，并发起新的选举。
   • 候选人节点会向其他节点发送选举请求，并请求投票。节点将投票给第一个请求的候选人。
   • 如果一个候选人获得了集群中大多数节点的选票，它将成为新的领导者。

2. 日志复制：

   • 领导者接收客户端的写入请求，并将这些请求追加到自己的日志中。
   • 领导者将这些日志条目发送给其他节点，并要求它们复制这些日志。
   • 跟随者节点收到日志请求后，将这些日志条目追加到自己的日志中，并向领导者发送确认信息。
   • 一旦领导者收到大多数节点的确认信息，就认为日志复制成功，并向客户端发送响应。

RAFT算法的设计目标是保证一致性和可理解性，并在网络分区和节点故障等情况下保持可用性。相对于一些更复杂的共识算法，如Paxos，RAFT算法更容易理解和实现，更适合于教育和学术研究。

RAFT算法已经在许多分布式系统中得到应用，例如分布式数据库、分布式存储和分布式文件系统等。它提供了一种可靠的共识机制，确保在分布式环境中的一致性操作和可靠的数据复制。

如果您对RAFT算法的更深入细节和技术细节感兴趣，可以参考原始的RAFT论文 “In Search of an Understandable Consensus Algorithm”，以及RAFT算法相关的扩展和优化的研究论文。

区别

RAFT协议和Quorum协议是两种用于分布式系统中实现一致性的不同协议，它们有着不同的设计和工作原理。

1. RAFT协议：

   • RAFT是一种共识算法，用于解决分布式系统中的一致性问题。
   • RAFT协议将集群中的节点分为领导者、跟随者和候选人三个角色，并通过选举机制和日志复制来实现一致性。
   • RAFT协议的核心是领导者选举和日志复制。领导者负责接收客户端请求，并将请求追加到日志中，然后通过日志复制将日志复制到其他节点。
   • RAFT协议的设计目标是可理解性和易实现性，它强调在网络分区和节点故障等情况下的可用性。

2. Quorum协议：

   • Quorum协议是一种在分布式系统中实现一致性的协议，基于多数派原则。
   • Quorum协议将节点划分为多个副本组，每个副本组包含多个节点。执行一致性操作需要满足Quorum的要求。
   • Quorum的要求通常是根据副本组中节点数目的一部分定义的，例如，要求达到节点数目的一半加一。
   • 在执行一致性操作时，需要满足Quorum的要求才能继续操作。对于写入操作，需要写入足够数量的副本组节点；对于读取操作，需要从足够数量的副本组获取数据副本。
   • Quorum协议可以提供容错性和可用性，只有在满足Quorum要求的节点范围内的故障或分区情况下，系统才能继续正常运行。

总结来说，RAFT协议是一种共识算法，通过领导者选举和日志复制实现一致性；而Quorum协议是基于多数派原则，通过满足Quorum要求来实现一致性。它们在设计和工作原理上有所不同，适用于不同的分布式系统场景。

Paxos

Paxos是Leslie Lamport于1990年提出的一种共识算法，它基于消息传递，具有高度的容错性，可以在一个不考虑拜占庭错误、可能发生节点宕机或网络异常等故障的分布式系统中，快速正确地在集群内对某个值达成一致，并保证系统各个节点的一致性。需要注意的是，在实际系统中，这个值并不一定是某个数字，也有可能是一条需要达成共识的日志或命令。

Paxos中的节点分为提议者(Proposer)、接受者(Acceptor)和学习者(Learner)三种角色。Proposer提出提案，提案信息包括提案编号和提案值；Acceptor收到提案后可以接受(Accept)提案，若提案获得多数Acceptor的接受，则称该提案被批准(Chosen)；Learner只能“学习”被批准的提案。对于Paxos中的每个节点来说，它可以同时是多个角色。

Paxos提出了两点要求——Safety和Liveness。Safety要求只有一个值被批准，一个节点只能学习一个已经被批准的值，这保证了系统的一致性；Liveness要求只要在大部分节点存活且可以相互正常通信的情况下，Paxos会最终批准一个被提议的值，一旦一个值被批准，其他节点最终会学习到这个值。

Paxos的主要思路是Proposer在提出提案前，需要先了解大多数Acceptor最近一次接受的提案，以此确定自己本次提出的提案值并发起投票。当获得大多数Acceptor接受后即认定提案被批准，并告知Learner此提案的信息。Paxos主要分为两个阶段——Prepare阶段和Accept阶段

https://weread.qq.com/web/reader/2e732890813ab78afg01860d