解决共识的拜占庭故障检测器

不可靠故障检测器可以根据完整性和准确性定义，并可用于解决存在崩溃故障的异步分布式系统中的一致性问题。我们将此结果扩展到受拜占庭故障影响的异步分布式系统。首先，我们对拜占庭断层进行了定义和分类。然后我们定义了两个新的完备性性质，最终强完备性和最终弱完备性。我们使用这些完整性属性和先前定义的准确性属性来定义四类新的不可靠拜占庭故障检测器。接下来，我们提出了一种算法，该算法使用拜占庭故障检测器来解决由$n$进程组成的异步分布式系统中的一致性问题，其中拜占庭错误的数量$k$满足$k\leq\lfloor（n-1）/3\rfloor$。我们还给出了在部分同步模型中实现拜占庭故障检测器的算法。最后，我们证明了一致性算法的正确性并分析了其复杂性。