分布式的共识算法

分布式的共识算法

分布式系统的共识算法是指在分布式环境中多个节点就某些信息达成一致的算法。这些算法在分布式系统中至关重要,尤其是在容错和保证一致性方面。

Paxos 算法

Paxos 算法是一种经典的分布式共识算法,由 Leslie Lamport 在 1990 年代提出。它旨在解决分布式系统中多个节点就某些信息达成一致的问题,尤其是在存在网络分区或节点故障的情况下。Paxos 算法特别强调强一致性,即所有参与的节点最终都会同意同一个值。

Paxos 算法包括两个主要的角色:ProposerAcceptor 。此外,还有一种角色叫做 Learner,用于监听并记录共识的结果。以下是 Paxos 算法的基本步骤:

  1. Prepare 阶段 :
    • Proposer 选择一个提案编号 n,并向一组 Acceptor 发送一个 Prepare(n) 消息。
    • Acceptor 收到 Prepare(n) 消息后,如果它尚未对编号大于等于 n 的提案做出承诺,它会回复一个 Promise 消息,其中包含它先前承诺过的最大编号的提案值(如果有的话)。
    • Proposer 收集大多数 Acceptor 的 Promise 消息。
  2. Accept 阶段 :
    • Proposer 选择一个值 v(通常是它收到的 Promise 消息中最大的提案值,如果没有则可以自由选择),并发送一个 Accept(n, v) 消息给所有 Acceptor。
    • Acceptor 收到 Accept(n, v) 消息后,如果它已经回复了 Prepare(n) 的 Promise 消息,它就会接受该提案并记录提案值 v。
    • Proposer 收集大多数 Acceptor 的 Accept 消息。
  3. Learn 阶段 :
    • Learner 收集大多数 Acceptor 的 Accept 消息后,它会学习到提案值 v,并将其传播给所有参与者。

Raft 算法是一种分布式共识算法,由 Diego Ongaro 和 John Ousterhout 在 2014 年提出。它旨在简化分布式系统中多个节点就某些信息达成一致的过程,并且相比 Paxos 算法更加直观易懂。Raft 算法特别强调通过选举领导者来简化共识过程,并且易于理解和实现。

Raft 算法的基本原理

Raft 算法的核心在于通过选举领导者来简化共识过程。它包括三种节点状态:FollowerCandidateLeader。以下是 Raft 算法的基本步骤:

  1. 选举领导者 :
    • 当 Follower 没有收到领导者的心跳消息或投票请求一段时间后,它会变成 Candidate 并开始选举过程。
    • Candidate 会发送投票请求给其他节点,并给自己投一票。
    • 如果 Candidate 收集到大多数节点的投票,它将成为 Leader。
  2. Leader 状态 :
    • Leader 定期发送心跳消息给其他节点,以保持其领导地位。
    • 当 Leader 收到客户端的请求时,它将请求添加到日志中,并将请求发送给其他节点。
    • 当大多数节点记录了相同的日志条目后,Leader 认为该条目已经被提交,并将提交信息发送给其他节点。
  3. Follower 状态 :
    • Follower 节点接收来自 Leader 的命令和心跳消息。
    • 如果长时间没有接收到任何消息,Follower 会变成 Candidate 并发起新的选举。

Nacos中使用了Raft算法来保证服务注册与发现的一致性。

相关推荐
小马爱打代码2 小时前
Kafka - 消息零丢失实战
分布式·kafka
长河2 小时前
Kafka系列教程 - Kafka 运维 -8
运维·分布式·kafka
渗透测试老鸟-九青4 小时前
面试经验分享 | 成都渗透测试工程师二面面经分享
服务器·经验分享·安全·web安全·面试·职场和发展·区块链
程序猿chen4 小时前
《JVM考古现场(十五):熵火燎原——从量子递归到热寂晶壁的代码涅槃》
java·jvm·git·后端·java-ee·区块链·量子计算
浩浩kids4 小时前
Hadoop•踩过的SHIT
大数据·hadoop·分布式
松韬4 小时前
Spring + Redisson:从 0 到 1 搭建高可用分布式缓存系统
java·redis·分布式·spring·缓存
雨会停rain5 小时前
如何提高rabbitmq消费效率
分布式·rabbitmq
java技术小馆7 小时前
Zookeeper中的Zxid是如何设计的
java·分布式·zookeeper·云原生
DemonAvenger7 小时前
深入剖析 sync.Once:实现原理、应用场景与实战经验
分布式·架构·go
Vic23348 小时前
Kafka简要介绍与快速入门示例
分布式·kafka