[論文レビュー] Constructing MSR codes with subpacketization $2^{n/3}$ for $k+1$ helper nodes

Ningning Wang, Guodong Li+2 more|arXiv (Cornell University)|Aug 8, 2022

Advanced Data Storage Technologies被引用数 4

ひとこと要約

本稿では、$ d = k+1 $ のヘルパー節点と任意のコード長 $ n \geq k+2 $ を持つ分散ストレージシステムにおける最小ストレージレグレネーティング（MSR）コードの新しい明示的構成を提示する。この構成は、サブパッケタイゼーション $ 2^{n/3} $ を達成し、すべての節点（システム節点およびパリティ節点を含む）の最適なリペアを保証する。また、$ n $ に線形に依存するサイズの有限体上で動作し、従来の研究でシステム節点の最適リペアのみを保証していたのを拡張したものである。

ABSTRACT

Wang et al. (IEEE Transactions on Information Theory, vol. 62, no. 8, 2016) proposed an explicit construction of an $(n=k+2,k)$ Minimum Storage Regenerating (MSR) code with $2$ parity nodes and subpacketization $2^{k/3}$. The number of helper nodes for this code is $d=k+1=n-1$, and this code has the smallest subpacketization among all the existing explicit constructions of MSR codes with the same $n,k$ and $d$. In this paper, we present a new construction of MSR codes for a wider range of parameters. More precisely, we still fix $d=k+1$, but we allow the code length $n$ to be any integer satisfying $n\ge k+2$. The field size of our code is linear in $n$, and the subpacketization of our code is $2^{n/3}$. This value is slightly larger than the subpacketization of the construction by Wang et al. because their code construction only guarantees optimal repair for all the systematic nodes while our code construction guarantees optimal repair for all nodes.

研究の動機と目的

• 従来の MSR コード構成がシステム節点の最適リペアのみを保証していたのを、パリティ節点を含むすべての節点にまで拡張する。
• パrameter をより広くカバーする明示的 MSR コードを構築する。具体的には、$ d = k+1 $ を固定したまま $ n \geq k+2 $ を許容する。
• サブパッケタイゼーションを最小限に抑えつつ、低サイズの体を維持することで、大規模な分散ストレージにおける実用性を向上させる。
• コード構成における主要行列の MDS 性および可逆性を厳密に証明し、正しさとリペア最適性を保証する。

提案手法

• パリティチェック方程式の再帰的分解を用いる。$ \ell = 2^{n/3} $ のブロック行を、インデックスの2進表現に基づいて小さなサブブロックに分割する。
• 各節点 $ i $ に対して、インデックスの $ i $-番目のビットに従って選択された $ \ell/2 $ ブロック行のサブセットを用いてリペア処理が行われる。これにより、効率的かつ最適なリペアが可能になる。
• パリティ節点のリペアはペアリング機構を用いる：節点 $ 3i+2 $ に対して、ブロック行をペア $ (a, a+2^i) $ にグループ化し、その方程式を合算して $ \ell/2 $ 個の有効方程式を生成する。
• ブロック対角行列 $ \overline{A}_0, \overline{A}_1, \widetilde{A}_2, \widehat{A}_2 $ と再帰的行列 $ \overline{A}_{3i}, \overline{A}_{3i+1}, \overline{A}_{3i+2} $ を導入し、それらの要素を $ L_j $ から得ることで線形独立性を確保する。
• 主要行列 $ Q $ の可逆性は、多変数多項式とみなして証明され、列変形により非消滅因子を抽出し、行列式が符号を除いて非ゼロであることを示す。
• Wang らの先行研究 [5] を $ n = k+2 $ から $ n \geq k+2 $ に一般化し、体サイズを低く保ちつつ、すべての節点へのリペア最適性を拡張した。

実験結果

リサーチクエスチョン

• RQ1 $ n \geq k+2 $、$ d = k+1 $ の条件下で、サブパッケタイゼーション $ 2^{n/3} $ を持つ MSR コードを構築し、すべての節点の最適リペアを保証できるか？
• RQ2 各節点が $ \ell/2 $ 個の有効方程式のみを用いて、システム節点およびパリティ節点の両方で効率的にリペアが行えるようにするには、どのように設計すればよいか？
• RQ3 このような一般化された構成において、MDS 性およびリペア行列の可逆性を保証するのに必要な最小の体サイズは何か？
• RQ4 パリティチェック方程式の再帰的構造は、どのようにして低サブパッケタイゼーションとリペア最適性の両方を実現するのか？

主な発見

• 提案された MSR コードは、任意の $ n \geq k+2 $ に対してサブパッケタイゼーション $ 2^{n/3} $ を達成する。これは Wang ら [5] の $ 2^{k/3} $ よりわずかに大きいが、すべての節点の最適リペアを実現できる。
• コードは $ n $ に線形に依存するサイズの有限体上で構築されており、指数関数的サイズを必要とする構成よりも実用的である。
• 各節点のリペアには、インデックスに基づく選択またはペアリングによって得られる $ \ell/2 $ 個の有効パリティチェック方程式のみが使用され、帯域幅最適性が保証される。
• 主要行列 $ Q $ の行列式が非ゼロであることを、多項式因数分解と列変形を用いて厳密に証明し、MDS 性を示した。
• 従来の研究を一般化し、システム節点に限らずすべての節点（パリティ節点を含む）にリペア最適性を拡張した。これは、より広いパrameter 範囲に適用可能である。
• $ n $ が 3 で割り切れない場合、サブパッケタイゼーションは $ 2^{\lceil n/3 \rceil} $ に変化するが、可除ケースからのパunctioning を用いることで構成は依然有効である。