基于格一致性的可线性化复制状态机
分布式、并行与集群计算
2018-10-16 v1
摘要
本文研究异步系统中的格一致性问题，并探讨其在构建可线性化复制状态机（RSM）中的应用。首先，我们提出一种在 个异步轮内解决格一致性问题的算法，其中 为系统可容忍的崩溃故障数。这相比先前最佳上界是指数级改进。其次，Faleiro 等人在 [Faleiro et al. PODC, 2012] 中已表明，无冲突数据类型与格一致性协议的组合可用于实现可线性化 RSM。他们给出了一种 Paxos 风格的格一致性协议，可经调整实现可线性化 RSM，并保证一条命令最多在 个消息延迟内被学习，其中 为提议者数量。随后，Xiong 等人在 [Xiong et al. DISC, 2018] 给出一种格一致性协议，将 保证改进为 。然而，这两种协议均不实用用于构建可线性化 RSM。因此，在本文第二部分，我们首先给出基于 Xiong 等人所提协议的改进协议。然后，利用我们的改进协议实现了一个简单的可线性化 RSM，并将我们的实现与 Paxos 的一个开源 Java 实现进行比较。结果表明，与使用传统基于共识的协议相比，使用基于格一致性的协议实现可线性化 RSM 可获得更优性能。
引用
@article{arxiv.1810.05871,
title = {Linearizable Replicated State Machines with Lattice Agreement},
author = {Xiong Zheng and Vijay K. Garg and John Kaippallimalil},
journal= {arXiv preprint arXiv:1810.05871},
year = {2018}
}