[論文レビュー] Optimal Repair Schemes for Some Families of Full-Length Reed-Solomon Codes

Son Hoang Dau, Olgica Milenković|arXiv (Cornell University)|Jan 15, 2017

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

ひとこと要約

本稿では、任意の冗長度 $ r \geq q^s $ および $ 1 \leq s < t $ を満たす全長 Reed-Solomon コードについて、線形化多項式を用いて、$ \mathbb{F}_{q^t} $ 上で最適な線形修復方式を提示する。この方式により、修復帯域幅は $ (n-1)(t-s)\log_2 q $ ビットに達する。$ n = q^t $ および $ r = q^s $ の場合、この方式は最適であり、従来の方法が要求していた $ (t-s) \mid t $ の条件を不要にし、部分体のトレースを用いて修復のオーバーヘッドを低減する。

ABSTRACT

Reed-Solomon codes have found many applications in practical storage systems, but were until recently considered unsuitable for distributed storage applications due to the widely-held belief that they have poor repair bandwidth. The work of Guruswami and Wootters (STOC'16) has shown that one can actually perform bandwidth-efficient linear repair with Reed-Solomon codes: When the codes are over the field $\mathbb{F}_{q^t}$ and the number of parities $r \geq q^s$, where $(t-s)$ divides $t$, there exists a linear scheme that achieves a repair bandwidth of $(n-1)(t-s)\log_2 q$ bits. We extend this result by showing the existence of such a linear repair scheme for every $1 \leq s &lt; t$. Moreover, our new schemes are optimal among all linear repair schemes for Reed-Solomon codes when $n = q^t$ and $r = q^s$. Additionally, we improve the lower bound on the repair bandwidth for Reed-Solomon codes, also established in the work of Guruswami and Wootters.

研究の動機と目的

• 冗長度 $ r = q^s $ かつ $ (t-s) \nmid t $ の場合に、従来の方法が制限されていた最適修復帯域幅のギャップを埋める。
• Guruswami-Wootters の修復フレームワークをトレースに基づく方法にとどまらず、すべての $ 1 \leq s < t $ に対して適用可能にする。
• 全長 $ n = q^t $ および冗長度 $ r = q^s $ の Reed-Solomon コードに対して、最小修復帯域幅を達成する線形修復方式を構築し、最適性を証明する。
• Reed-Solomon コードの修復帯域幅に対する下界を改善し、すべてのテスト事例で達成可能な帯域幅と一致することを示す。

提案手法

• 線形化多項式 $ L_W(x) = \prod_{w \in W}(x - w) $ を用い、$ \mathbb{F}_q $-部分空間 $ W $（$ \mathbb{F}_{q^t} $ 内の次元 $ s $）を用いて、修復のための双対符号語を生成する。
• チェック多項式 $ g_i(x) = L_W(u_i(x - \alpha^*)) / (x - \alpha^*) $ を、$ \mathbb{F}_{q^t} $ の $ \mathbb{F}_q $-基底 $ \{u_1, \dots, u_t\} $ を用いて構築し、Reed-Solomon コードの有効なチェック条件を満たすことを保証する。
• 修復プロセスでは、$ n-1 $ 個の正常なノードから $ g_i(\alpha) $ の値をダウンロードし、各ノードが $ \mathbb{F}_q $ 上で $ t-s $ ビットを寄与することで、合計帯域幅 $ (n-1)(t-s)\log_2 q $ ビットを達成する。
• $ \alpha \neq \alpha^* $ における $ g_i(x $ の評価のランクが $ \mathbb{F}_q $ 上で $ t-s $ 以下に抑えられることで、帯域幅の効率性が保証される。
• $ n = q^t $ および $ r = q^s $ の場合、この方式は最適であることが証明され、Guruswami と Wootters の下界を改善した新たな下界を用いる。
• 理論的および数値的証拠により、改善された下界がすべての全長 Reed-Solomon コードにおいて最適修復帯域幅と一致することが示されている。

実験結果

リサーチクエスチョン

• RQ1 冗長度 $ r = q^s $ かつ $ s < t $ の場合に、$ (t-s) \nmid t $ であるにもかかわらず、全長 Reed-Solomon コードで最適修復帯域幅を達成できるか。
• RQ2 Guruswami-Wootters の修復方式をトレースに基づく方法にとどまらず、すべての $ 1 \leq s < t $ に対して、異なる根を持つ線形化多項式を用いて一般化可能か。
• RQ3 Reed-Solomon コードの修復帯域幅に対する最もきつい下界は何か。また、全長の場合に達成可能な帯域幅と一致するか。
• RQ4 $ r = q^s $ に限定されず、すべての $ r \geq q^s $ および $ 1 \leq s < t $ に対して最適な修復方式を構築可能か。
• RQ5 トレース多項式の代わりに線形化多項式を用いることで、帯域幅およびサブパッケタイゼーションの観点で、より良いまたは同等の修復効率が得られるか。

主な発見

• 全長 Reed-Solomon コード（$ n = q^t $、$ r \geq q^s $）に対して、線形化多項式を用いることで、$ (n-1)(t-s)\log_2 q $ ビットの修復帯域幅が、任意の $ 1 \leq s < t $ に対して達成可能である。
• $ n = q^t $ および $ r = q^s $ の場合、この修復方式はすべての線形修復方式の中で最適であり、理論的下界と一致する。
• Reed-Solomon コードの修復帯域幅に対する改善された下界は、すべてのテスト事例で達成可能な帯域幅と一致しており、これがタイトであると示唆している。
• 異なる根を持つ線形化多項式の使用により、すべての $ s < t $ に対して修復方式を構築可能となり、従来の $ (t-s) \mid t $ の制限が不要になった。
• サブパッケタイゼーションレベル $ \log_q n $ を用いることで、他の MSR コードにおける指数的サブパッケタイゼーションと比較して顕著に低い水準を達成する。
• 理論的および数値的結果により、改善された下界がタイトであり、すべての全長 Reed-Solomon コードにおいて最適修復帯域幅と一致することが示されている。