[论文解读] Construction of Partial MDS (PMDS) and Sector-Disk (SD) Codes with Two Global Parity Symbols

Mario Blaum, James S. Plank+2 more|arXiv (Cornell University)|Jan 19, 2014

Advanced Data Storage Technologies被引用 4

一句话总结

本文提出了一种通用代数构造方法，用于构造具有两个全局校验符号的局部最大距离可分（PMDS）码与扇区磁盘（SD）码，采用有限域和本原元。该方法确保在任意数量磁盘失效及最多两个额外擦除扇区的情况下实现最大可恢复性，仅需适中的域大小，从而解决了现代存储系统中擦除码设计的一个开放问题。

ABSTRACT

Partial MDS (PMDS) codes are erasure codes combining local (row) correction with global additional correction of entries, while Sector-Disk (SD) codes are erasure codes that address the mixed failure mode of current RAID systems. It has been an open problem to construct general codes that have the PMDS and the SD properties, and previous work has relied on Monte-Carlo searches. In this paper, we present a general construction that addresses the case of any number of failed disks and in addition, two erased sectors. The construction requires a modest field size. This result generalizes previous constructions extending RAID~5 and RAID~6.

研究动机与目标

• 解决构造适用于任意数量失效磁盘及最多两个额外擦除扇区的通用PMDS与SD码（含两个全局校验符号）这一开放问题。
• 通过提供确定性、代数化构造，消除对蒙特卡洛搜索的依赖。
• 通过将先前针对RAID 5和RAID 6的构造方法推广，支持更广泛的故障模式。
• 在确保所有有效擦除模式下正确性的前提下，最小化域大小需求。
• 提供一个统一框架，适用于具有两个额外校验符号的PMDS与SD码。

提出的方法

• 使用有限域 $GF(2^w)$，并选取一个本原元 $\alpha$，其阶大于数组元素总数，以确保关键表达式的可逆性。
• 基于 $\alpha$ 的幂次构造结构化行块，构建具有 $m$ 个校验列和两个额外全局校验符号的SD码的校验矩阵 $H$。
• 通过引入偏移参数 $N = (m+1)(n-m-1)+1$，对PMDS码采用修改后的校验矩阵 $H'$，以确保在所有擦除模式下保持满秩。
• 利用最小多项式 $f_\alpha(x)$ 和多项式环 $M_p(x)$，将构造方法推广至非素域。
• 通过将指数差值控制在域阶范围内，确保关键域表达式的可逆性，避免结果为零。
• 通过代数证明验证正确性，表明所有所需擦除模式在所构造码结构下均可解码。

实验结果

研究问题

• RQ1 能否为 $(m;2)$ PMDS 与 SD 码开发一种避免使用蒙特卡洛搜索方法的确定性代数构造？
• RQ2 何种域大小足以保证在任意 $m$ 个失效磁盘与两个额外擦除扇区组合下的正确解码？
• RQ3 如何将构造方法推广至支持任意行数与列数，同时保持最大可恢复性？
• RQ4 何种代数条件可确保校验矩阵在所有有效擦除模式下保持满秩？
• RQ5 同一框架能否被适配以同时支持具有相同底层结构的PMDS与SD码？

主要发现

• 所提出的构造方法对所有有效擦除模式（包括任意 $m$ 个失效磁盘及最多两个额外擦除扇区）实现了最大可恢复性。
• SD码所需的域大小受数组元素总数的限制，确保了实际可行性。
• 对于PMDS码，域大小需求最多为扇区总数的平方，适用于实际部署。
• 通过代数论证证明了构造的正确性，表明在所有擦除场景下关键域表达式均保持可逆。
• 该方法推广了先前针对 $(1;2)$ 和 $(2;2)$ 码的构造，将它们统一于同一框架之下。
• 该方法通过相同的底层结构支持PMDS与SD码，二者仅在校验矩阵设计上存在差异。