[論文レビュー] Optimal Repair of MDS Codes in Distributed Storage via Subspace Interference Alignment

Viveck R. Cadambe, Cheng Zhi Huang+2 more|arXiv (Cornell University)|Jun 7, 2011

Advanced Data Storage Technologies参考文献 22被引用数 52

ひとこと要約

本稿では、分散ストレージシステムにおけるMDSコードの最適修復のための最初の有限コード構成を提示する。単一ディスク障害時の理論的最小修復帯域幅 $rac{n-1}{n-k}$ 単位を達成する。置換行列と新規の部分空間干渉整合フレームワークを活用することで、最小限のデータダウンロードと効率的なディスクアクセスを実現する正確な修復を可能にし、任意の $n$ と $k$ に対して長年の未解決問題を解決する。

ABSTRACT

It is well known that an (n,k) code can be used to store 'k' units of information in 'n' unit-capacity disks of a distributed data storage system. If the code used is maximum distance separable (MDS), then the system can tolerate any (n-k) disk failures, since the original information can be recovered from any k surviving disks. The focus of this paper is the design of a systematic MDS code with the additional property that a single disk failure can be repaired with minimum repair bandwidth, i.e., with the minimum possible amount of data to be downloaded for recovery of the failed disk. Previously, a lower bound of (n-1)/(n-k) units has been established by Dimakis et. al, on the repair bandwidth for a single disk failure in an (n,k) MDS code . Recently, the existence of asymptotic codes achieving this lower bound for arbitrary (n,k) has been established by drawing connections to interference alignment. While the existence of asymptotic constructions achieving this lower bound have been shown, finite code constructions achieving this lower bound existed in previous literature only for the special (high-redundancy) scenario where $k \leq \max(n/2,3)$. The question of existence of finite codes for arbitrary values of (n,k) achieving the lower bound on the repair bandwidth remained open. In this paper, by using permutation coding sub-matrices, we provide the first known finite MDS code which achieves the optimal repair bandwidth of (n-1)/(n-k) for arbitrary (n,k), for recovery of a failed systematic disk. We also generalize our permutation matrix based constructions by developing a novel framework for repair-bandwidth-optimal MDS codes based on the idea of subspace interference alignment - a concept previously introduced by Suh and Tse the context of wireless cellular networks.

研究の動機と目的

• 分散ストレージシステムにおける単一ディスク障害時の修復帯域幅の理論的下界を達成する有限MDSコードを構築するという未解決問題を解決すること。
• 最小限のデータダウンロードで正確な修復を可能にするシステム的MDSコードを設計し、計算およびアクセスのオーバーヘッドを低く保つこと。
• 既存の漸近的構成を任意の $n$ と $k$ に対して有限コードに一般化し、高冗長性および低冗長性の両領域をカバーすること。
• MDS符号化ストレージシステムにおける最適修復を達成するための、部分空間干渉整合に基づく新フレームワークを確立すること。
• 提案された符号がMDS特性を維持するとともに、構造的な置換行列を用いて効率的な修復を可能にすること。

提案手法

• システム的およびパリティデータの符号化に置換行列を用いてMDSコードを構築し、任意の $k$ 個のノードからもフルランク回復を保証する。
• 無線干渉整合にインspiredされた部分空間干渉整合フレームワークを採用し、修復プロセスにおける干渉を整列する。
• 回復行列の行列式がゼロでないことを保証するため、固有値の構造的性質を持つブロック行列を用いることで、MDS特性を維持する。
• 可換なブロック行列に対して要素ごとの行列式展開を適用し、さまざまなノード障害シナリオにおける回復行列のフルランクを検証する。
• 新しいノードが $n-1$ 個の生存ノードから最適化されたデータアクセスパターンを介して $\frac{n-1}{n-k}$ 単位のデータを正確にダウンロードする修復戦略を実装する。
• 置換行列の積の固有値解析を用いて、複数の障害シナリオ（例：$n-k=2$、$n-k=3$）におけるMDS特性を検証する。

実験結果

リサーチクエスチョン

• RQ1 任意の $n$ と $k$ に対して、単一ディスク修復における理論的最小修復帯域幅 $rac{n-1}{n-k}$ を達成する有限MDSコードを構築可能か？
• RQ2 干渉整合の原則をどのように分散ストレージシステムに適応させれば、最適修復帯域幅を達成できるか？
• RQ3 置換行列のどのような構造的性質がMDS特性を保ちつつ効率的な修復を可能にするか？
• RQ4 ダウンロード量だけでなく、ディスクあたりのアクセスデータ量についても修復プロセスを最適化可能か？
• RQ5 漸近的最適修復構成を、修復効率を損なわずに有限コードに一般化可能か？

主な発見

• 本稿は、任意の $n$ と $k$ に対して、理論的下限 $rac{n-1}{n-k}$ の修復帯域幅を達成する有限コードとして知られる最初のMDSコード構成を提示する。
• 提案されたコードは、新しいノードが $n-1$ 個の生存ノードから正確に $rac{n-1}{n-k}$ 単位のデータをダウンロードすることで、最小限のデータダウンロードで正確な修復を可能にする。
• すべての回復行列がフルランクとなるように、固有値構造が保証される置換行列を用いた構成である。
• $n-k=2$ の場合、立方根の単位根の固有値を置換行列積の解析により用い、行列式がゼロでないことを保証することでMDS特性を証明する。
• $n-k=3$ の場合、可換なブロックを有するブロックバーレンマイド行列構造を用い、異なる $ olimits_i$ 値を用いて行列式がゼロにならないことを保証することでフルランクを証明する。
• 修復プロセスは帯域幅最適化だけでなく、置換に基づく設計がもたらす構造的アクセスパターンのおかげで、ディスクあたりのアクセス効率も高い。