[論文レビュー] On Locality in Distributed Storage Systems

Ankit Singh Rawat, Sriram Vishwanath|arXiv (Cornell University)|Apr 27, 2012

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

ひとこと要約

本稿では、低次の多変数多項式に基づくパunctured Reed-Muller符号を用いて、分散ストレージシステムのための局所的復旧可能符号の新規構成を提案する。これらの符号に対してきめ細かくパuncturingを行うことで、高いレートと良好な最小距離を達成しつつ、2-ローカルおよび3-ローカル復旧を実現し、復旧時にたった2つか3つの生存ノードに接続するだけで効率的なノード回復が可能になる。強力な誤り耐性を維持しつつ、最小限のノード接触で復旧が可能である。

ABSTRACT

This paper studies the design of codes for distributed storage systems (DSS) that enable local repair in the event of node failure. This paper presents locally repairable codes based on low degree multivariate polynomials. Its code construction mechanism extends work on Noisy Interpolating Set by Dvir et al. \cite{dvir2011}. The paper presents two classes of codes that allow node repair to be performed by contacting 2 and 3 surviving nodes respectively. It further shows that both classes are good in terms of their rate and minimum distance, and allow their rate to be bartered for greater flexibility in the repair process.

研究の動機と目的

• 復旧時に接触するノード数を最小限に抑えることで、効率的なノード復旧を可能にする分散ストレージ符号の設計。
• 低次の多項式に基づく従来の局所的復旧可能符号のレート非効率性を、構造的なパuncturing手法を用いて克服すること。
• 一度の符号構成で局所性、レート、最小距離を同時に保持すること。
• Dvir らの研究で提示されたパuncturingフレームワークを拡張し、得られる符号に局所性の性質を保持すること。
• パunctured Reed-Muller符号が、レートおよび距離の観点で「良い」符号であると同時に、局所的復旧をサポートできることを示すこと。

提案手法

• 有限体内の特定の点の部分集合上で低次の多変数多項式を評価することにより、パunctured Reed-Muller符号を構築する。
• 符号の代数的構造と局所性を維持しつつ、レートを向上させるために、構造的なパuncturingスキームをReed-Muller符号に適用する。
• コードブックは、特定の接続性制約を満たすグラフベースのインデックスシステム 𝒫 を用いて構築された集合 𝒮_𝒫 上での1次多項式の評価の集合として定義される。
• 局所的復旧は、評価空間内の特定の直線が符号に複数の点を含むという事実を利用し、同じ直線上の2つの生存ノードからのみの復旧を可能にする。
• 復旧プロセスでは多項式補間が用いられる：1次未満の1変数多項式が、直線上の2つの評価値から再構築され、故障したシンボルは t=0 での評価により回復される。
• この構成により、双対符号に3点が一直線上に支持される符号語が含まれるため、線形従属関係を用いた復旧が可能になる。

実験結果

リサーチクエスチョン

• RQ1 パunctured Reed-Muller符号は、同時に高いレート、良好な最小距離、および局所的復旧可能性を達成できるか？
• RQ2 パuncturingプロセスをどのように構造化すれば、局所性を保持しつつ代数的構造の損失を避けることができるか？
• RQ3 2-ローカルまたは3-ローカル復旧を備えた局所的復旧可能符号の最大達成可能レートは何か？
• RQ4 高い最小距離による強力な耐障害性を維持しつつ、復旧帯域幅を最小限に抑えることは可能か？
• RQ5 定数レートおよび定数相対距離を持つ符号を構築することは可能か？ その符号が同時に局所的復旧をサポートできるか？

主な発見

• 提案された符号構成により、評価空間内の直線上に存在する2つの他のノードからのみの接触で、故障したノードのシンボルを回復できる2-ローカル復旧が実現される。
• 符号は定数レートおよび定数相対距離を維持しており、符号理論的性能の観点で「良い」符号である。
• この構成により、ストレージ効率と復旧ローカリティの間でレートをトレードオフ可能であり、設計上の妥協を実現できる。
• パuncturing後でも、元のReed-Muller符号の局所性特性が保持される。これは、各ノードがコードブック内に少なくとも2つの他のノードを含む直線上に存在することを保証することで実現される。
• パunctured符号の双対符号には、3点が一直線上に支持される符号語が含まれており、これにより線形従属関係を用いた局所的復旧が可能になる。
• Dvir らのパunctured Reed-Muller符号に関する先行研究を、局所性を含むように一般化した。これにより、彼らのフレームワークは分散ストレージ応用に拡張された。