[論文レビュー] On Locally Recoverable (LRC) Codes

Mario Blaum|arXiv (Cornell University)|Dec 18, 2015

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

ひとこと要約

本稿では、拡張 Reed-Solomon コードに基づくパリティ検査行列を用いて、最適な局所回復（LRC）コードの単純で明示的な構成を提示する。最小距離 $ d = \ell + g + 1 $ を達成し、$ q \geq mn $ の体サイズを要件とし、$ g \leq \ell + 1 $ の場合に体サイズを $ q \geq n $ に削減することで、小規模な体上でのXOR演算および回転演算を用いた効率的な実装を可能にする。

ABSTRACT

We present simple constructions of optimal erasure-correcting LRC codes by exhibiting their parity-check matrices. When the number of local parities in a parity group plus the number of global parities is smaller than the size of the parity group, the constructed codes are optimal with a field of size at least the length of the code. We can reduce the size of the field to at least the size of the parity groups when the number of global parities equals the number of local parities in a parity group plus one.

研究の動機と目的

• 分散ストレージにおける1台のデバイス障害に対する高速な局所回復を可能にする、単純で明示的な最適LRCコードの設計。
• 最適な最小距離とグローバルな消去訂正能力を維持したまま、LRCコードに必要な体サイズを最小限に抑えること。
• 実用的なストレージシステムにおける局所修復効率とグローバル障害耐性のバランスをとるためのフレームワークの提供。
• 既知の構成を $ \ell + g < n $ の場合に拡張し、従来の複雑な手法と比較して設計を単純化すること。

提案手法

• 局所パリティおよびグローバルパリティに、拡張 Reed-Solomon (ERS) コードを用いたパリティ検査行列の構築。
• 局所パリティがパラメータ $ (n, \ell; 0,0), (n, \ell; 0,r), \dots $ のRSコードから導かれる、ブロック構造をもつパリティ検査行列の使用。
• 長さ $ mn - 1 $ の拡張RSコードに基づくグローバルパリティ部分行列を導入し、パラメータは $ (mn-1, g; \ell, 0) $ とする。
• 体が既約多項式 $ 1 + x + \cdots + x^{p-1} $ で定義される場合に、効率的な実装のためのXOR演算およびベクトル回転を適用。
• XOR演算後にパリティ検査行列がMDSコードを生成することを証明し、結果として最小距離 $ d = \ell + g + 1 $ を達成することを保証。
• パリティ検査行列の構造的性質を活用し、$ g \leq \ell + 1 $ の場合に体サイズを $ q \geq n $ に削減する。

実験結果

リサーチクエスチョン

• RQ1 最適なLRCコードを、単純で明示的なパリティ検査行列構造で構築することは可能か？
• RQ2 局所およびグローバルパリティを有するLRCコードで、最適な最小距離を達成するために必要な最小の体サイズは何か？
• RQ3 $ g \leq \ell + 1 $ の場合に、最適性を損なわずに体サイズをどのように低減できるか？
• RQ4 拡張Reed-Solomonコードを用いて、XORベースのデコードが可能な最適なLRCコードを構築することは可能か？
• RQ5 本提案手法は、既存のPMDSまたはSDコードの構成と比較して、性能および体サイズの点でどのように異なるか？

主な発見

• 構築されたLRCコードはシングルトン型限界に等号を満たし、最適な最小距離 $ d = \ell + g + 1 $ を達成する。
• $ \ell + g < n $ の場合、コードは最適であり、少なくとも $ q = mn $ の体サイズを要する。
• $ g \leq \ell + 1 $ の場合、体サイズを $ q \geq n $ に削減でき、実用性が著しく向上する。
• パリティ検査行列の構造により、小規模な体上でのXOR演算およびベクトル回転のみを用いた効率的な実装が可能である。
• 例として、$ GF(16) $ 上で $ (m,n;\ell,g) = (2,8;1,4) $ を構築し、$ d = 6 $ を達成し、最適限界と一致する。
• 本手法は、$ \ell = g = 2 $ の $ 6 \times 5 $ の配列など、より大きなアレイに対しても一般化可能であり、$ d = 5 $ を得るが、与えられた制約下でも最適性を保つ。