回到协调攻击问题
摘要：协调攻击问题的研究：消息捕获可能导致通信问题的两位将军需要决定共同的进攻策略。在这个问题中，我们只考虑遗漏消息的问题，但与以往的研究不同，我们不限制消息如何丢失，也不使用特定的故障度量。在双重同时遗漏永远无法发生的消息对手子集中，我们对哪些是协调攻击问题的障碍进行了特征化。我们给出了这个结果的两个证明，一个是组合方法，使用经典的二值技术来得到必要条件，另一个是拓扑方法，使用单纯复合体来证明必要条件。我们还提出了两种不同的共识算法，它们本质上是组合的（或拓扑的）。最后，我们分析了这两个证明，并在消息对手的非常普遍的情况下展示了组合方法和拓扑方法之间的关系。我们展示了拓扑特征化更清楚地解释了为什么一些消息对手是障碍或者不是障碍。这个结果清楚地展示了拓扑工具在分布式计算中的力量。
作者：Emmanuel Godard and Eloi Perdereau
论文ID：2103.10816
分类：Distributed, Parallel, and Cluster Computing
分类简称：cs.DC
提交时间：2023-06-22