无日志的基于状态 CRDT 的线性化状态机复制
分布式、并行与集群计算
2020-07-27 v2
摘要
状态机复制的通用解必须确保所有副本以相同顺序应用相同命令，即便在故障存在时亦然。此种严格排序会因分布式共识或使用领导者而产生高同步代价。本文提出一种无冲突复制数据类型（CRDTs）的线性化状态机复制协议，其既不需要共识也不需要领导者。通过利用基于状态的 CRDTs 的性质——尤其是连接半格的单调增长——同步开销被大幅降低。结果，更新仅需单次往返并“就地”修改状态而无需日志。此外，用于协调的消息大小开销为每消息仅一个计数器。对于查询，我们保证有限写终止。我们在实验评估中表明，在高度并发访问下超过 99% 的查询可于一至三次往返内处理。我们的协议在无命令日志管理或领导者选举等辅助进程的情况下实现高吞吐。因此，它非常适用于需要在细粒度尺度上对 CRDT 数据进行线性化访问的实际场景。
引用
@article{arxiv.1905.08733,
title = {Linearizable State Machine Replication of State-Based CRDTs without Logs},
author = {Jan Skrzypczak and Florian Schintke and Thorsten Schütt},
journal= {arXiv preprint arXiv:1905.08733},
year = {2020}
}