[論文レビュー] On the Existence of Optimal Exact-Repair MDS Codes for Distributed Storage

Changho Suh, Kannan Ramchandran|arXiv (Cornell University)|Apr 26, 2010

Advanced Data Storage Technologies参考文献 11被引用数 47

ひとこと要約

本稿は、[7] に基づく符号拡張フレームワークを用い、任意に小さな部分符号を用いた干渉整合を活用することで、すべての許容可能な (n,k,d) パrameter に対して情報理論的に最適な修復帯域幅を達成するベクトル線形正確修復 MDS コードの存在を証明する。このフレームワークにより、スカラ符号が失敗する場合でも、正確修復が帯域幅最適性に損なわれることなく達成可能であることが示される。

ABSTRACT

The high repair cost of (n,k) Maximum Distance Separable (MDS) erasure codes has recently motivated a new class of codes, called Regenerating Codes, that optimally trade off storage cost for repair bandwidth. In this paper, we address bandwidth-optimal (n,k,d) Exact-Repair MDS codes, which allow for any failed node to be repaired exactly with access to arbitrary d survivor nodes, where k<=d<=n-1. We show the existence of Exact-Repair MDS codes that achieve minimum repair bandwidth (matching the cutset lower bound) for arbitrary admissible (n,k,d), i.e., k

研究の動機と目的

• 分散ストレージシステムにおける故障したノードの正確修復が、関数的修復と比較して修復帯域幅の最適性にペナルティを受けるかどうかを解明すること。
• スカラ線形符号が失敗する領域においても、ストレージと修復帯域幅の最適なトレードオフ（カットセット境界によるもの）を正確修復で達成できるかどうかを調査すること。
• 従来のスカラ符号に関する結果を、ベクトル線形符号へと拡張し、部分符号レベルの処理が最適な正確修復を可能にすることを示すこと。
• 符号拡張フレームワークにおける干渉整合が、正確修復を実現しつつ帯域幅最適性を損なわないことを示すこと。
• すべての許容可能な (n,k,d) 構成に対して、修復帯域幅のカットセット下界が正確修復によって達成可能であることを確立すること。

提案手法

• 部分符号（subsymbols）を用いたベクトル線形符号を用い、修復プロセスにおける干渉整合を可能にする。
• [7] からの干渉整合フレームワークを採用し、分散ストレージに適応させ、大きな有限体と部分符号の細かさを制御するパrameter m を用いる。
• 干渉を整列し、必要な信号を分離するために、射影行列 V と V̄ を用いる。
• 符号化の部分行列 G_l^(i) を定義し、シュワーツ＝ジッペルの補題を用いて、十分に大きな体上でフルランクを高確率で保証する。
• リマップ技術を用いて、1つのノード構成からの修復を、任意の d 個の生存ノードへの一般化する。
• 十分に大きな体サイズに対して、任意の k 個のノードが合成行列を可逆にし、確率 1 で元のファイルを再構成できることを示すことにより、MDS 性質を検証する。

実験結果

リサーチクエスチョン

• RQ1 k/n > 1/2 または d < 2k−1 の場合を含め、すべての (n,k,d) パrameter に対して、正確修復によって最適な修復帯域幅を達成できるか？
• RQ2 関数的修復と比較して正確修復を強制した場合、修復帯域幅に根本的なペナルティが生じるか？
• RQ3 無線ネットワークで用いられる干渉整合技術を、分散ストレージにおいて最適な正確修復を可能にするように適応できるか？
• RQ4 部分符号（subsymbols）を用いたベクトル線形符号の使用が、スカラ線形符号の制限を超えて最適な正確修復を達成するのを可能にするか？
• RQ5 体サイズと符号拡張の役割は、帯域幅最適性を損なわず正確修復を可能にする上で果たすか？

主な発見

• 任意に小さな部分符号を用いたベクトル線形符号は、すべての許容可能な (n,k,d) パrameter に対してカットセット下界の修復帯域幅を達成する。
• m → ∞ の極限において、修復帯域幅は d 単位に近づき、(α,γ) = (M/k, M/k · d/(d−k+1)) の最適トレードオフと一致する。
• スカラ線形符号が失敗する領域（例：k/n > 1/2 または d < 2k−1）においても、正確修復が最適性を損なわず可能である。
• 射影行列 V と V̄ を用いた干渉整合により、干渉が整列され、キャンセルされ、必要な信号の復号が可能になる。
• MDS 性質が保持される：十分に大きな有限体に対して、任意の k 個のノードが元のファイルを確率 1 で再構成可能である。
• リマップによるスケーラビリティと一般化が可能であり、任意の d 個の生存ノードからの修復が可能である。