分布式选举 - Paxos 协议选举过程详解

花千树-010

于 2024-09-29 17:47:46 发布

阅读量1.1k

点赞数 19

分类专栏：分布式文章标签：分布式

本文链接：https://blog.csdn.net/fenglingguitar/article/details/142637287

版权

8 篇文章 0 订阅

订阅专栏

Paxos 协议是解决分布式系统中一致性问题的经典算法，它通过多个节点在网络中交换消息，最终确保所有节点就某一值达成一致。为了更清晰地理解 Paxos 协议的核心流程和可能出现的问题，我们结合提议者竞争的场景来详细说明该协议的运作机制，并解释如何优化这种竞争重复的现象。

Paxos 协议主要涉及三个角色：

Paxos 协议的执行过程可以分为两个阶段：

提议者选择编号并发起 Prepare(n) 请求：
提议者选择一个比以往提案编号更大的编号 (n)，并向一组接收者发送 Prepare(n) 请求。这一步的核心目的是确保提议者选择的提案不会与之前的提案冲突。
接收者的判断和响应：
- 接收者收到 Prepare(n) 请求后，会检查 (n) 是否大于其之前已经响应的所有提案编号。如果是，则接收者承诺不再接受比 (n) 小的提案，并返回它曾经接受过的编号最大且提案值最高的提案。
- 如果 (n) 小于接收者已响应的提案编号，则接收者会忽略该请求，不予响应。

提议者发起提案：
如果提议者从大多数接收者那里得到了积极响应，便会选择一个提案值（可能是接收者返回的已有值，或是自己新的提案值）并发送 Accept(n, value) 请求，尝试让接收者接受该提案。
接收者的判断和响应：
- 接收者会检查提案编号 (n) 是否仍然是它见过的最大编号。如果是，则接收者接受该提案并返回确认。
- 如果提案编号 (n) 小于接收者已经承诺接受的编号，则拒绝该提案。

在 Paxos 协议中，当存在多个提议者时，可能会出现竞争的现象。假设有两个提议者 A 和 B，同时向接收者发起提案请求：

提议者 A 选择编号 (n1) 并发起 Prepare(n1) 请求，接收者响应。
提议者 B 紧接着选择编号 (n2)（且 (n2 > n1)）并发起 Prepare(n2) 请求，由于编号更大，接收者会拒绝之前 (n1) 的提案并承诺接受 (n2) 的提案。

在这种情况下，提议者 A 的提案会失败。为了继续推进一致性决策，提议者 A 可能会选择一个更大的编号 (n3) 重新发起 Prepare(n3) 请求。这一过程可能会在多个提议者之间反复出现，造成重复的竞争过程。

Paxos 协议中，提议者竞争是不可避免的，但通过一些机制可以减少重复竞争的次数：

提案编号单调递增：
提议者在每次发起提案时选择的提案编号 (n) 都是单调递增的，这使得即使竞争发生，编号更大的提案总能占据优先权，避免了旧提案的反复尝试和浪费。
多数派机制：
在 Paxos 协议中，只要一个提案被多数接收者（大多数派）接受，则该提案就被认为达成了一致。这意味着即便有多个提议者竞争，只要一个提案得到了多数派的认可，整个协议过程就能够终止，减少无谓的提案重复。
拒绝早期小编号提案：
接收者在收到编号更大的提案时，会拒绝之前所有编号更小的提案，并承诺不再接受这些提案，从而使得提议者快速进入下一轮更高编号的提案过程。