[論文レビュー] Locally Repairable Codes with Functional Repair and Multiple Erasure Tolerance

Wentu Song, Chau Yuen|arXiv (Cornell University)|Jul 10, 2015

Advanced Data Storage Technologies参考文献 14被引用数 27

ひとこと要約

本稿は、関数修理と逐次的修復順序を用いて、分散ストレージシステムにおける最大 $ t $ 個の障害発生したノードの効率的かつ局所的な修復を可能にする $(n,k,r,t)$-機能的局所的修復可能符号（FLRCs）を導入する。$ t=2 $ および $ t=3 $ におけるコード長 $ n $ のタイトな下界を確立し、明示的な二進符号構成によりその最適性を証明した。また、特定のパラメータにおいて、最適な機能的LRCと正確LRCの間にはギャップが存在しないことを示した。

ABSTRACT

We consider the problem of designing [n; k] linear codes for distributed storage systems (DSS) that satisfy the (r, t)-Local Repair Property, where any t'(<=t) simultaneously failed nodes can be locally repaired, each with locality r. The parameters n, k, r, t are positive integers such that r

研究の動機と目的

• $ t $ 個のノードが同時に障害発生した場合でも、局所性 $ r $ を維持しつつ効率的な修復を可能にする分散ストレージ符号の設計。
• 関数修理モデル下でのような符号のストレージオーバーヘッド（すなわち符号レート）の最適化。
• 導出された境界に到達する二進符号の構成により、機能的LRCと正確LRCの間のギャップを埋めること。
• $(r,t)$-局所的修復に関する先行研究を一般化し、コードレートと最小距離を向上させる逐次的修復アプローチを導入すること。

提案手法

• $ t $ 個の障害発生ノードがライブノードおよび事前に修復された新規ノードを用いて逐次的に修復される $(n,k,r,t)$-機能的局所的修復可能符号（FLRCs）の概念を導入する。
• 各新規ノードがライブノードと事前に修復されたノードの両方を活用できるように逐次的修復順序を採用し、修復効率を向上させる。
• 組合せ論的および代数的技法を用いて $ t=2 $ および $ t=3 $ におけるコード長 $ n $ の下界を導出し、先行研究のレート境界を一般化・改善する。
• 導出された $ n $ の下界に到達する明示的な二進正確LRCを構成し、境界のタイトさを証明する。
• 特定の交差性質を制御する直線系および集合系を用いて、符号構成を実現する。
• メッシュ構造に似た配置において赤線と青線を用いた修理集合の構造的構成により、局所性および互いに素な修復集合の制約を満たす。

実験結果

リサーチクエスチョン

• RQ1 $ k $ と $ r $ が与えられたとき、$ t=2 $ および $ t=3 $ の $(n,k,r,t)$-FLRCに必要な最小コード長 $ n $ は何か？
• RQ2 導出された $ n $ の下界は、特に二進体上での明示的構成により達成可能か？
• RQ3 複数のエラー発生に対して、最適なコード長における機能的LRCと正確LRCの間にギャップは存在するか？
• RQ4 逐次的修復モデルは、並列モデルと比較して、達成可能なコードレートおよび最小距離の観点でどのように異なるか？
• RQ5 組合せ設計を用いて、最適なパラメータを満たす二進LRCを構成することは可能か？

主な発見

• $ t=2 $ におけるコード長 $ n $ の新しい下界が導出され、先行研究[14]のレート境界を一般化した。
• $ t=3 $ においては、[10]で知られていた既存のレート境界を改善した。
• $ t=2 $ および $ t=3 $ に対して、導出された $ n $ の下界に到達する明示的な二進正確LRCの構成が提供され、境界のタイトさが証明された。
• 構成結果により、研究対象のパラメータにおいて、機能的LRCと正確LRCの最適コード長の間にギャップが存在しないことが示された。
• 赤線と青線を用いたメッシュ構造による構成により、すべての局所性および互いに素な修復集合の制約が満たされつつ、最小限の交差が維持された。
• 結果は、逐次的修復順序を伴う関数修理が、正確修復符号と同等の性能を達成する最適なコードレートおよび最小距離を実現できることを確認した。