[论文解读] Construction of two SD Codes

Mario Blaum, James S. Plank|arXiv (Cornell University)|May 6, 2013

Advanced Data Storage Technologies参考文献 6被引用 9

一句话总结

本文提出了两种显式构造的SD（扇区-磁盘）码：一种用于1块磁盘和2个扇区，另一种用于2块磁盘和2个扇区，均采用Galois域算术和GF(2^w)上的最小多项式。主要贡献是一项可证明正确的系统化构造，可在混合磁盘与扇区故障模型下实现最大距离可分性（MDS），并提出一种基于截短的剪枝技术，显著加速了新码的蒙特卡洛搜索过程。

ABSTRACT

SD codes are erasure codes that address the mixed failure mode of current RAID systems. Rather than dedicate entire disks to erasure coding, as done in RAID-5, RAID-6 and Reed-Solomon coding, an SD code dedicates entire disks, plus individual sectors to erasure coding. The code then tolerates combinations of disk and sector errors, rather than solely disk errors. It is been an open problem to construct general codes that have the SD property, and previous work has relied on Monte Carlo searches. In this paper, we present two general constructions that address the cases with one disk and two sectors, and two disks and two sectors. Additionally, we make an observation about shortening SD codes that allows us to prune Monte Carlo searches.

研究动机与目标

• 为解决在RAID系统中容忍磁盘与扇区故障组合的通用SD码构造这一开放问题。
• 为m=1, s=2和m=2, s=2的情况提供一种系统化、数学上可证明的SD码构造，优于先前依赖蒙特卡洛方法的方案。
• 提出一种基于截短的剪枝技术，当低秩码失败时，可消除对更高秩码的冗余蒙特卡洛搜索。
• 利用域论和行列式分析，简化并强化m=1, s=2构造的SD性质证明。

提出的方法

• 在GF(2^w)上构造一个(r+2)×rn的校验矩阵，使用阶数至少为rn的域元素α的幂次。
• 通过标准基向量和α的幂次定义每个块的列向量，形成结构化的阵列码。
• 利用α的最小多项式f_α(x)定义码C(r,n,1;f_α(x))，并通过行列式非零条件证明其SD性质。
• 应用行变换和因式分解，将行列式条件简化为1 + α^{ℓn + t} ≠ 0，当α为本原元且ℓn + t ≠ 0 mod (2^w - 1)时成立。
• 引入一种截短技术：若r×n码不是SD，则所有r′×n码（其中r′ > r）也均不是SD，从而在蒙特卡洛搜索中实现早期终止。
• 通过GF(16)和GF(256)上的示例验证构造，表明当α为本原元时，C(51,5,2;f_α(x))是SD码。

实验结果

研究问题

• RQ1 能否为m=1和s=2的SD码开发一种通用的、可证明正确的构造，避免依赖蒙特卡洛搜索？
• RQ2 是否可以将此类构造扩展至处理两块磁盘故障和两个扇区故障（即m=2, s=2）？
• RQ3 如何提升基于蒙特卡洛的SD码发现效率？
• RQ4 SD码的何种结构性质允许对冗余搜索空间进行剪枝？

主要发现

• 当α是GF(2^w)中的本原元且O(α) ≥ rn时，构造C(r,n,1;f_α(x))被证明是SD，确保所有必需的行列式非零。
• 对于m=2和s=2，本文提出一种新构造，在两块磁盘和两个扇区故障下实现完整的SD能力，其证明基于行列式分析，严谨可靠。
• 当α是阶数为255的本原元时，GF(256)上的码C(51,5,2;f_α(x))被确认为SD码。
• 基于截短的剪枝技术保证：若r×n码不是SD，则任意r′×n码（其中r′ > r）也均不是SD，从而消除了不必要的搜索迭代。
• 通过域论的行列式简化方法，m=1, s=2情况的证明得到简化并更具透明性，相比先前工作显著提升了清晰度。