Raft 共识算法( 二 )

2023-10-17 生活百科 Raft 共识算法

算法不变量

Election Safety：每个任期足以多只有一个leader被选举出来
Leader Append-Only：leader不会覆盖或者删除自己的日志的记录；他只会在后面添加新的记录
Log Matching：如果两个日志包含一个相同索引和任期的记录，那么我们认为这个索引的记录以及之前的记录的内容完全一致
Leader Completeness：如果一个记录在一个任期内被提交，那么更高任期的leader的日志都会包含这个记录
State Machine Safety：如果一个server应用了一个给定索引的记录到状态机，不存在其他server在相同的索引位置应用不同的记录

参考：https://github.com/maemual/raft-zh_cn
【Raft 共识算法】

推荐阅读

上一篇：Jupyter Notebook单元格加宽的方法3种

下一篇：聊聊SQL注入