多值连通共识：对十字军协议和采纳承诺的新视角
摘要：连接共识的多值输入的多个算法在异步消息传递系统中解决故障容忍共识，其中包括解决故障容忍共识的原语如探花协议、采纳-提交和分级广播，它们提供的一致性性质比共识弱。尽管这些原语有相似的特征，但它们被以特定的方式分别定义和实现。我们提出了一个新的问题，称为连接共识，它的特例包括探花协议、采纳-提交和分级广播，并将它们推广到处理多值输入的情况。通过将问题与图上的近似一致性关联起来，实现了这个推广。我们在异步消息传递系统中提出了三种算法，用于解决多值输入的连接共识，其中一种容错崩溃故障，另外两种容错恶意（不经身份验证的拜占庭）故障。我们将绑定的定义扩展到多值输入的情况，并展示我们的所有算法都满足这个性质，绑定是一个最近被确定能够支持针对适应性对手的正确二进制共识算法的理想属性。我们的容错崩溃故障算法具有我们证明是最优的容错和时间复杂性。当限制为二进制输入的情况时，该算法的时间复杂性优于以前的算法。我们针对恶意故障提出的两种算法在容错和时间复杂性之间进行权衡。第一种算法的时间复杂性是我们证明是最优的，但容错性较差，而第二种算法的容错性是我们证明是最优的，但时间复杂性较差。当限制为二进制输入的情况时，第二种算法的时间复杂性（以及容错性）与以前的算法相匹配。
作者：Hagit Attiya, Jennifer L. Welch
论文ID：2308.04646
分类：Distributed, Parallel, and Cluster Computing
分类简称：cs.DC
提交时间：2023-08-10