[論文レビュー] Optimal Locally Repairable Codes via Rank-Metric Codes

Natalia Silberstein, Ankit Singh Rawat+2 more|arXiv (Cornell University)|Jan 27, 2013

Advanced Data Storage Technologies参考文献 18被引用数 34

ひとこと要約

本稿では、最大ランク距離（MRD）ガビデュリン符号を用いた、最適な局所修理可能符号（LRC）の明示的構成を提示する。この手法により、すべてのシンボルが局所的である場合のスカラーおよびベクトルLRCの最小距離を最大限に達成する。この方法により、局所的修復が効率的になり、LRCと再生符号（特にMSRおよびMBR符号）を組み合わせることで、(r+δ−1) が n を割り切らない一般のパラメータ下でも、修復帯域幅効率の高いハイブリッド符号が実現される。

ABSTRACT

This paper presents a new explicit construction for locally repairable codes (LRCs) for distributed storage systems which possess all-symbols locality and maximal possible minimum distance, or equivalently, can tolerate the maximal number of node failures. This construction, based on maximum rank distance (MRD) Gabidulin codes, provides new optimal vector and scalar LRCs. In addition, the paper also discusses mechanisms by which codes obtained using this construction can be used to construct LRCs with efficient repair of failed nodes by combination of LRC with regenerating codes.

研究の動機と目的

• 分散ストレージシステム向けに、すべてのシンボルが局所的であり、最小距離が最大となる最適な局所修理可能符号（LRC）を設計すること。
• スカラーLRCを一般化し、(r,δ) 局所的制約を満たすベクトルLRCを導出し、最小距離に関する新たな上界を導出すること。
• (r+δ−1) が n を割り切らない場合でも、導出された上界に達する明示的で最適なLRCを構築すること。
• LRCと再生符号（MSRおよびMBR）を統合し、最小限の修復帯域幅を実現しながら、最適な最小距離と局所的修復可能性を維持すること。

提案手法

• 最適なスカラーおよびベクトルLRCを構築するために、最大ランク距離（MRD）ガビデュリン符号をコアとなる符号構造として用いる。
• ガビデュリン符号語を、各グループのサイズが r+δ−1 以下になるように分割し、各グループに最大距離分離（MDS）アレイ符号（例：[5,4,2] または [4,3,2]）を適用して、各グループに δ−1 個のパリティシンボルを追加する。
• 各ノードがその局所グループ内の最大 r 個の他のノードを用いて修復可能であることを保証し、(r,δ) 局所的制約を満たす。
• MDS符号の代わりに、MSRまたはMBR再生符号を各局所グループに適用することで、最小限の修復帯域幅を実現しながらも、最適な最小距離を維持する。
• ノード障害をガビデュリン符号におけるランク障害として扱い、ランク距離デコーディングを用いて最大 d_min−1 個のノード障害を訂正する。
• 任意の d_min−1 個のノード障害が、最大で 2(d_min−1) 個のランク障害に対応することを利用し、最小ランク距離 d_rank = 2(d_min−1) + 1 を持つガビデュリン符号によってこれらは訂正可能であることを活用する。

実験結果

リサーチクエスチョン

• RQ1 (r+δ−1) が n を割り切らない場合、以前の構成ではカバーされていなかったが、明示的に最適なベクトルLRCを構築できるか？
• RQ2 (r,δ) 局所的制約下でのベクトルLRCの最小距離 d_min の最もタイトな上界は何か？
• RQ3 LRCと再生符号をどのように組み合わせることで、局所的修復と最小限の修復帯域幅を両立できるか？
• RQ4 ガビデュリン符号を用いて、すべてのシンボルが局所的であり、最小距離が最大となる最適なスカラーおよびベクトルLRCを構築できるか？
• RQ5 基礎となるガビデュリン符号におけるノード障害とランク障害の関係は何か？この関係は、複数の障害の訂正をどのように可能にするか？

主な発見

• 提案された構成により、スカラーおよびベクトルLRCの両方において、最小距離 d_min = n - N + 1（N = n·α·δ / (r+δ-1)）が達成される。
• この構成は、 (r+δ−1) が n を割り切らない場合の、最初の明示的で最適なLRCを実現し、従来の構成の主要な制限を克服する。
• パラメータ (M=9, n=14, r=4, δ=2, α=1) のスカラー符号では、d_min = 4 が達成され、上界と一致する。
• パラメータ (M=28, n=15, r=3, δ=3, α=4) のベクトル符号では、d_min = 5 が達成され、導出された上界に対して最適である。
• 局所グループ内のMDS符号をMSR符号に置き換えることで、最適な d_min を維持しつつ、修復帯域幅を最小化するMSR-LRCが得られる。
• デコーディング効率はガビデュリン符号およびMDS符号のデコーディング効率に依存し、この手法により、ランク距離デコーディングを用いて最大 d_min−1 個のノード障害を訂正可能である。