[論文レビュー] On the I/O Costs of Some Repair Schemes for Full-Length Reed-Solomon Codes

Son Hoang Dau, Iwan Duursma+1 more|arXiv (Cornell University)|Jan 16, 2018

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

ひとこと要約

本稿は、フル長 Reed-Solomon コードにおける帯域幅最適修復方式の I/O コスト（修復中の合計ディスク読み取り回数）を調査する。2パリティのバイナリフル長 RS コードに対して、いかなる帯域幅最適修復方式も回転的でなければならないことを証明し、I/O コストがファイルサイズ kℓ に等しくなることを示す。これはナードリペア方式と一致するため、帯域幅と I/O 效率の間には根本的なトレードオフが存在することが明らかになる。

ABSTRACT

Network transfer and disk read are the most time consuming operations in the repair process for node failures in erasure-code-based distributed storage systems. Recent developments on Reed-Solomon codes, the most widely used erasure codes in practical storage systems, have shown that efficient repair schemes specifically tailored to these codes can significantly reduce the network bandwidth spent to recover single failures. However, the I/O cost, that is, the number of disk reads performed in these repair schemes remains largely unknown. We take the first step to address this gap in the literature by investigating the I/O costs of some existing repair schemes for full-length Reed-Solomon codes.

研究の動機と目的

• フル長 Reed-Solomon コードの修復方式における I/O コストに関する理解の不足に取り組む。これは、修復帯域幅に関する広範な研究があるにもかかわらずである。
• 既存の帯域幅最適修復方式の I/O コスト（ノード修復中の合計ディスク読み取り回数）を分析する。
• フル長 RS コードの帯域幅最適化修復方式が、特にバイナリの場合に低 I/O コストを達成できるかどうかを特定する。
• 帯域幅最適性の制約下で、フル長 RS コードの I/O コストの理論的限界を確立する。

提案手法

• 著者たちは、有限体上でのフル長 Reed-Solomon コードに対する帯域幅最適線形修復方式を分析し、特に基本体が F₂ でパリティ記号が2つの場合に注目する。
• トレース関数と F₂ 上のベクトル空間構造を用いた体論的道具を用いて、修復行列の列空間を特徴付ける。
• 非回転的修復方式が存在すると仮定した場合、F₂ 上の線形独立性の性質を用いて、修復部分空間の次元に矛盾が生じることを示すことで証明を行う。
• 非回転的方式が存在すると仮定した場合に矛盾を導くために、Lemma 9 を適用する。Lemma 9 は、A + γB が F₂ 上で基底を形成する非ゼロ γ が存在することを保証する。
• 補間を用いて修復多項式を再構成し、修復部分空間の次元が必要な ℓ−1 を超える条件を導出することで、帯域幅最適性を破る状況を特定する。
• 双対性と RS コードにおける双対符号語の性質、特に修復部分空間 Sj→1 の構造に注目して、理論的結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 フル長 Reed-Solomon コードの帯域幅最適修復方式は、I/O コストを低く抑えられるか、すなわち kℓ 回未満のディスク読み取りで済むか？
• RQ2 RS コードにおいて、修復帯域幅の最小化と I/O コストの最小化の間には根本的なトレードオフが存在するか？
• RQ3 フル長 RS コードの帯域幅最適修復方式が、なぜ最大の I/O コストを必ず発生させるのか、どのような条件下でそうなるか？
• RQ4 なぜ一部の帯域幅最適修復方式でさえ、ネットワーク帯域幅を削減しているにもかかわらず、依然としてファイル全体を読み取る必要があるのか？

主な発見

• n = 2^ℓ かつ r = 2 であるフル長 Reed-Solomon コードでは、背理法を用いて、いかなる帯域幅最適線形修復方式も回転的でなければならないことが証明された。
• このようなコードでは、いかなる帯域幅最適修復方式の I/O コストも正確に kℓ に等しくなる。これはファイルサイズに一致し、ナードリペア方式と同一である。
• 基本体が F₂ でパリティが2つの場合、この高い I/O コストは避けられない。これは帯域幅最適性を達成するための必須のトレードオフである。
• この結果は、修復部分空間の構造的制約に起因する。非回転的であると仮定すると、修復部分空間が全次元 ℓ を持つことになり、帯域幅最適性に反する。
• 非ゼロの要素 γ が存在し、A + γB が F₂ 上で基底を形成することを示すことで、非回転的方式が存在すると仮定した場合に矛盾を導く。
• この結論は一般の MDS コードに拡張されない。非バイナリコード（例：[4,2]₄）では、非回転的で帯域幅最適な方式が存在する。