2021 L5
一些raft的机制的解说;
a. follower落后同一任期的日志; b. follower落后之前任期的日志; c. follower的相同任期的日志index新于当前leader的日志(相比于leader新的日志一定没有被提交,即可被覆盖); d. follower多出leader之后任期的日志(同样新的日志没提交可被覆盖); e. follower落后之前任期的日志,但是之前任期的日志有未提交的日志状态; f. follower拥有leader没有的任期内的日志(同样可被覆盖);
首先为了保证一致性,日志需要达成大多数才可被提交并持久化,且candidate想要胜选就需要获得大多数的投票;而对于日志已经被提交的节点集合和需要投票的节点集合一定有交集,故candidate一定属于日志已经被提交的节点集合才可能胜选;