论屏障以及主动复制与被动复制之间的差距（完整版）
分布式、并行与集群计算
2015-10-13 v5
摘要
主动复制通常构建在原子广播原语之上。被动复制最近被用于流行的 ZooKeeper 协调系统，它可以自然地构建在主序原子广播原语之上。被动复制与主动复制的不同之处在于，它要求进程在成为主节点并开始广播消息之前跨越一个屏障。在本文中，我们提出了一个屏障函数 tau，用于解释并封装现有主序原子广播算法（即半被动复制和 Zookeeper 原子广播 (Zab)）之间的差异，以及 Paxos 和 Zab 之间的差异。我们还表明，在通用共识原语和 tau 之上实现主序原子广播，本质上会导致比原子广播更高的时间复杂度，现有算法已证实了这一点。我们通过提出一种替代的主序原子广播实现方案克服了这一问题，该方案构建在通用共识原语之上，并利用共识本身来形成屏障。该算法是模块化的，且与现有基于 tau 的算法具有相同的时间复杂度。
引用
@article{arxiv.1308.2979,
title = {On Barriers and the Gap between Active and Passive Replication (Full Version)},
author = {Flavio P. Junqueira and Marco Serafini},
journal= {arXiv preprint arXiv:1308.2979},
year = {2015}
}
备注
A shorter version of this work (without appendices) appears in the proceedings of the 27th International Symposium on Distributed Computing (DISC) 2013 conference