4. etcd的Leader选举机制

etcd 使用 Raft 共识算法 来保证集群在部分节点故障时仍能对外提供一致的服务。Leader 选举是 Raft 的核心环节，它决定了哪个节点负责处理写请求和日志复制。本节将深入剖析选举超时、投票过程以及脑裂防护机制。

4.1 选举超时：触发选举的计时器

每个 etcd 节点在启动时都处于 Follower 状态，并维护一个随机的 选举超时时间（Election Timeout）。这个超时时间通常为 150ms ~ 300ms 之间的随机值。如果 Follower 在这个时间内没有收到来自 Leader 的 心跳（Heartbeat） 或 追加日志（AppendEntries） RPC，它会认为 Leader 已失效，从而发起新一轮选举。

4.2 投票过程：从 Follower 到 Candidate 再到 Leader

选举过程分为三个阶段：发起选举 → 请求投票 → 赢得选举。下面通过一个 5 节点集群的示例来说明。

1. 发起选举：Follower 超时后，将自己的 任期号（Term） 加 1，状态切换为 Candidate，并投票给自己。
2. 请求投票：Candidate 并行向集群中所有其他节点发送 RequestVote RPC，包含自己的任期号、最后一条日志的索引和任期。
3. 投票规则：每个节点在同一个 Term 内只能投一票。节点会检查 Candidate 的日志是否至少与自己一样新（日志比较规则：先比较最后一条日志的 Term，Term 更大的更新；Term 相同则比较日志索引，索引更大的更新）。如果 Candidate 的日志足够新且节点尚未投票，则投赞成票。
4. 赢得选举：Candidate 收到超过半数节点（包括自己）的赞成票后，成为新的 Leader。Leader 立即开始向所有节点发送心跳，重置其他 Follower 的超时计时器。

4.3 脑裂防护：Raft 如何防止双 Leader

脑裂（Split-Brain） 是指集群因网络分区而分裂成两个或多个独立工作的子集群，每个子集群都可能选举出自己的 Leader，导致数据不一致。Raft 通过以下机制有效防止脑裂：

• 任期号（Term）机制：每个 Term 内最多只有一个 Leader。如果网络分区后，旧分区中的 Leader 无法联系到多数节点，它的 Term 会过期。新分区中的节点会选举出新的 Leader，并拥有更高的 Term。当网络恢复时，旧 Leader 发现自己的 Term 小于当前 Term，会自动降级为 Follower。
• 多数派原则：Leader 必须获得超过半数节点的投票才能当选。网络分区后，只有包含多数节点的分区才能选出 Leader。少数分区（例如 2 个节点）无法达到多数（3 票），因此无法选举出 Leader，从而避免了双 Leader 的产生。
• 日志冲突检测：即使出现短暂的脑裂（例如旧 Leader 仍在少数分区中接受写请求），当网络恢复后，新 Leader 会通过日志复制强制覆盖旧 Leader 的日志，保证数据最终一致。

4.4 选举参数调优建议

在生产环境中，可以根据网络延迟和节点负载调整选举相关参数，以平衡 故障恢复速度 和 误触发概率。

• 降低 Election Timeout：加快 Leader 故障检测速度，但可能因网络抖动导致频繁选举。
• 降低 Heartbeat Interval：增加 Leader 的心跳频率，减少 Follower 误超时，但会增加网络开销。
• 增加 Randomized Election Timeout 范围：进一步降低选票分裂概率，但会延长选举时间。