无No-op日志且未启用读优化时Raft能否保证正确性？

在Raft论文中，No-op操作仅在第8章的优化部分被提及，有资料提到No-op日志可防止“幽灵复现”，但作者论文未提及该点。想咨询：未启用读优化、也不提交No-op日志时，Raft仍能保证正确性吗？已查阅多篇资料但说法不一。

答案是肯定的。当不启用读优化时，所有读操作都通过写入日志的方式执行，这种情况下即使不提交No-op日志，Raft依然能保证正确性。

因为读操作被当作普通的日志条目处理，会经过Raft的日志复制和提交流程，领导者在处理读请求时会像处理写请求一样，确保日志达成共识后再返回结果，自然避免了可能出现的一致性问题，不需要额外的No-op日志来辅助。

内容的提问来源于stack exchange，提问作者qianxi