[論文レビュー] Distributed Storage Codes through Hadamard Designs

Dimitris Papailiopoulos, Alexandros G. Dimakis|arXiv (Cornell University)|Jun 8, 2011

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

ひとこと要約

本稿では、ハダマード設計と格子ベースの記号拡張フレームワークを用いた干渉完全整合性を活用することで、すべての単一ノード障害（システムノードおよびパリティノード）に対して最適な修復帯域幅を達成する、$\mathbb{GF}(3)$ 上の新しい明示的 $(k+2,k)$ 分散ストレージコードを提示する。このコードは、システム修復における理論的最小帯域幅 $\frac{k+1}{2k}M$ を達成し、パリティ修復についても同じ上限に達しており、任意の単一障害、および最大1つのシステムノードが関与する二重障害シナリオにおいても完全な耐障害性を有する。

ABSTRACT

In distributed storage systems that employ erasure coding, the issue of minimizing the total {\it repair bandwidth} required to exactly regenerate a storage node after a failure arises. This repair bandwidth depends on the structure of the storage code and the repair strategies used to restore the lost data. Minimizing it requires that undesired data during a repair align in the smallest possible spaces, using the concept of interference alignment (IA). Here, a points-on-a-lattice representation of the symbol extension IA of Cadambe {\it et al.} provides cues to perfect IA instances which we combine with fundamental properties of Hadamard matrices to construct a new storage code with favorable repair properties. Specifically, we build an explicit $(k+2,k)$ storage code over $\mathbb{GF}(3)$, whose single systematic node failures can be repaired with bandwidth that matches exactly the theoretical minimum. Moreover, the repair of single parity node failures generates at most the same repair bandwidth as any systematic node failure. Our code can tolerate any single node failure and any pair of failures that involves at most one systematic failure.

研究の動機と目的

• 高レートシステムにおける最適修復帯域幅を達成する明示的かつ実用的な分散ストレージコードの設計を目的とする。
• ファイルサイズや体のサイズを拡大せずに、漸近的または実用的でない修復最適コードの限界を克服し、有限体・有限ファイルサイズの設定で完全な干渉整合性を達成することを目的とする。
• 単一障害および最大1つのシステムノードが関与する二重障害を耐容しつつ、最適な修復効率を維持するコードの構築を目的とする。
• ハダマード行列の構造的性質と格子表現を活用し、失敗したノードの正確かつ帯域幅最適な再生を可能にする。

提案手法

• 著者らは、Cadambeらの研究から得られる記号拡張干渉整合性（IA）技術の格子上の点の表現を用い、完全なIAのインスタンスを特定する。
• 符号係数が $N \times N$ ハダマード行列 $\mathbf{H}_N$ から導出される、$\mathbb{GF}(3)$ 上の $(k+2,k)$ ストレージコードを構築する。
• システムノード $i$ の修復には、他の $k$ 個のノードから各々 $\frac{N}{2}$ 個の記号をダウンロードする。これにより、合計の修復帯域幅は $(k+1)\frac{N}{2}$ となる。
• パリティノードの修復では、新規ノードが修復行列 $\mathbf{V}_a^{(b)} = \mathbf{X}_1$ を用いて干渉を整合させ、最大 $N + (k-1)\frac{N}{2}$ 個の記号をダウンロードすることでデータを回復する。
• この方法により、システム修復時における干渉空間が正確に $\frac{N}{2}$ 次元に張られ、理論的最小値が達成される。
• コード構造により、$\mathbf{H}_N$ の列に紐付く一意なべき指数タプルを活用し、データ空間が修復中にフルランクを維持する。

実験結果

リサーチクエスチョン

• RQ1 高レートで明示的なMDSに類似したコードを構築可能か？ これにより、システムノードおよびパリティノードの両方の障害において最適修復帯域幅を達成できるか？
• RQ2 組合せ的設計を用いて、有限体・有限ファイルサイズの設定で完全な干渉整合性を達成可能か？
• RQ3 ハダマード行列を体系的に用いて、最適修復特性と最小修復帯域幅を有するストレージコードを構築可能か？
• RQ4 このようなコードの最大障害耐性は何か？ また、MDSコードと比較して修復効率はどの程度か？

主な発見

• 提案された $\mathbb{GF}(3)$ 上の $(k+2,k)$ コードは、任意の単一システムノード障害において、理論的最小修復帯域幅 $\frac{k+1}{2k}M$ を達成する。
• 任意の単一パリティノードの修復は、システムノード修復と同等の最大帯域幅、すなわち $(k+1)\frac{N}{2}$ 個の記号を生成する。
• コードは任意の単一ノード障害および最大1つのシステムノードが関与する二重障害を耐容可能であるが、二重の同時システム障害には耐えられない。
• 二つのシステムノード障害後のシステム行列のランクは $(k-1)N + \frac{N}{2}$ となり、完全なファイル回復には追加で $\frac{N}{2}$ 個の式が必要となる。
• 漸近的ファイルサイズや無限体拡張を必要とせず、実用的展開を可能にする完全な干渉整合性を達成する。
• 構成は、$\mathbf{H}_N$ の各列が一意なべき指数タプルに対応することに依存しており、これにより正確な整合性とフルランクのデータ回復が可能となる。