[論文レビュー] Cooperative Regenerating Codes

Kenneth W. Shum, Yuchong Hu|arXiv (Cornell University)|Jul 29, 2012

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

ひとこと要約

本稿では、複数の障害ノードを同時に協調的に修復することを可能にすることで、分散ストレージシステムにおける修復帯域幅を最小化する協調再生コードを導入する。各ノードのストレージ量と修復帯域幅の間の閉形式のトレードオフを導出し、サブモジュラー・フロー理論を用いて最適性を証明し、有限体サイズが有界な明示的構成を提供することで、協調修復シナリオにおける理論的最小修復トラフィックを達成する。

ABSTRACT

One of the design objectives in distributed storage system is the minimization of the data traffic during the repair of failed storage nodes. By repairing multiple failures simultaneously and cooperatively, further reduction of repair traffic is made possible. A closed-form expression of the optimal tradeoff between the repair traffic and the amount of storage in each node for cooperative repair is given. We show that the points on the tradeoff curve can be achieved by linear cooperative regenerating codes, with an explicit bound on the required finite field size. The proof relies on a max-flow-min-cut-type theorem for submodular flow from combinatorial optimization. Two families of explicit constructions are given.

研究の動機と目的

• 複数のノード障害が一般的な大規模分散ストレージシステムにおける高い修復帯域幅の問題に対処すること。
• 新規ノードが修復中に互いにデータを交換できる協調修復モデルを構築し、全体の修復トラフィックを削減すること。
• 協調修復におけるノードあたりのストレージ量と修復帯域幅の根本的トレードオフを導出し、単一障害修復に関する先行研究を一般化すること。
• 有限体サイズが有界な線形コードを用いて最適トレードオフ点が達成可能であることを証明すること。
• 理論的トレードオフ限界に達する協調再生コードの明示的構成を提供すること。

提案手法

• 著者らは、任意のk個の生存ノードに接続するデータコレクタを表す、無限大のシンクを有する情報フローグラフを用いて協調修復プロセスをモデル化する。
• サブモジュラー・フローのための最大フロー最小カット型定理を適用し、最適な修復帯域幅トレードオフを導出する。
• 主な技術的貢献として、情報フローグラフの無限大性を扱うためにサブモジュラー関数理論を用いることである。これにより、有限体への構成が可能になる。
• 補助グラフの構築とサブモジュラー関数の定義により、フローの整合性を検証し、修復帯域幅を束縛する。
• 有限体サイズに上限がある2つの明示的線形協調再生コードの族を構築する。
• 証明は、修正された情報フローグラフ上でフランクの定理を反復的に適用することで、有効なフローを構築することに依存する。

実験結果

リサーチクエスチョン

• RQ1 複数の障害ノードの協調修復における、ノードあたりのストレージ量と修復帯域幅の根本的トレードオフは何か？
• RQ2 最適トレードオフは線形ネットワークコーディングで達成可能か？ その場合、必要な有限体サイズはどの程度か？
• RQ3 新規ノードがデータを交換する協調修復は、独立した単一ノード修復と比較して、どのように修復帯域幅を削減するか？
• RQ4 協調修復シナリオにおける情報フローグラフの無限大性を扱う数学的枠組みは何か？
• RQ5 理論的最小修復帯域幅に達する協調再生コードの明示的構成は可能か？

主な発見

• 協調修復におけるノードあたりのストレージ量と修復帯域幅の最適トレードオフが閉形式で導出され、単一障害修復に関する先行結果を一般化している。
• トレードオフ曲線は、システムパラメータの多項式で有界な有限体サイズを持つ線形協調再生コードで達成可能である。
• 修復中に新規ノード同士がデータを交換することにより、独立した修復では達成できない以上に修復帯域幅が最小化される。
• 証明により、最適修復帯域幅がサブモジュラー・フロー条件によって束縛されることを示し、最大フロー最小カット型定理により検証された。
• 情報フローグラフの構造に基づく1つの構成と、有限体サイズが有界な再帰的設計を用いたもう1つの構成が提供された。
• 結果として、複数の障害が同時に発生する場合、協調修復は単一障害シナリオにおける機能的修復よりも低い修復帯域幅を達成できることを示している。