[论文解读] Fault-tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation

Danny Dolev, Matthias Függer+2 more|arXiv (Cornell University)|May 24, 2011

Distributed systems and fault tolerance参考文献 26被引用 5

一句话总结

本文提出了一种拜占庭容错、自稳态的脉冲同步协议，适用于异步逻辑，可在深亚微米VLSI系统中实现鲁棒的时钟周期生成。通过使用弹性流水线和标记脉冲，检测并恢复死锁与虚假脉冲，该协议确保了无亚稳态运行，并在瞬态或拜占庭故障下以最小复杂度实现最优弹性。

ABSTRACT

Today's hardware technology presents a new challenge in designing robust systems. Deep submicron VLSI technology introduced transient and permanent faults that were never considered in low-level system designs in the past. Still, robustness of that part of the system is crucial and needs to be guaranteed for any successful product. Distributed systems, on the other hand, have been dealing with similar issues for decades. However, neither the basic abstractions nor the complexity of contemporary fault-tolerant distributed algorithms match the peculiarities of hardware implementations. This paper is intended to be part of an attempt striving to overcome this gap between theory and practice for the clock synchronization problem. Solving this task sufficiently well will allow to build a very robust high-precision clocking system for hardware designs like systems-on-chips in critical applications. As our first building block, we describe and prove correct a novel Byzantine fault-tolerant self-stabilizing pulse synchronization protocol, which can be implemented using standard asynchronous digital logic. Despite the strict limitations introduced by hardware designs, it offers optimal resilience and smaller complexity than all existing protocols.

研究动机与目标

• 应对深亚微米VLSI技术中瞬态和永久故障日益增长的挑战，这些故障会损害时钟域交叉处的亚稳态和可靠性。
• 克服现有darts时钟方案的局限性，这些方案缺乏自稳态能力，且无法从超过三分之一节点故障中恢复。
• 设计一种在异步数字逻辑严格硬件约束下运行的容错脉冲生成协议。
• 在多同步时钟系统中保持有界偏移和精度的同时，确保对拜占庭故障的鲁棒性。
• 在无需外部复位或先前同步的情况下，实现从任意初始状态和瞬态故障中恢复。

提出的方法

• 在异步数字逻辑中实现自稳态、拜占庭容错的脉冲同步协议，以生成可靠的darts时钟周期。
• 每隔T个周期引入标记脉冲，以检测并纠正本地计数器与远程计数器之间的不匹配。
• 使用有限但足够大小的弹性流水线，在瞬态阶段缓冲脉冲，确保不会丢失有效脉冲。
• 在每个脉冲后短时间内对管道标记执行复位操作（而非脉冲本身），以清除虚假或过时的标记脉冲。
• 利用如下特性：若一个标记脉冲未被对应的本地标记脉冲匹配，则表明存在故障或偏移，从而触发纠正操作。
• 使用Diff-Gate仅在标记脉冲与非标记脉冲匹配时移除普通脉冲，确保计数器状态保持一致且有效。

实验结果

研究问题

• RQ1 如何在严格硬件约束下，于异步数字逻辑中设计并实现一种自稳态、拜占庭容错的脉冲同步协议？
• RQ2 何种机制可确保在无需外部同步或节点复位的情况下，从任意初始状态和瞬态故障中恢复？
• RQ3 如何利用弹性流水线防止系统不稳定启动或故障恢复阶段的脉冲丢失？
• RQ4 在何种条件下可确保标记脉冲被正确匹配，且虚假标记被清除而不引入亚稳态？
• RQ5 该协议如何在全局异步、局部同步（GALS）系统中容忍拜占庭故障的同时，保持有界偏移和精度？

主要发现

• 该协议对拜占庭故障实现了最优弹性，可在3f+1个节点的系统中容忍最多f个故障节点，且对故障行为无任何假设。
• 通过使用标记脉冲和一种检测机制，确保了自稳态，该机制通过在有界时间窗口内未检测到脉冲移除来识别管道死锁。
• 有限大小的弹性流水线足以防止脉冲丢失，前提是其容量可容纳最大消息延迟d时间窗口内生成的所有脉冲，即O(d)时间窗口。
• 通过在每个脉冲后短时间内异步复位标记寄存器，清除虚假标记脉冲，确保不会干扰正确的脉冲生成。
• 在正常运行期间，Diff-Gate中的亚稳态被避免，因为标记复位发生在下一个标记脉冲到达之后，从而防止了竞争条件。
• 通过确保所有多余标记最终被清除，该协议可从任何初始状态（包括管道中存在任意多个标记脉冲的状态）实现恢复。