[論文レビュー] Distributed Data Storage with Minimum Storage Regenerating Codes - Exact and Functional Repair are Asymptotically Equally Efficient

Viveck R. Cadambe, Syed A. Jafar+1 more|arXiv (Cornell University)|Apr 24, 2010

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

ひとこと要約

本稿は、最小ストレージレグレネーティング（MSR）コードを用いた分散ストレージシステムにおいて、ファイルサイズ M が無限大に近づく極限において、失敗したノードの正確修復が、コードパラメータ (n,k) にかかわらず、機能的修復と同等の漸近的最適な修復帯域幅を達成することを証明している。著者らは、無線ネットワークで得られた漸近的最適な干渉整合化方式を応用し、データ単位あたりの修復帯域幅が $rac{n-1}{k(n-k)}$ に収束することを示しており、大規模ファイルの極限において、正確修復と機能的修復の間に理論的ペナルティが存在しないことを裏付けている。

ABSTRACT

We consider a set up where a file of size M is stored in n distributed storage nodes, using an (n,k) minimum storage regenerating (MSR) code, i.e., a maximum distance separable (MDS) code that also allows efficient exact-repair of any failed node. The problem of interest in this paper is to minimize the repair bandwidth B for exact regeneration of a single failed node, i.e., the minimum data to be downloaded by a new node to replace the failed node by its exact replica. Previous work has shown that a bandwidth of B=[M(n-1)]/[k(n-k)] is necessary and sufficient for functional (not exact) regeneration. It has also been shown that if k < = max(n/2, 3), then there is no extra cost of exact regeneration over functional regeneration. The practically relevant setting of low-redundancy, i.e., k/n>1/2 remains open for k>3 and it has been shown that there is an extra bandwidth cost for exact repair over functional repair in this case. In this work, we adopt into the distributed storage context an asymptotically optimal interference alignment scheme previously proposed by Cadambe and Jafar for large wireless interference networks. With this scheme we solve the problem of repair bandwidth minimization for (n,k) exact-MSR codes for all (n,k) values including the previously open case of k > \max(n/2,3). Our main result is that, for any (n,k), and sufficiently large file sizes, there is no extra cost of exact regeneration over functional regeneration in terms of the repair bandwidth per bit of regenerated data. More precisely, we show that in the limit as M approaches infinity, the ratio B/M = (n-1)/(k(n-k))$.

研究の動機と目的

• 分散ストレージシステムにおける低冗長性環境下で、正確修復が機能的修復よりも高い修復帯域幅を要するかどうかという未解決問題を解消すること。
• k > \max(n/2, 3) の場合、先行研究が正確修復に追加コストを要すると示していた理解のギャップを埋めること。
• 漸近的最適な干渉整合化が分散ストレージに適応可能であり、正確再構成における最小修復帯域幅を達成できることを示すこと。
• 大規模ファイルの極限において、正確再構成の最小修復帯域幅が、機能的修復の下界と一致することを証明すること。

提案手法

• 無線干渉チャネルを対象として開発されたCadambe-Jafarの干渉整合化方式を、分散ストレージの文脈に適応する。
• 多数の信号伝送次元を用いた線形ビームフォーミング手法を採用し、干渉を整列させ、修復帯域幅を最小化する。
• 健全なノードからのデータダウンロードを表す一次方程式系を構築し、修復されたノードが正確に失敗したデータを再構成できることを保証する。
• 行列式解析を用いて、システム行列のフルランクを証明し、成功した正確修復を保証する。
• システム行列に対して行および列の置換を施し、ブロック対角構造を明らかにすることで、行列式解析を簡略化する。
• システム行列の行列式が、独立なチャネル係数の非ゼロ多項式であることを示し、ほぼ確実に非特異的回復が可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 分散ストレージシステムにおいて、正確修復は機能的修復に比べて根本的な帯域幅ペナルティを受けるか？
• RQ2 干渉整合化技術は、すべての (n,k) 組合せにおいて正確再構成の最適修復帯域幅を達成するために適応可能か？
• RQ3 ファイルサイズが増加するに従い、正確再構成の修復帯域幅は、機能的修復の下界に収束するか？
• RQ4 k > \max(n/2, 3) の場合、正確再構成の漸近的修復帯域幅は何か？

主な発見

• 任意の (n,k) および十分に大きなファイルサイズ M に対して、正確再構成の修復帯域幅は、機能的修復と漸近的に同等の最小値に達する。
• 修復帯域幅の単位データあたりの極限は $\lim_{M\to\infty}\frac{B}{M} = \frac{n-1}{k(n-k)}$ であり、機能的修復の下界と一致する。
• 漸近的最適性は、多数の信号伝送次元においてほぼ完全な干渉整合化が実現されることによって達成される。
• 証明により、正確修復のためのシステム行列は確率1でフルランクであることが示され、成功したデータ再構成が保証される。
• 冗長性レベルにかかわらず結果は成り立つ。特に、先行研究が正確修復にペナルティを要すると示していた低冗長性領域においても同様の結果が得られる。