顺序一致性与线性一致性

Zab 保证顺序一致性，Raft 通常提供线性一致性语义。顺序一致性不带真实时间约束，因此读操作在语义上可能返回旧值；线性一致性则要求结果符合现实中的先后顺序。

对于分布式协调服务，单客户端 FIFO 不等于所有客户端都能得到线性一致读。