[论文解读] Reliable Memories Built from Unreliable Components Based on Expander Graphs

Shashi Kiran Chilappagari, Bane Vasić|ArXiv.org|May 1, 2007

Error Correcting Code Techniques参考文献 19被引用 4

一句话总结

本文提出一种基于低密度奇偶校验（LDPC）码和扩展图的容错内存架构，利用本质上不可靠的纳米级组件构建可靠内存，以应对瞬态故障。通过采用基于扩展码的并行位翻转解码算法，该方案在确保故障概率随码长呈指数下降的同时，冗余度低于Taylor-Kuznetsov（TK）方案，证明了具有有限冗余的可靠内存的存在性。

ABSTRACT

In this paper, memories built from components subject to transient faults are considered. A fault-tolerant memory architecture based on low-density parity-check codes is proposed and the existence of reliable memories for the adversarial failure model is proved. The proof relies on the expansion property of the underlying Tanner graph of the code. An equivalence between the Taylor-Kuznetsov (TK) scheme and Gallager B algorithm is established and the results are extended to the independent failure model. It is also shown that the proposed memory architecture has lower redundancy compared to the TK scheme. The results are illustrated with specific numerical examples.

研究动机与目标

• 设计一种容错内存架构，利用本质上不可靠的纳米级组件实现可靠的数据存储。
• 在保持瞬态故障下可靠性的前提下，相比现有的Taylor-Kuznetsov（TK）方案，降低冗余度。
• 通过基于扩展图的编码与解码，建立具有有限冗余的可靠内存存在的理论依据。
• 利用Chernoff不等式，将对抗性故障模型下的结果推广至独立故障模型。
• 提供可靠内存存在的构造性证明，而非Taylor方法所采用的非构造性存在性证明。

提出的方法

• 内存架构采用具有Tanner图结构的规则LDPC码，其图结构表现出强扩展性质。
• 采用基于Sipser和Spielman的扩展码框架推导出的并行位翻转解码算法，实现线性时间解码。
• 底层Tanner图的扩展性质可确保即使有恒定比例的组件同时失效，仍能纠正错误。
• 应用Chernoff不等式，将对抗性故障模型下的结果推广至组件故障相互统计独立的独立故障模型。
• 证明该方案与LDPC码的Gallager B解码算法等价，从而将其与成熟的解码框架建立联系。
• 采用显式扩展图构造方法（如Capalbo等人提出的方法），使该方法具有构造性，支持实际实现。

实验结果

研究问题

• RQ1 能否通过构造性方法，利用有限冗余，从不可靠组件中构建出可靠内存？
• RQ2 在相同故障模型下，所提架构的冗余度与Taylor-Kuznetsov（TK）方案相比如何？
• RQ3 能否利用Tanner图的扩展性质，在对抗性组件故障下证明可靠内存的存在性？
• RQ4 在独立故障模型下，所提架构的故障概率行为如何？其随码长如何变化？
• RQ5 基于扩展图的解码算法能否提供比消息传递算法更优的错误指数或更紧的存储容量界？

主要发现

• 所提内存架构的故障概率随码长呈指数下降，具体上界为 $ P_f(L au) \leq L e^{-\Omega(n)} $。
• 所提架构的冗余度至少比TK方案低 $ \gamma $ 倍，其中 $ \gamma $ 为可容忍的组件比例。
• 通过扩展图论证，证明了该架构的存在性，为Taylor的非构造性存在性证明提供了一种构造性替代方案。
• 建立了TK方案与LDPC码Gallager B解码算法之间的等价性，明确了TK方法背后的解码机制。
• 该方法可推广至独立故障模型，但所得故障概率界较弱，提示可通过直接扩展图论证获得更紧的界。
• 采用显式扩展图构造（如Capalbo等人提出的方法）使该方法具备实际可实现性，克服了此前此类图缺乏显式构造的局限。