[论文解读] Partial-MDS Codes and their Application to RAID Type of Architectures

Mario Blaum, James Lee Hafner+1 more|arXiv (Cornell University)|May 4, 2012

Advanced Data Storage Technologies参考文献 26被引用 4

一句话总结

本文提出专为基于闪存的RAID架构设计的Partial-MDS（PMDS）码，以应对灾难性设备故障与隐性硬错误并存的情况。通过采用二维数组码结构并优化校验计算，所提出的PMDS码即使在设备故障后，仍能从每个条带中恢复最多两个硬错误，显著提升了传统RAID 5或RAID 6方案的可靠性，且无需为校验额外增加完整磁盘，实现了真实错误率下数据丢失概率低于10^-6。

ABSTRACT

A family of codes with a natural two-dimensional structure is presented, inspired by an application of RAID type of architectures whose units are solid state drives (SSDs). Arrays of SSDs behave differently to arrays of hard disk drives (HDDs), since hard errors in sectors are common and traditional RAID approaches (like RAID 5 or RAID 6) may be either insufficient or excessive. An efficient solution to this problem is given by the new codes presented, called partial-MDS (PMDS) codes.

研究动机与目标

• 为解决SSD-based RAID系统中硬错误与灾难性故障共存带来的可靠性挑战，这些挑战是传统RAID 5或RAID 6方案难以高效处理的。
• 设计一种编码方案，可在不产生RAID 6过度开销的前提下，提供对每个条带两个硬错误及一次设备故障的鲁棒保护。
• 开发一种代码构造方法，在二维数组结构中保持最优修复效率与最小冗余，同时确保最大距离可分性（MDS）特性。
• 为适用于高写入耐久性和高错误鲁棒性的闪存存储的PMDS码提供理论基础与实用构造方法。

提出的方法

• 本文提出一族具有二维数组结构的Partial-MDS（PMDS）码，其中数据与校验信息按m×n块的条带形式组织于多个SSD上。
• 提出一种(1;2) PMDS码构造方法，通过基于有限域算术的特定校验计算方法，即使在发生完整设备故障后，也能纠正单个条带中最多两个硬错误。
• 该方法使用类似于范德蒙德矩阵的结构，其幂次基于特征为2的域中不同元素，确保在错误纠正中具有满秩与可逆性，如引理A.1所形式化。
• 在写操作中通过擦除并重写连续的m个扇区，实现高效的校验重计算，与SSD写周期模型一致。
• 证明了在给定约束下该代码构造为最优，给出了实现所需MDS类性能的充分必要条件，适用于部分擦除场景。
• 通过理论分析与仿真，比较了PMDS码与传统(1;1,1)-擦除纠错码及RAID 6在不同比特错误概率下的数据丢失概率。

实验结果

研究问题

• RQ1 能否设计一种编码方案，高效防护SSD-based RAID系统中同时存在的灾难性设备故障与多重隐性硬错误？
• RQ2 在可承受一次设备故障的前提下，纠正每个条带两个硬错误所需的最小冗余是多少？能否通过实用的码构造实现？
• RQ3 在真实SSD错误率下，所提出的PMDS码的数据丢失概率与现有RAID 5和RAID 6方案相比如何？
• RQ4 何种数学结构可确保在多重擦除情况下校验矩阵的可逆性与纠错能力？
• RQ5 在SSD要求的块级擦除与重写操作下，该码能否实现高效更新？

主要发现

• 对于比特错误率p=0.0008，(1;2) PMDS码将数据丢失概率降低至6.3×10^-6，比(1;1,1)-擦除纠错码高出一个数量级以上。
• 当p=0.0008时，(1;2) PMDS码的数据丢失概率为6.3×10^-6，而(1;1,1)-擦除码为1.1×10^-5，表明其可靠性更优。
• PMDS码在p≤0.0008时保持数据丢失概率低于10^-6，表明在真实SSD错误条件下具备强大鲁棒性。
• 在相同故障模型下，(1;2) PMDS码在低错误率下优于RAID 6，主要得益于优化的校验分布。
• 理论分析证实，所提码在给定约束下实现了最优性能，其行列式可逆性基于特征2域中元素性质的证明。
• 该码结构支持与SSD写周期一致的高效更新与修复操作，显著降低数据修改过程中的性能下降。