[論文レビュー] Explicit constructions of optimal-access MDS codes with nearly optimal sub-packetization

Min Ye, Alexander Barg|arXiv (Cornell University)|May 27, 2016

Advanced Data Storage Technologies参考文献 29被引用数 14

ひとこと要約

本稿では、理論的下界 $ r^{(k-1)/r} $ に $ r^2 $ 因数以内で近いサブパケット化 $ l = r^{\lceil n/r\rceil} $ を有する、最適アクセス MDS コードの明示的構成を提示する。これらのコードは低複雑度の符号化・復号を実現しつつ、最適アクセス修復を達成でき、任意の有限体 $ |F| \geq r\lceil n/r\rceil $ で構築可能であり、従来の構成と比較してサブパケット化を顕著に低減しながらも、最適な修復効率を維持する。

ABSTRACT

An $(n,k,l)$ MDS array code of length $n,$ dimension $k=n-r$ and sub-packetization $l$ is formed of $l imes n$ matrices over a finite field $F,$ with every column of the matrix stored on a separate node in a distributed storage system and viewed as a coordinate of the codeword. Repair of a failed node can be performed by accessing a set of $d\le n-1$ helper nodes. The code is said to have the optimal access property if the amount of data accessed at each of the helper nodes meets a lower bound on this quantity. For optimal-access MDS codes with $d=n-1,$ the sub-packetization $l$ satisfies the bound $l\ge r^{(k-1)/r}.$ In our previous work, for any $n$ and $r,$ we presented an explicit construction of optimal-access MDS codes with sub-packetization $l=r^{n-1}.$ In this paper we take up the question of reducing the sub-packetization value $l$ to make it approach the lower bound. We construct an explicit family of optimal-access codes with $l=r^{\lceil n/r ceil},$ which differs from the optimal value by at most a factor of $r^2.$ These codes can be constructed over any finite field $F$ as long as $|F|\ge r\lceil n/r ceil,$ and afford low-complexity encoding and decoding procedures. We also define a version of the repair problem that bridges the context of regenerating codes and codes with locality constraints (LRC codes), calling it group repair with optimal access. In this variation, we assume that the set of $n=sm$ nodes is partitioned into $m$ repair groups of size $s,$ and require that the amount of accessed data for repair is the smallest possible whenever the $d$ helper nodes include all the other $s-1$ nodes from the same group as the failed node. For this problem, we construct a family of codes with the group optimal access property. These codes can be constructed over any field $F$ of size $|F|\ge n,$ and also afford low-complexity encoding and decoding procedures.

研究の動機と目的

• 最適アクセス MDS コードにおけるサブパケット化を、最適な修復帯域幅とアクセス効率を維持したまま低減すること。
• 再生コードと局所修復可能コード（LRC）の間のギャップを埋めるために、新たな修復モデル「グループ修復と最適アクセス」を導入すること。
• 理論的下界に近いサブパケット化 $ l = r^{\lceil n/r \rceil} $ を有する明示的コードを構築すること。
• 実用的な分散ストレージシステムと互換性のある低複雑度の符号化・復号手順を保証すること。
• より広範な展開を可能にするために、特に $ |F| \geq r\lceil n/r\rceil $ の小規模な有限体上での構築を可能にすること。

提案手法

• ノードをサイズ $ s $ のグループに分割し、同じグループ内の全他のノードがヘルパーである場合に最小限のデータにのみアクセスする「グループ修復と最適アクセス」という新たな修復モデルを提案する。
• バーデルモンデ型行列の性質と慎重に選ばれた生成行列を活用した、有限体上での構造的線形代数に基づくコード構成を設計する。
• 各ヘルパー・ノードあたり $ \omega_{i,j} $ 個のシンボルにのみアクセスする修復関数 $ f_{i,j} $ と $ g_i $ を定義し、アクセスされるデータ量の下界を満たすことで最適アクセスを実現する。
• 各 $ s $ 個のノードが修復グループを形成するブロック構造コード設計を採用し、グループ内での障害発生ノードの修復に、同じグループ内の他の $ s-1 $ 個のノードをすべてヘルパーとして利用する。
• 障害発生ノードの修復プロセスにおいて、最小限のシンボル数のみをダウンロードすることで、グループ修復モデル内での最適アクセスを達成するようにコードを構築する。
• 修復プロセスから導かれる方程式系が最小アクセスシンボル集合によって一意に決定されることを示し、最適アクセス性が保証されることを証明する。

実験結果

リサーチクエスチョン

• RQ1 最適アクセス MDS コードを、理論的下界 $ r^{(k-1)/r} $ に著しく近いサブパケット化で構築可能であり、かつ小規模な体サイズと低複雑度を維持できるか。
• RQ2 再生コードと局所修復可能コード（LRC）の利点を統合するには、データアクセスを最小限に抑えるために修復プロセスをどのように再定義できるか。
• RQ3 特に $ |F| \geq r\lceil n/r\rceil $ の小規模な有限体上に、サブパケット化 $ l = r^{\lceil n/r \rceil} $ を有する明示的最適アクセス MDS コードを構築可能か。
• RQ4 コード行列のどのような構造的性質が、グループ修復モデル下でも最小限のシンボル数のアクセスを保証するか。
• RQ5 サブパケット化を低減させたにもかかわらず、提案された構成が符号化・復号の低複雑度を維持できるか。

主な発見

• 提案されたコードは、サブパケット化 $ l = r^{\lceil n/r \rceil} $ を有する最適アクセス修復を達成しており、理論的下界 $ r^{(k-1)/r} $ に $ r^2 $ 因数以内で近い。
• 構成は明示的であり、$ |F| \geq r\lceil n/r\rceil $ を満たす任意の有限体 $ F $ で動作可能であり、実用的展開を可能にする。
• 低複雑度の符号化・復号手順をサポートしており、実世界の分散ストレージシステムに適している。
• 「グループ修復と最適アクセス」という新たな修復モデルを導入し、サイズ $ s $ のグループ内の障害発生ノードの修復に、同じグループ内の他の $ s-1 $ 個のノードのみをヘルパーとして使用することで、データアクセスを最小限に抑える。
• 証明により、修復プロセスが最小アクセスシンボル集合によって一意に決定されることを示し、アクセスパターンの最適性が確認された。
• サブパケット化を $ r^{n-1} $ から $ r^{\lceil n/r \rceil} $ に低減することで、従来の結果を一般化し、スケーラビリティにおいて顕著な改善を達成した。