raft算法如何在节点成为leader并且有未提交的日志条目的情况下保持强读一致性

Question

考虑五个节点（S1、S2、S3、S4、S5）获取键/值数据。 并发生了以下步骤

1. S3 成为领导者，客户端向集群写入等于 2 的密钥
2. S3 append entry to S1,S2,S4,S5,然后S1,S2,S4,S5接受它并将entry写入自己的日志（如图1所示）
3. S3 收到多数响应（来自 S1,S2,S4,S5），S3 提交 key 等于 2 的实体，并向客户端发送写入成功消息，然后向 S1,S2,S4,S5 发送提交消息
4. S2,S4,S5 收到提交消息并提交条目成功，但 S1 崩溃。 就像在图 2 中一样，S1 将有一个未提交的条目。
5. 现在，S1 重新启动并成为具有未提交条目且 key 等于 2 的领导者（如图 3 所示）

经过上述步骤，客户端查询一个条目（key等于2，刚刚写成功）。 但是现在 S1 是领导者，并且 key equal 2 条目未提交。 因此，客户将找不到自己刚才写的条目。 那么，我在哪里做错了？ 请帮我 （图片1） （图二） （图三）

Answer 1

我在 Diego Ongaro 论文中找到了解决方案更详细的版本In Search of an Understanding Consensus Algorithm(Extended Version) 。 在第 8 节（客户端交互）中，我找到了答案， Raft 通过让每个领导者在其任期开始时向日志中提交一个空白的 no-op 条目来处理这个问题。 在此之后，问题 S1 将通过提交一个空白的无操作条目来提交日志索引等于 1 条目。