复制与一致性模型

线性一致性、顺序一致性、因果一致性、最终一致性的定义与区别；每种模型允许什么异常、需要什么协调。本章用读写例子说明各模型，并讲 CRDT 如何在无协调下收敛。