[論文レビュー] Construction of two SD Codes

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

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

ひとこと要約

本稿では、Galois体算術およびGF(2^w)上での最小多項式を用いて、1ディスクと2セクタ、および2ディスクと2セクタの両方の故障モデルを想定したSD（セクタ・ディスク）コードの明示的構成を提示する。主な貢献は、混合ディスクおよびセクタ障害モデル下で最大距離分離性（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性の証明を簡素化・強化する。

提案手法

• 位数が rn 以上であるような元 α のべき乗を用いて、GF(2^w) 上の (r+2)×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′ > r となるすべての r′×n コードもSDでないことが保証されるため、モンテカルロ探索で早期終了が可能になる。
• GF(16)およびGF(256)上での具体例を用いて構成を検証し、α が原始的である場合に C(51,5,2;f_α(x)) がSDであることを示している。

実験結果

リサーチクエスチョン

• RQ1 モンテカルロ探索に依存せずに、m=1 および s=2 の一般化された、数学的に証明可能なSDコード構成が可能か？
• RQ2 m=2, s=2 の場合、2ディスク障害と2セクタ障害を処理できるような構成を拡張可能か？
• RQ3 モンテカルロベースのSDコード探索の効率をどのように向上できるか？
• RQ4 SDコードのどのような構造的性質が、冗長な探索空間の刈り込みを可能にするか？

主な発見

• α が GF(2^w) 内の原始的元であり、O(α) ≥ rn である限り、C(r,n,1;f_α(x)) はSDであることが証明されている。これは、すべての必要な行列式が非ゼロであることを保証する。
• m=2 および s=2 の場合、2ディスクと2セクタ障害下でも完全なSD能力を達成する新しい構成が提示され、行列式解析に基づく厳密な証明が与えられている。
• GF(256) 上で α が位数255の原始的元である場合、C(51,5,2;f_α(x)) がSDであることが確認されている。
• 短縮に基づく刈り込み技術により、r×n コードがSDでない場合、r′ > r となる r′×n コードはすべてSDでないことが保証される。これにより、不要な探索反復が排除される。
• 体論的行列式簡約を用いることで、m=1, s=2 の場合の証明が簡素化され、先行研究よりも明確性が向上している。