[論文レビュー] Replication based storage systems with local repair

Oktay Ölmez, Aditya Ramamoorthy|arXiv (Cornell University)|May 24, 2013

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

ひとこと要約

本稿は、外部MDSコードと内部分数反復（FR）コードを用いた、局所的かつ正確で非符号化された修復を実現する、複製に基づく分散ストレージシステムの新規クラスを提案する。最小距離のタイトな下限を確立し、高サイクル長グラフ、アフィン可解設計、射影平面を用いて最適な符号を構築し、$ρ^{\text{res}}_{\text{loc}} > 1$ の局所的修復と特定のパラメータ下での最適なファイルサイズ回復を達成する。

ABSTRACT

We consider the design of regenerating codes for distributed storage systems that enjoy the property of local, exact and uncoded repair, i.e., (a) upon failure, a node can be regenerated by simply downloading packets from the surviving nodes and (b) the number of surviving nodes contacted is strictly smaller than the number of nodes that need to be contacted for reconstructing the stored file. Our codes consist of an outer MDS code and an inner fractional repetition code that specifies the placement of the encoded symbols on the storage nodes. For our class of codes, we identify the tradeoff between the local repair property and the minimum distance. We present codes based on graphs of high girth, affine resolvable designs and projective planes that meet the minimum distance bound for specific choices of file sizes.

研究の動機と目的

• 障害発生時のノード修復を局所的かつ正確に、非符号化された形で実現する分散ストレージシステムの設計。これにより、修復帯域幅とノード接触回数を低減する。
• 複製に基づくシステムにおける、局所的修復能力と最小距離の理論的トレードオフを確立すること。
• アフィン可解設計や射影平面などの組合せ設計を用いて、導出された最小距離の下限を満たす明示的な符号を構築すること。
• 特定のファイルサイズとシステムパラメータ下で、符号の最適性を示し、複数のノード障害に対しても耐障害性を保証すること。

提案手法

• 外側にMDS符号を用いた2段階符号構成：ファイル回復のための外側MDS符号と、ノード配置および局所的修復のための内側FR符号。
• 高サイクル長グラフ、アフィン可解設計、射影平面といった組合せ構造を用いて、冗長性と修復局所性を制御可能なFR符号を生成。
• 障害ノードが、$k$未満の生存ノードから非符号化パケットをダウンロードすることで再生される修復メカニズムを実装。これにより、修復次数$r < k$を確保。
• Corrádiの補題を用いて、局所的FR符号における$a_i$個のノードがカバーするシンボル数の下限を導出し、最小距離の解析を可能に。
• 最小距離の下限を導出：$d_{\text{min}} \leq (l - t)n$。特定の条件下でこれがタイトであることが示された。
• 任意の$tn+1$個のノードが少なくとも$\mathcal{M} = t\theta + \alpha$個のシンボルをカバーすることを証明することで、符号の最適性を検証。これにより、ファイル回復と局所的修復能力が保証される。

実験結果

リサーチクエスチョン

• RQ1 複製に基づくストレージシステムは、高い最小距離を維持しつつ、局所的かつ正確で非符号化された修復を実現できるか？
• RQ2 このようなシステムにおける、局所的修復能力（$\rho^{\text{res}}_{\text{loc}}$で測定）と最小距離の根本的トレードオフは何か？
• RQ3 アフィン可解設計や射影平面といった組合せ設計を用いて、理論的最小距離下限を満たすFR符号をどのように構築できるか？
• RQ4 どのような条件下で、提案された符号構成がファイルサイズと修復局所性の観点で最適となるか？
• RQ5 符号計算を回避することで、帯域幅効率とメモリ効率の両方を向上させた修復プロセスを実現できるか？

主な発見

• Fano平面の例で示されたように、$n=28$, $k=15$, ファイルサイズ$\mathcal{M}=17$のシステムにおいて、最小距離$d_{\text{min}} = 14$を達成するという、提案された符号構成が最適であることが確認された。
• 位数$q$の射影平面を用いる場合、$\rho^{\text{res}}_{\text{loc}} = q$、$\beta=1$となり、1回の接触で1パケットのみで効率的な局所的修復が可能となる。
• パrameterが$q^m$であるアフィン可解設計を用いることで、$\rho^{\text{res}}_{\text{loc}} = q^{m-1} - 1$を達成し、最大$q^{m-1}-1$回の障害後でも局所的回復が可能となる。
• 基本FR符号の$l$個の互いに素なコピーを用いた構成により、任意の$tn+1$個のノードが少なくとも$t\theta + \alpha$個のシンボルをカバーすることが保証され、導出された下限に基づく最適性が証明された。
• 最小距離下限$d_{\text{min}} \leq (l - t)n$はタイトであり、システムパラメータが$\rho \geq \frac{\alpha + (\Delta - 1)\beta}{\alpha}$を満たす場合に達成され、耐障害性が保証される。
• 非符号化修復が$r < k$で実現可能であり、符号化修復と比較して計算オーバーヘッドとメモリアクセスを低減しながら、MDS特性を維持できる。