论文标题
带有匿名脉冲的新的耐断层同步方案
A New Fault-Tolerant Synchronization Scheme with Anonymous Pulses
论文作者
论文摘要
强大的脉冲同步是在有线和无线分布式系统中构建可靠的同步应用方面的基础。在有线系统中,自动化的拜占庭脉冲同步旨在同步易于故障的分布式组件与有限的延迟消息通讯系统中的任意初始状态。在无线系统中,脉冲耦合振荡器的易耐故障同步也是为相似的目标而构建的,但通常在特定系统限制下工作,例如低计算功率,低消息复杂性和匿名物理脉冲,其发件人无法通过接收器识别其发件人。这些限制通常会阻止我们构建高可靠的无线同步应用。本文试图通过在不确定的通信延迟和不一致的故障的情况下,为所谓的匿名匿名界有界界线脉动系统引入了新的耐故障同步方案,以打破有限的延迟消息通信系统和经典脉冲耦合振荡器之间的障碍。为了低计算功率和低消息复杂性,而不是涉及基于共识的原始素,提议的同步方案集成了所谓的离散均值磁场,平面随机步行,以及仅利用稀疏生成的匿名脉冲的一些其他简单操作。对于耐故障,我们表明可以通过在匿名脉冲同步中利用平面随机步行来容忍平方根数的故障振荡器。为了进行自动化,我们表明可以在具有脉动 - 频率限制的匿名界限式脉冲系统中以预期的恒定观察窗口数量达到稳定。
Robust pulse synchronization is fundamental in constructing reliable synchronous applications in wired and wireless distributed systems. In wired systems, self-stabilizing Byzantine pulse synchronization aims for synchronizing fault-prone distributed components with arbitrary initial states in bounded-delay message-passing systems. In wireless systems, fault-tolerant synchronization of pulse-coupled oscillators is also built for a similar goal but often works under specific system restrictions, such as low computation power, low message complexity, and anonymous physical pulses whose senders cannot be identified by the receivers. These restrictions often prevent us from constructing high-reliable wireless synchronous applications. This paper tries to break barriers between bounded-delay message-passing systems and classical pulse-coupled oscillators by introducing a new fault-tolerant synchronization scheme for the so-called anonymous bounded-delay pulsing systems in the presence of indeterministic communication delays and inconsistent faults. For low computation power and low message complexity, instead of involving in consensus-based primitives, the proposed synchronization scheme integrates the so-called discrete mean-fields, planar random walks, and some additional easy operations in utilizing only sparsely generated anonymous pulses. For fault-tolerance, we show that a square-root number of faulty oscillators can be tolerated by utilizing planar random walks in anonymous pulse synchronization. For self-stabilization, we show that the stabilization can be reached in an expected constant number of observing windows in anonymous bounded-delay pulsing systems with the pulsing-frequency restriction.