基本的共识思想

想象一下在单机事务一般需要满足的是ACID特性，但是在多机系统中呢？

在Raft和paxos等共识算法之前

2PC

假设 A1, A2, A3三台机子，

A：atomic原子性，明显不满足（线性）

C：一致性，共识算法 I: 隔离性 D：持久性，可以回滚

线性全序广播

这个话题可以分为两个部分：1.线性 2.全序广播

1. 线性

上面说过，线性化指的就是对于一个系统，操作呈现原子性，