线性时间自稳定拜占庭时钟同步

时钟同步是分布式系统中的一个非常基础的任务，因此合理地要求底层时钟同步机制具备高度的容错性。自稳定算法旨在在同步丢失后恢复同步；拜占庭算法则假设同步永不丢失，侧重于控制永久性故障节点的影响。目前已有高效的自稳定时钟同步解决方案，也有针对拜占庭故障的高效解决方案。相较之下，据我们所知，尚无实用的解决方案既具备自稳定性，又能容忍永久性的拜占庭节点。我们提出首个线性时间自稳定拜占庭时钟同步算法。该确定性时钟同步算法基于这样一个观察：所有时钟同步算法都需要用于交换时钟值和重新同步时钟至安全界限内的事件。这些事件通常需要在不同节点上同步发生。经典的拜占庭算法是通过保证初始时钟彼此接近，从而可将实际时钟值用于同步事件来实现的。这意味着时钟值不能任意不同，必然导致这些解决方案无法实现自稳定。我们的方案建议使用与时钟值无关的底层分布式脉冲同步模块。