在有损迭代即时快照模型中不可能实现稳定共识

分布式计算研究的很大一部分致力于终止性问题，如共识和类似的协议问题。然而，非终止性问题已在自稳定分布式算法的背景下得到深入研究，其中进程可以从任意初始状态启动，并能容忍任意瞬时故障。介于两者之间的是稳定问题，其中进程从一个明确定义的初始状态启动，但不需要不可撤销地决定，并允许其有限次地更改决定，直到最终达到稳定决定。在本文中，我们引入了新颖的延迟有损链路（DLL）模型和有损迭代即时快照模型（LIIS），并证明了在这些模型中稳定共识是不可能的。DLL 模型是作为众所周知的有损链路模型的一个变体引入的，它允许任意但有限长度的静默期。LIIS 模型是迭代即时快照（IIS）模型的一个变体，它允许每层最多 $f$ 个遗漏故障的有限长度周期。特别地，我们证明即使当 $f=1$ 时，稳定共识也是不可能的。我们的结果表明，即使在一个具有非常强连接性的模型中，即迭代即时快照（IIS）模型，每层一个遗漏故障也有效地禁用了稳定共识。此外，由于 DLL 模型始终存在一个永久广播者，因此即使在没有崩溃的环境中，仅仅存在一个永久广播者也不足以解决稳定共识，这否定了 Charron-Bost 和 Moran 提出的开放问题。