近似最优的自稳定计数与发射小队

考虑一个由 $n$ 个节点组成的全连接同步分布式系统，其中最多 $f$ 个节点可能发生故障，且每个节点从任意初始状态开始。在同步 $C$-计数问题中，所有节点最终需要就一个计数器达成一致，该计数器在每轮增加 1 模 $C$，给定 $C>1$。在自稳定发射小队问题中，任务是最终保证所有非故障节点对外部输入做出同步响应：如果一部分正确节点接收到外部“去”信号作为输入，则所有正确节点应就一个不太遥远的未来轮次达成一致，在该轮次中联合输出“发射”信号。此外，在没有任何正确节点先前接收到“去”信号作为输入的情况下，任何节点都不应生成“发射”信号。我们提出了一个框架，以极小的代价将这两个任务归约为二值共识。例如，我们获得了一个确定性算法，用于自稳定拜占庭发射小队，具有最优韧性 $f<n/3$，渐近最优的稳定时间和响应时间 $O(f)$，以及消息大小 $O(\log f)$。由于我们的框架不限制所使用的共识例程类型，我们还获得了高效的随机化解决方案，并且很容易将我们的框架适配到其他类型的永久故障。