raft加速日志回退算法以及理解的基础_一些举例

算法思想

加速日志回溯优化:

• 如果一个追随者在其日志中没有prevLogIndex，它应该返回conflictIndex = len(log)和conflictTerm = None。
• 如果一个追随者prevLogIndex在它的日志中确实有，但是term不匹配，它应该返回conflictTerm = log[prevLogIndex].Term，然后在它的日志中搜索第一个条目具有term等于 conflictTerm 的索引。
• 收到冲突响应后，领导者应首先在其日志中搜索conflictTerm。如果它在其日志中找到具有该term的条目，则应将其nextIndex设置为超出其日志中该term中最后一个条目的索引的条目。
• 如果它没有找到包含该term的条目，它应该设置nextIndex = conflictIndex.

一个折衷的解决方案是只使用conflictIndex（并忽略 conflictTerm），这简化了实现，但领导者有时最终会向跟随者发送比更新它们所必需的更多的日志条目。

理解的基础

理解上面的核心是要知道: raft机制保证了同位置同任期的内容一定是一样的.

例子

S1:3455
S2:3567
先发7过去，然后经过上面过程，发67过去，发现4,5还是不匹配，再发567过去，然后发现3匹配了，然后就可以直接覆盖了，因为之前3在同样的位置，都是raft机制保证了同位置同任期的内容一定是一样的，单独的leader保证了单独的任期里面发送给单独的位置一定是相同的内容。(这一点很重要)

S1: 4444
S2: 4455
所以确实返回5的下标，然后去覆盖

S1:33
S2:34555
先跳转到3的位置，把555发过去，然后发现冲突任期是3，S2就把4555发过去