10、分布式共识：链路与进程故障下的探索

分布式共识：链路与进程故障下的探索

在分布式系统中，共识问题一直是核心研究领域。本文将深入探讨分布式共识在链路故障和进程故障场景下的相关问题，包括协调攻击问题和协议算法，以及不同故障模型下的解决方案。

协调攻击问题回顾

协调攻击问题最初由Gray提出，用于模拟分布式数据库提交问题。确定性版本的协调攻击问题存在不可解性，而随机化协调攻击的相关结果则源于Varghese和Lynch的工作。

在协调攻击问题中，涉及到消息传递和决策一致性。例如，在链路故障的情况下，消息可能无法成功传递，这给达成共识带来了挑战。

随机化协调攻击的概率分析

假设存在一个对手B，所有输入为1且无消息丢失。根据相关引理，所有进程决定1的概率至多为e(levelB(i, r) + 1) ≤ e(r + 1)。但有效性条件要求所有进程在对手B生成的所有执行中都必须决定1，即该概率应为1。由此可得e(r + 1) ≥ 1，即e ≥ 1/(r + 1)。

协调攻击问题的练习与拓展

• 图的可解性 ：对于任何非平凡连通图的确定性协调攻击问题的解决方案，意味着由一条边连接的两个进程组成的简单图的问题也可解。实际上，该问题在任何非平凡图中都是不可解的。
• 变体问题 ：考虑网络为n > 2个参与者的完全图的确定性协调攻击问题的变体。终止和有效性要求不变，但协议要求放宽为“如果任何进程决定1，则至少有两个进程决定1”。判断该问题是否可解并证明。
• 概率消息系统 ：对于由一