Summary zab是Yahoo提出的leader-base的一致性协议，由于raft晚于该协议猜测raft中有借鉴该协议的一些思想 此文仅总结理解的一些

Summary paxos算法的的核心思想是“与其预测未来，不如限制当下”，即通过保证当前的操作，来一步一步达到预期 Theory 要求 Safety: 只有一个被提议的value被选

Why 1983年由Dale Skeen 和 Michael Stonebraker提出了3PC协议来解决2PC阻塞的问题 #What 3PC（two-phase-commit）其实就是

Why 针对数据库事务ACID-Atomicity，单机可以使用write-ahead-log实现1PC（one-phase-commit）即可，

Introduce 一般正确性的证明标准有两个，分别是safety properties 和 liveness properites Safety Properites 通常safety properites是指：“bad things never happen”。 举例 例如互