分布式复制中非事务一致性水平的统一、实用且易于理解的模型

我们提出了一种关于分布式数据复制中非事务一致性水平的实用模型。与 prior work 不同，我们简洁的共享对象池（SOP）模型在以排序为核心概念的统一框架中定义了常见一致性水平。这自然地反映了现代云对象存储服务，因此易于理解。我们展示了一致性水平可以通过指定两种关于允许该水平下排序有效性约束来直观地定义：收敛性（限制排序 lineage 形状）和关系性（限制操作之间相对位置）。我们给出了代表性协议和系统的例子，并讨论了它们的可用性上限。为了进一步展示我们模型的表达性和实际相关性，我们使用它实现了一个集成 Jepsen 的一致性检查器，用于四种最常见的水平（线性化、顺序、causal+ 和最终一致性）；该检查器分析了来自 etcd、ZooKeeper 和 RabbitMQ 等真实系统运行的小规模历史记录的一致性符合度。