qq_18871751的博客

一致性和持久性：为了性能，innoDB会将数据缓存在内存中，所以对磁盘数据的修改会落后于内存，这时如果进程或机器崩溃，会导致内存数据丢失；为了保证数据的一致性和持久性，修改Page之前需要先将修改的内容记录到REDO中，并保证REDO LOG早于对应的Page落盘。

不同于Paxos算法直接从分布式一致性问题出发推导出来，Raft算法则是从多副本状态机的角度提出，用于管理多副本状态机的日志复制。Raft实现了和Paxos相同的功能，它将一致性分解为多个子问题：Leader选举（Leader election）、日志同步（Log replication）、安全性（Safety）、日志压缩（Log compaction）、成员变更（Membership change）等。同时，Raft算法使用了更强的假设来减少了需要考虑的状态，使之变的易于理解和实现。