sendRequestVote()是Candidate 端处理单个 RequestVote RPC 的函数。它负责向指定节点发送投票请求并根据响应更新本地任期、累计票数必要时把自己提升为 Leader。它不是接收方的RequestVote()Candidate Follower doElection() | | 创建 args、reply、votedNum v sendRequestVote(server, ...) | |---- RequestVote RPC ------ RequestVote(args, reply) | 检查任期、日志、投票记录 |----------- reply ---------- | v 处理回复、累计选票、可能成为 Leader源码将每个目标节点的sendRequestVote()放进独立线程并行执行。函数参数可以抽象成bool sendRequestVote( int server, shared_ptrRequestVoteArgs args, shared_ptrRequestVoteReply reply, shared_ptrint votedNum );各参数含义server 目标节点在 m_peers 中的下标 args 本轮选举的请求快照 reply 目标节点填写的响应 votedNum 本轮选举的共享计票器args中包含term 发起选举时的任期 candidateId Candidate 的节点编号 lastLogIndex Candidate 最后一条日志的索引 lastLogTerm Candidate 最后一条日志的任期reply主要包含term 接收节点当前看到的任期 voteGranted 是否同意投票这正是 Raft 的标准RequestVote请求和响应结构。一、执行网络调用核心调用是bool ok m_peers[server]-RequestVote(args.get(), reply.get());这里args.get() 取得请求对象的裸指针 reply.get() 取得响应对象的裸指针shared_ptr仍然负责对象生命周期所以 RPC 在线程中执行时参数和响应对象不会因为doElection()返回而被销毁。尤其要区分ok true RPC 通信成功并收到响应 reply-votegranted() 对方是否真的投票因此ok true完全可能同时满足reply-votegranted() false;对方可能成功收到请求但因为已经投过票、日志不够新或请求任期过期而拒绝。二、 RPC 失败时直接返回if (!ok) { return false; }RPC 失败可能意味着目标节点宕机 网络分区 请求丢失 响应丢失 连接超时这个函数不会在内部无限重试。若最终无法获得多数票electionTimeOutTicker()会再次超时启动一个更高任期的新选举。这不会影响安全性只要 Candidate 得不到多数票它就不能成为 Leader。Raft 的可用性依赖多数节点能够相互通信。三、 为什么网络调用期间不持锁网络 RPC 可能长时间阻塞。如果发送前就持有m_mtxRPC 等待几百毫秒 → Raft 主锁也被占用几百毫秒 → 无法处理心跳 → 无法处理其他投票请求 → 无法更新任期因此该函数先执行网络调用收到响应后才加锁std::lock_guardstd::mutex lg(m_mtx);这是典型的并发结构锁内创建请求快照 → 锁外执行慢速网络操作 → 锁内验证响应并修改状态不过释放锁意味着等待 RPC 时本地状态可能已经发生变化所以处理响应时必须重新验证任期和角色。四、 响应任期更高if (reply-term() m_currentTerm) { m_status Follower; m_currentTerm reply-term(); m_votedFor -1; persist(); return true; }例如自己当前任期8 对方响应任期10这说明本节点已经落后。无论当前是 Candidate 还是 Leader都必须切换为 Follower currentTerm 更新为 10 清空当前任期投票记录 持久化 currentTerm 和 votedFor 放弃处理这张选票Raft 的通用规则是任何 RPC 请求或响应中出现更高任期都要更新本地任期并转为 Follower。这里不能因为reply-votegranted() true就继续计票。任期已经变化旧选举立即失效。五、 响应任期更低else if (reply-term() m_currentTerm) { return true; }例如请求发出时第8任期 等待过程中本节点已经进入第9任期 返回响应 第8任期这个响应属于过去的一轮选举必须丢弃。这说明sendRequestVote()对应的线程可能还活着但它代表的选举已经失效。判断任期可以防止旧 RPC 响应污染新任期。六、 任期相等但拒绝投票经过前两个分支后reply-term() m_currentTerm源码先进行断言然后检查if (!reply-votegranted()) { return true; }同一任期拒绝投票通常有两个原因1. 对方本任期已经投给其他 Candidate 2. 当前 Candidate 的日志不够新“日志足够新”的比较顺序是先比较 lastLogTerm 任期相同再比较 lastLogIndexCandidate 的日志只有至少和接收方一样新才有资格获得选票。(raft.github.io)注意函数仍然返回true因为返回值表达的是 RPC 是否成功不是是否获得选票。七、获得一张赞成票*votedNum *votedNum 1;votedNum在doElection()中初始化为1因为 Candidate 已经投给自己。假设有 5 个节点初始自己的一票votedNum 1 节点B同意 votedNum 2 节点C同意 votedNum 3多数票计算为m_peers.size() / 2 1对于不同规模3 个节点需要 2 票 5 个节点需要 3 票 7 个节点需要 4 票虽然多个线程共享普通int但票数的读取和修改都发生在m_mtx的保护下所以这里不会出现两个线程同时覆盖计票结果。八、达到多数票后成为 Leaderif (*votedNum m_peers.size() / 2 1) { *votedNum 0; m_status Leader; ... }获得多数票后这一轮选举已经成功。Raft 只要求多数节点同意不需要等待所有节点响应。源码把票数设为0目的是避免后续迟到的赞成票再次触发晋升逻辑。不过更清晰的设计通常是维护bool electionWon;或者检查if (m_status ! Candidate) { return true; }九、 初始化 Leader 的复制状态成为 Leader 后初始化m_nextIndex[i] lastLogIndex 1; m_matchIndex[i] 0;含义是nextIndex[i] 下一次准备发送给节点 i 的日志索引 matchIndex[i] 已知节点 i 成功复制的最高日志索引如果 Leader 最后一条日志索引是10nextIndex[i] 11Leader 会先假设 Follower 已经拥有前面的日志然后从索引 11 开始尝试如果 AppendEntries 返回日志不匹配再逐步回退。Raft 规定 Leader 当选后重新初始化这两个易失状态。十、立即发送第一次心跳源码创建一个新线程调用Raft::doHeartBeat()新 Leader 不等待下一个心跳周期而是立即广播 AppendEntries向其他节点宣布 Leader 身份 让其他 Candidate 退回 Follower 重置 Follower 的选举计时器 开始日志同步线程创建时sendRequestVote()还持有m_mtx所以新线程进入doHeartBeat()后会暂时阻塞当前函数释放锁后它才能正式发送心跳。
sendRequestVote()是Candidate 端处理单个 RequestVote RPC 的函数。它负责向指定节点发送投票请求并根据响应更新本地任期、累计票数必要时把自己提升为 Leader。它不是接收方的RequestVote()Candidate Follower doElection() | | 创建 args、reply、votedNum v sendRequestVote(server, ...) | |---- RequestVote RPC ------ RequestVote(args, reply) | 检查任期、日志、投票记录 |----------- reply ---------- | v 处理回复、累计选票、可能成为 Leader源码将每个目标节点的sendRequestVote()放进独立线程并行执行。函数参数可以抽象成bool sendRequestVote( int server, shared_ptrRequestVoteArgs args, shared_ptrRequestVoteReply reply, shared_ptrint votedNum );各参数含义server 目标节点在 m_peers 中的下标 args 本轮选举的请求快照 reply 目标节点填写的响应 votedNum 本轮选举的共享计票器args中包含term 发起选举时的任期 candidateId Candidate 的节点编号 lastLogIndex Candidate 最后一条日志的索引 lastLogTerm Candidate 最后一条日志的任期reply主要包含term 接收节点当前看到的任期 voteGranted 是否同意投票这正是 Raft 的标准RequestVote请求和响应结构。一、执行网络调用核心调用是bool ok m_peers[server]-RequestVote(args.get(), reply.get());这里args.get() 取得请求对象的裸指针 reply.get() 取得响应对象的裸指针shared_ptr仍然负责对象生命周期所以 RPC 在线程中执行时参数和响应对象不会因为doElection()返回而被销毁。尤其要区分ok true RPC 通信成功并收到响应 reply-votegranted() 对方是否真的投票因此ok true完全可能同时满足reply-votegranted() false;对方可能成功收到请求但因为已经投过票、日志不够新或请求任期过期而拒绝。二、 RPC 失败时直接返回if (!ok) { return false; }RPC 失败可能意味着目标节点宕机 网络分区 请求丢失 响应丢失 连接超时这个函数不会在内部无限重试。若最终无法获得多数票electionTimeOutTicker()会再次超时启动一个更高任期的新选举。这不会影响安全性只要 Candidate 得不到多数票它就不能成为 Leader。Raft 的可用性依赖多数节点能够相互通信。三、 为什么网络调用期间不持锁网络 RPC 可能长时间阻塞。如果发送前就持有m_mtxRPC 等待几百毫秒 → Raft 主锁也被占用几百毫秒 → 无法处理心跳 → 无法处理其他投票请求 → 无法更新任期因此该函数先执行网络调用收到响应后才加锁std::lock_guardstd::mutex lg(m_mtx);这是典型的并发结构锁内创建请求快照 → 锁外执行慢速网络操作 → 锁内验证响应并修改状态不过释放锁意味着等待 RPC 时本地状态可能已经发生变化所以处理响应时必须重新验证任期和角色。四、 响应任期更高if (reply-term() m_currentTerm) { m_status Follower; m_currentTerm reply-term(); m_votedFor -1; persist(); return true; }例如自己当前任期8 对方响应任期10这说明本节点已经落后。无论当前是 Candidate 还是 Leader都必须切换为 Follower currentTerm 更新为 10 清空当前任期投票记录 持久化 currentTerm 和 votedFor 放弃处理这张选票Raft 的通用规则是任何 RPC 请求或响应中出现更高任期都要更新本地任期并转为 Follower。这里不能因为reply-votegranted() true就继续计票。任期已经变化旧选举立即失效。五、 响应任期更低else if (reply-term() m_currentTerm) { return true; }例如请求发出时第8任期 等待过程中本节点已经进入第9任期 返回响应 第8任期这个响应属于过去的一轮选举必须丢弃。这说明sendRequestVote()对应的线程可能还活着但它代表的选举已经失效。判断任期可以防止旧 RPC 响应污染新任期。六、 任期相等但拒绝投票经过前两个分支后reply-term() m_currentTerm源码先进行断言然后检查if (!reply-votegranted()) { return true; }同一任期拒绝投票通常有两个原因1. 对方本任期已经投给其他 Candidate 2. 当前 Candidate 的日志不够新“日志足够新”的比较顺序是先比较 lastLogTerm 任期相同再比较 lastLogIndexCandidate 的日志只有至少和接收方一样新才有资格获得选票。(raft.github.io)注意函数仍然返回true因为返回值表达的是 RPC 是否成功不是是否获得选票。七、获得一张赞成票*votedNum *votedNum 1;votedNum在doElection()中初始化为1因为 Candidate 已经投给自己。假设有 5 个节点初始自己的一票votedNum 1 节点B同意 votedNum 2 节点C同意 votedNum 3多数票计算为m_peers.size() / 2 1对于不同规模3 个节点需要 2 票 5 个节点需要 3 票 7 个节点需要 4 票虽然多个线程共享普通int但票数的读取和修改都发生在m_mtx的保护下所以这里不会出现两个线程同时覆盖计票结果。八、达到多数票后成为 Leaderif (*votedNum m_peers.size() / 2 1) { *votedNum 0; m_status Leader; ... }获得多数票后这一轮选举已经成功。Raft 只要求多数节点同意不需要等待所有节点响应。源码把票数设为0目的是避免后续迟到的赞成票再次触发晋升逻辑。不过更清晰的设计通常是维护bool electionWon;或者检查if (m_status ! Candidate) { return true; }九、 初始化 Leader 的复制状态成为 Leader 后初始化m_nextIndex[i] lastLogIndex 1; m_matchIndex[i] 0;含义是nextIndex[i] 下一次准备发送给节点 i 的日志索引 matchIndex[i] 已知节点 i 成功复制的最高日志索引如果 Leader 最后一条日志索引是10nextIndex[i] 11Leader 会先假设 Follower 已经拥有前面的日志然后从索引 11 开始尝试如果 AppendEntries 返回日志不匹配再逐步回退。Raft 规定 Leader 当选后重新初始化这两个易失状态。十、立即发送第一次心跳源码创建一个新线程调用Raft::doHeartBeat()新 Leader 不等待下一个心跳周期而是立即广播 AppendEntries向其他节点宣布 Leader 身份 让其他 Candidate 退回 Follower 重置 Follower 的选举计时器 开始日志同步线程创建时sendRequestVote()还持有m_mtx所以新线程进入doHeartBeat()后会暂时阻塞当前函数释放锁后它才能正式发送心跳。
