[論文レビュー] A High-Rate MSR Code With Polynomial Sub-Packetization Level

Birenjith Sasidharan, Gaurav Kumar Agarwal+1 more|NOT FOUND REPOSITORY (Indian Institute of Science Bangalore)|Jan 27, 2015

Advanced Data Storage Technologies参考文献 12被引用数 9

ひとこと要約

本稿は、レート R = (t−1)/t、t ≥ 2 の分散ストレージシステムにおける高レート正確最小ストレージ再生（MSR）コードを提示する。この構成では、部分パッケージゼーションレベル α = O(k^t) が多項式的であり、ヘルパー節点が計算を伴わずにデータを転送する「ヘルプ・バイ・トランスファー」を用いて最適な修復帯域幅を達成する。これは、高レート MSR コードにおける指数的サブパッケージゼーションという長年の課題を解決する。

ABSTRACT

We present a high-rate $(n,k,d=n-1)$-MSR code with a sub-packetization level that is polynomial in the dimension $k$ of the code. While polynomial sub-packetization level was achieved earlier for vector MDS codes that repair systematic nodes optimally, no such MSR code construction is known. In the low-rate regime (i. e., rates less than one-half), MSR code constructions with a linear sub-packetization level are available. But in the high-rate regime (i. e., rates greater than one-half), the known MSR code constructions required a sub-packetization level that is exponential in $k$. In the present paper, we construct an MSR code for $d=n-1$ with a fixed rate $R=\frac{t-1}{t}, \ t \geq 2,$ achieveing a sub-packetization level $α= O(k^t)$. The code allows help-by-transfer repair, i. e., no computations are needed at the helper nodes during repair of a failed node.

研究の動機と目的

• 高レート MSR コードの構築において、サブパッケージゼーションが k に対して多項式的となるか、従来の構成が高レート領域で指数的サブパッケージゼーションを必要としているという未解決問題に対処すること。
• システムノードの最適修復を達成する既存のベクトル MDS コード構成を拡張し、システムノードだけでなくすべてのノード（パリティノードを含む）に対しても正確な修復を可能にすること。
• d = n−1 かつ固定レート R = (t−1)/t、t ≥ 2 の MSR コードを、代数的および組合せ的技法を用いて体系的に構成すること。
• 最適な修復帯域幅がヘルプ・バイ・トランスファーを用いて達成可能であり、ヘルパー節点での計算負荷を回避できることを示すこと。

提案手法

• 有限体 F_q 上に、パラメータ n = tq、k = (t−1)q、d = n−1、サブパッケージゼーションレベル α = q^t を用いたコードを構築する。
• 2種類のパリティチェック制約を用いる：各行のすべてのノードにわたる和をとる「行パリティ式」と、行間でずらされた要素を含む「Δパリティ式」。
• 行パリティ制約により MDS 性質が保証され、他のノードから q^{t−1} 個のシンボルをダウンロードすることで、行内での故障シンボルの修復が可能になる。
• Δパリティ制約により、他の行からのずらされた要素を活用して故障ノードのシンボルを修復でき、β = α/(d−k+1) = q^{t−1} 個のシンボルを各ヘルパーからダウンロードすることで帯域幅最適修復が実現される。
• 組合せ的ゼロ定理（Combinatorial Nullstellensatz）により、パリティ行列の係数にゼロでない割り当てが保証され、コードが非退化であり MDS 性質を満たすことが保証される。
• 修復プロセスは帯域幅最適であり、ヘルパー節点での計算を一切不要としているため「ヘルプ・バイ・トランスファー」をサポートしている—単にシンボルをダウンロードするのみである。

実験結果

リサーチクエスチョン

• RQ1 R > 1/2 の場合、サブパッケージゼーションレベルが k に対して多項式的となる高レート MSR コードを構築することは可能か？
• RQ2 サブパッケージゼーションが多項式的である高レート MSR コードにおいて、すべてのノード（システムおよびパリティ）に対して正確な修復を達成することは可能か？
• RQ3 ヘルパー節点での計算を回避（すなわち「ヘルプ・バイ・トランスファー」を可能に）しながら、帯域幅最適修復を達成することは可能か？
• RQ4 このようなコードを構築するための代数的および組合せ的構造は何か？ かつ、MDS 性質と最適修復を保証できるか？

主な発見

• 提案された MSR コードは、R = (t−1)/t、t ≥ 2 に対してサブパッケージゼーションレベル α = O(k^t) を達成し、k に対して多項式的である。これは、従来の指数的構成に比べ顕著な改善である。
• 組合せ的ゼロ定理を用いてコードの存在が証明され、MDS 性質を保持する非ゼロ係数割り当てが保証され、正確な修復が可能である。
• 故障ノードの修復には、各ヘルパーから β = q^{t−1} = α/(d−k+1) 個のシンボルをダウンロードする必要があり、理論的最小帯域幅に達しており、最適性が確認された。
• 修復プロセスは「ヘルプ・バイ・トランスファー」をサポートしており、ヘルパー節点での計算は一切不要—単にシンボルのダウンロードのみである。実運用に向けた実用性がある。
• この構成は、以前の 3 エラー耐性コードを任意の t ≥ 2 に一般化しており、多項式的サブパッケージゼーションと、すべてのノードタイプ（システムおよびパリティ）に対する最適修復を維持している。
• コードはベクターアルファベット F_{q^α} 上で MDS であり、最大距離分離性を保証し、任意の (n−k) 個のノード障害に耐性がある。