论文标题
稀疏网络中的自我稳定的定期共同繁殖
Self-Stabilizing Periodic Mutual-exclusive Propagation in Sparse Networks
论文作者
论文摘要
消息传播是在稀疏连接的通信网络上构建分布式系统的基础。为了提供简单的消息传播原始图，使用简化的离散系统模型研究了一位消息的共同排定传播（MEP）。受自然传播系统的启发，使用MEP系统提出了有效的自我稳定周期性MEP过程。为了处理最坏情况的情况，通常会在任意连接的网络上对MEP系统进行正式证明。它表明，MEP系统可以在短时间内使用任意初始系统状态稳定。同时，数字模拟表明，如果消息延迟是随机分布的，则可以显着减少传播误差。在MEP系统中进一步得出更细的传播结果时，还讨论了传播模式。它表明，有限的时钟漂移和某些良性故障可以在MEP系统中很好地处理。拟议的MEP原始词以其非常简单的机制为特色，可以用作上层自动化同步系统的实用构件。
Message propagation is fundamental in constructing distributed systems upon sparsely connected communication networks. For providing easy message propagation primitives, the mutual-exclusive propagation (MEP) of one-bit messages is investigated with a simplified discrete system model. Inspired by natural propagation systems, efficient self-stabilizing periodic MEP processes are proposed with the MEP systems. For handling the worst-case scenarios, the MEP systems are generally analyzed with formal proofs upon arbitrarily connected networks. It shows that the MEP systems can be stabilized with arbitrary initial system states within a short bounded time. Meanwhile, the numeric simulation shows that the propagation errors can be significantly reduced if the message delays are randomly distributed. Propagation patterns are also discussed in further deriving finer propagation results in the MEP systems. It shows that bounded clock drifts and some benign faults can be well handled in the MEP systems. Featured by its very simple mechanism, the proposed MEP primitive can be employed as a practical building block of upper-layer self-stabilizing synchronous systems.
