[論文レビュー] Constructions of High-Rate MSR Codes over Small Fields

Netanel Raviv, Natalia Silberstein+1 more|arXiv (Cornell University)|May 5, 2015

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

ひとこと要約

本稿では、完全グラフおよび超グラフの完全マッチングと、行列の有理標準形を用いて、小さな有限体上での高レート最小保存再構成（MSR）コードの明示的構成を提示する。主な貢献は、2および3パリティノードに対して、アクセス最適性とサブパケット化バインドを達成し、先行研究と比較して体サイズを顕著に削減したことである—2パリティでは半分に、3パリティでは指数関数的から対数の線形関数にまで削減された。

ABSTRACT

A novel technique for construction of minimum storage regenerating (MSR) codes is presented. Based on this technique, three explicit constructions of MSR codes are given. The first two constructions provide access-optimal MSR codes, with two and three parities, respectively, which attain the sub-packetization bound for access-optimal codes. The third construction provides longer MSR codes with three parities, which are not access-optimal, and do not necessarily attain the sub-packetization bound. In addition to a minimum storage in a node, all three constructions allow the entire data to be recovered from a minimal number of storage nodes. That is, given storage $\ell$ in each node, the entire stored data can be recovered from any $2\log_2 \ell$ for 2 parity nodes, and either $3\log_3\ell$ or $4\log_3\ell$ for 3 parity nodes. Second, in the first two constructions, a helper node accesses the minimum number of its symbols for repair of a failed node (access-optimality). The generator matrix of these codes is based on perfect matchings of complete graphs and hypergraphs, and on a rational canonical form of matrices. The goal of this paper is to provide a construction of such optimal codes over the smallest possible finite fields. For two parities, the field size is reduced by a factor of two for access-optimal codes compared to previous constructions. For three parities, in the first construction the field size is $6\log_3 \ell+1$ (or $3\log_3 \ell+1$ for fields with characteristic 2), and in the second construction the field size is larger, yet linear in $\log_3\ell$. Both constructions with 3 parities provide a significant improvement over existing previous works, since only non-explicit constructions with exponential field size (in $\log_3\ell$) were known so far.

研究の動機と目的

• 高レート分散ストレージシステムにおける、最小の体サイズを備えた明示的でアクセス最適なMSRコードの構築を目的とする。
• 2および3パリティノードに対して、理論的バOUNDSに一致する最適なサブパケット化要因 ℓ = r^(k/r) を達成すること。
• 特に3パリティにおいて、先行研究が非明示的かつ指数関数的体サイズを要していたのに対し、アクセス最適なMSRコードのための体サイズを削減すること。
• データ完全回復を最小限のノード数（2 log₂ℓ で2パリティ、3 log₃ℓ または 4 log₃ℓ で3パリティ）から行えるようにすることにより、システム効率を向上させること。

提案手法

• 完全グラフおよび超グラフの完全マッチングに基づく生成行列の構築により、構造的対称性と低サブパケット化を確保する。
• 行列の有理標準形を用いて、制御された固有構造と可逆性を持つコード部品を定義する。
• 特定の多項式条件（例：Q(h) ≠ 0）を満たす体の元 h ∈ 𝔽_q* を用いることで、行列の可逆性と部分空間条件を保証する。
• 同時対角化と固有値の不交差性の議論を用いて、コード構築における主要ブロック行列の可逆性を証明する。
• λ_Xi の繰り返し選択において、λ_Xj^6 ∉ {λ_Xi^6, λ_Xi^6 h^{±6}, ..., λ_Xi^6 h^{±18}} となるようにする。これにより、行列間の共有固有値を回避する。
• 2つの行列の差と逆行列から導かれる3×3ブロック行列の行列式に基づく可逆性による、部分空間条件の検証

実験結果

リサーチクエスチョン

• RQ1 2パリティシステムにおいて、理論的下限に一致するサブパケット化を達成する明示的アクセス最適MSRコードを、小さな有限体上に構築可能か？
• RQ2 3パリティMSRコードに関して、体サイズを対数 ℓ の線形関数にまで削減しつつ、アクセス最適性とサブパケット化最適性を維持できる明示的構成が可能か？
• RQ3 2および3パリティの場合に、それぞれ2 log₂ℓ または 3 log₃ℓ ノードからのみで完全なデータ回復が可能となる高レートMSRコードを構築可能か？
• RQ4 アクセス最適性と最小サブパケット化を維持しつつ、コード構築における重要なブロック行列の可逆性を保証するための体サイズはどの程度か？
• RQ5 完全マッチングと有理標準形の使用により、体サイズと修復アクセスの両面で証明可能な最適性を有するMSRコードの体系的構築が可能か？

主な発見

• 2パリティMSRコードでは、体サイズが 1 + 2 log₂ℓ にまで削減され、これにより先行研究の半分にまで短縮された。
• 3パリティアクセス最適MSRコードでは、体サイズが 6 log₃ℓ + 1（特性2では 3 log₃ℓ + 1）に達し、対数 ℓ に対して線形依存性を達成した。指数関数的依存性から線形にまで改善された。
• 構築されたコードは理論的サブパケット化バインド ℓ = r^(k/r) を達成しており、r=2 の場合は ℓ = 2^(k/2)、r=3 の場合は ℓ = 3^(k/3) となる。
• 2パリティでは 2 log₂ℓ ノード、3パリティでは 3 log₃ℓ または 4 log₃ℓ ノードからの完全なデータ回復が可能であり、既知の下限と一致する。
• 補助ノードのアクセスを1補助ノードあたり β 要素にまで最小化することで、アクセス最適性が確保され、理論的最小修復帯域幅が達成された。
• 本手法は明示的であり、すべての必要なブロック行列が可逆であることを保証する条件 q > max{42m, deg Q} + 1 の下で、正当かつ証明可能である。