[論文レビュー] Storage codes -- coding rate and repair locality

Henk D. L. Hollmann|arXiv (Cornell University)|Jan 18, 2013

Advanced Data Storage Technologies参考文献 19被引用数 4

ひとこと要約

本稿は、機能的リペアにおける分散ストレージコードのストレージオーバーヘッドに対する情報理論的下界を新たに確立し、リペア局所性 $ r $ が固定されているとき、$ \alpha = \beta $ の場合、最大コーディングレート $ R $ は $ r/(r+1) $ に上限づけられ、$ \alpha = r\beta $ の場合、$ 1/2 $ に上限づけられる。これらの下界はタイトであり、MDSおよび正確リペアコードの既知の限界を一般化する。

ABSTRACT

The {\em repair locality} of a distributed storage code is the maximum number of nodes that ever needs to be contacted during the repair of a failed node. Having small repair locality is desirable, since it is proportional to the number of disk accesses during repair. However, recent publications show that small repair locality comes with a penalty in terms of code distance or storage overhead if exact repair is required. Here, we first review some of the main results on storage codes under various repair regimes and discuss the recent work on possible (information-theoretical) trade-offs between repair locality and other code parameters like storage overhead and code distance, under the exact repair regime. Then we present some new information theoretical lower bounds on the storage overhead as a function of the repair locality, valid for all common coding and repair models. In particular, we show that if each of the $n$ nodes in a distributed storage system has storage capacity $\ga$ and if, at any time, a failed node can be {\em functionally} repaired by contacting {\em some} set of $r$ nodes (which may depend on the actual state of the system) and downloading an amount $\gb$ of data from each, then in the extreme cases where $\ga=\gb$ or $\ga = r\gb$, the maximal coding rate is at most $r/(r+1)$ or 1/2, respectively (that is, the excess storage overhead is at least $1/r$ or 1, respectively).

研究の動機と目的

• 機能的リペア下での分散ストレージシステムにおけるコーディングレートとリペア局所性の根本的トレードオフを調査すること。
• 一般的なコーディングおよびリペアモデルにわたって有効な、リペア局所性 $ r $ の関数としてのストレージオーバーヘッドの情報理論的下界を導出すること。
• 既知の構成と理論的限界のギャップを埋めるために、$ \alpha = \beta $ および $ \alpha = r\beta $ の極端な場合におけるタイトな下界を証明すること。
• [4]のカットセット境界フレームワークを拡張し、ノードリペア中にリペアセットの選択を適応的に行えるようにし、KILLERとBUILDERのゲーム理論的相互作用をモデル化すること。
• 変動するリペアセット選択を伴う機能的リペア下での最大達成可能コーディングレート $ R = m/(n\alpha) $ に対するタイトな上限を提供すること。

提案手法

• KILLER（ノードを破壊する者）とBUILDER（$ r $ 個の稼働ノードに接続して新しいノードを作成する者）の間のゲームとしてリペアプロセスを形式化し、情報フローネットワークをモデル化する。
• 進化する情報フローフライトグラフに最大フロー最小カットの議論を適用し、格納可能な情報量 $ m $ の最大値に対する上限を導出する。
• [4]のカットセット境界フレームワークを用いるが、リペアに使用する $ r $ 個のヘルパーの集合をリペア中に適応的に選べるよう拡張する。
• ゲーム理論的分析を用いて、$ \alpha = \beta $ および $ \alpha = r\beta $ の2つの極端な場合における最大コーディングレート $ R = m/(n\alpha) $ の上限を導出する。
• 特に、$ \alpha = \beta $ の場合に $ R \leq r/(r+1) $ であり、$ \alpha = r\beta $ の場合に $ R \leq 1/2 $ であることを証明し、既知の構成により等号が達成可能であることを示す。
• $ r = 2 $ の場合に一般化し、よりタイトな境界 $ R \leq (\alpha + \beta)/(3\alpha) $ を得る。$ n = 3q - e $ のとき、$ m \leq q\alpha + (q-e)\beta $ の明確な式が得られる。

実験結果

リサーチクエスチョン

• RQ1 ストレージノードあたりの容量 $ \alpha $ とヘルパーあたりのリペア帯域幅 $ \beta $ が制限されている分散ストレージシステムにおいて、機能的リペアとリペア局所性 $ r $ を想定したとき、最大達成可能コーディングレート $ R $ は何か？
• RQ2 極端なケース $ \alpha = \beta $ および $ \alpha = r\beta $ の下で、コーディングレート $ R $ はどのようにスケーリングされ、これらの境界はタイトか？
• RQ3 カットセット境界は、動的リペアセット選択（すなわち、$ r $ 個のヘルパーを動的に選択する）を許容するように一般化可能か？ その影響はレート境界にどのようなものか？
• RQ4 機能的リペアシステムにおいて、リペア局所性 $ r $、ストレージオーバーヘッド、およびコード距離の間には根本的なトレードオフがあるか？
• RQ5 機能的リペアに加え、変動するヘルパー集合を伴うすべての一般的なコーディングおよびリペアモデルに有効な情報理論的限界を導出可能か？

主な発見

• $ \alpha = \beta $ の場合、最大コーディングレートは $ R \leq r/(r+1) $ に上限づけられ、この境界はタイトであり、$ n = r + 1 $ の正確リペアMDSコードによって達成可能である。
• $ \alpha = r\beta $ の場合、最大コーディングレートは $ R \leq 1/2 $ に上限づけられ、この境界はタイトであり、正確リペア・トランスファー線形コードによって達成可能である。
• $ r = 2 $ の場合、コーディングレートは $ R \leq (\alpha + \beta)/(3\alpha) $ を満たし、$ n = 3q - e $ かつ $ e \in \{0,1,2\} $ のとき、最大格納情報量は $ m \leq q\alpha + (q - e)\beta $ である。
• これらの境界は情報理論的にタイトであり、リペアセットが固定されているか適応的に選ばれているかにかかわらず、すべての機能的リペアモデルに成立する。
• 結果は、リペア局所性とコーディングレートのトレードオフが、適応的ヘルパー選択でさえも、情報フローネットワークの構造によって根本的に制限されることを示し、先行研究を一般化する。
• KILLERとBUILDERのゲーム理論的モデルは、導出された境界が、最適な敵対的ノード障害と適応的リペア下でのあらゆる情報フローネットワークの最悪ケース容量を表していることを確認する。