[論文レビュー] Searching for Minimum Storage Regenerating Codes

Daniel Cullina, Alexandros G. Dimakis+1 more|arXiv (Cornell University)|Oct 12, 2009

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

ひとこと要約

本稿では、n = 5、k = 3の最小ストレージレジレント（MSR）コードの体系的探索を提案する。対称性制約による探索空間の縮小、回復係数を用いた代替係数表現、同値クラスへのグループ化によって実現される。著者らは、さまざまな有限体上での明示的MSRコードを構築し、一般位置に配置されたベクトルからこのようなコードが構成可能であることを示した。

ABSTRACT

Regenerating codes allow distributed storage systems to recover from the loss of a storage node while transmitting the minimum possible amount of data across the network. We search for examples of Minimum Storage Regenerating Codes. To exhaustively search the space of potential codes, we reduce the potential search space in several ways. We impose an additional symmetry condition on codes that we consider. We specify codes in a simple alternative way, using additional recovered coefficients rather than transmission coefficients. We place codes into equivalence classes to avoid redundant checking. We find MSR codes for the parameters n = 5 and k = 3 in various fields. We demonstrate that it is possible for such codes to be composed of vectors in general position.

研究の動機と目的

• n = 5ノードおよびk = 3データノードを有する分散ストレージシステムにおける明示的MSRコードの構築を目的とする。
• コード構造に対称性条件を課すことにより、MSRコードの探索における計算複雑性を低減することを目的とする。
• 送信係数の代わりに回復係数を用いる表現にすることで、探索プロセスを簡素化することを目的とする。
• ノードの置換および体自己同型の下での同値クラスへのグループ化により、重複するコードの検証を回避することを目的とする。
• 符号化ベクトルが一般位置にあるMSRコードの存在を示し、構造的堅牢性を支持することを目的とする。

提案手法

• コード設計に対称性条件を課すことにより、探索対象となる候補構成の数を削減する。
• 送信係数の代わりに回復係数に注目することでコード表現を再定式化し、探索空間を単純化する。
• ノードの置換および体自己同型の下でコードを同値クラスにグループ化し、重複するコード検証を排除する。
• MSR条件から導かれる代数的制約を用いて、候補コードの検証を効率的に行う。
• 有限体全体を網羅的に探索し、n = 5、k = 3におけるMSRコードの存在を確認するとともに、明示的構成を行う。
• MSRトレードオフを満たすことで、構築されたコードが最小ストレージおよび最小修復帯域幅を達成していることを検証する。

実験結果

リサーチクエスチョン

• RQ1 n = 5およびk = 3のパラメータに対して、縮小された探索空間を用いて明示的MSRコードを構築可能か？
• RQ2 コード構造に対称性を課すことで、MSRコードの探索の妥当性および効率性はどのように変化するか？
• RQ3 送信係数の代わりに回復係数を用いることで、MSRコードの探索および検証プロセスは簡素化可能か？
• RQ4 置換および体自己同型の下での同値クラスは、重複するコード検証をどの程度まで削減できるか？
• RQ5 符号化ベクトルが一般位置にあるMSRコードは存在するか？これは構造的一般性および堅牢性を示唆するか？

主な発見

• n = 5およびk = 3の明示的MSRコードが、多数の有限体上で成功裏に構築され、その存在が確認された。
• 送信係数の代わりに回復係数を用いることで、表現が単純化され、探索の複雑性が低減した。
• 対称性条件を課すことにより、探索中に評価すべき候補コードの数が顕著に削減された。
• 同値クラスへのグループ化は、重複する検証を効果的に排除し、探索の効率を向上させた。
• 構築されたMSRコードは一般位置に配置されたベクトルから構成されており、このようなコードが構造的に堅牢で広く適用可能である可能性を示唆している。