[論文レビュー] On Maximally Recoverable Local Reconstruction Codes

Sivakanth Gopi, Venkatesan Guruswami+1 more|arXiv (Cornell University)|Jan 1, 2017

Advanced Data Storage Technologies被引用数 8

ひとこと要約

この論文は、最大再構築可能ローカル再構築コード（MR LRCs）に必要な体のサイズに対する最初の非線形下界を確立し、定数 $ a $ および $ h $ のもとで、$ r $ が増加する際、体のサイズ $ q $ は少なくとも $ \Omega_{a,h}(n \cdot r^{\min\{a,h-2\}}) $ 以上でなければならないことを示している。また、$ h=2 $ に対して最適な構成を提供し、$ h=3 $ に対しては改善された構成を提示しており、MR LRCsの実用的実装可能性を前進させている。

ABSTRACT

In recent years the explosion in the volumes of data being stored online has resulted in distributed storage systems transitioning to erasure coding based schemes. Local Reconstruction Codes (LRCs) have emerged as the codes of choice for these applications. An $(n,r,h,a,q)$-LRC is a $q$-ary code, where encoding is as a two stage process. In the first stage, $h$ redundant parity symbols are generated from $k$ data symbols. In the second stage, the $k+h$ symbols are partitioned into sets of size $r-a$ and each set is extended with $a$ redundant symbols using an MDS code to form a local group. Local groups ensure that when at most $a$ coordinates are erased, any missing coordinate can be recovered by accessing at most $r-a$ symbols. Also, if a larger number of coordinates is erased; then missing symbols can be recovered by potentially accessing all remaining symbols. An $(n,r,h,a,q)$-LRC code as above is Maximally Recoverable (MR), if it corrects all erasure patterns which are information theoretically correctable given the presence of local groups. Obtaining MR LRCs over finite fields of minimal size is important in practice and has been the goal of a line of work in coding theory. In this work we make progress towards this goal. In particular, we show that when $a$ and $h$ are constant and $r$ may grow, for every maximally recoverable LRC, $q\geq \Omega_{a,h}\left(n\cdot r^{\min\{a,h-2\}} ight).$ Prior to our work, there was no super-linear lower bound known on the field size of MR LRCs for any setting of parameters. We also give an optimal construction when there are two global parities ($h=2$) and improve existing constructions when there are three global parities ($h=3$).

研究の動機と目的

• 最大再構築可能ローカル再構築コード（MR LRCs）に必要な最小体サイズを理解するギャップを埋めること、特に $ a $ と $ h $ が小さい実用的状況において。
• 定数 $ a $ および $ h $ であり、$ r $ が増加する際の MR LRCs の体サイズ $ q $ に対する理論的下界を確立すること。
• 2つのグローバルパリティ（$ h=2 $）の場合の MR LRCs の最適な構成を提供すること、および3つのグローバルパリティ（$ h=3 $）の場合の既存構成の改善。
• 分散ストレージシステムへの効率的導入に不可欠な、MR LRCsにおける体サイズの最小化という長年の未解決問題に取り組むこと。

提案手法

• ローカルグループが補正可能なエラーパターンの構造に注目し、組合せ論的および代数的技法を用いて MR LRCs の体サイズ $ q $ に対する下界を導出する。
• 体サイズがグローバルパリティ数 $ h $、ローカルグループサイズ $ r $、ローカルパリティ数 $ a $ に依存する仕組みを分析し、$ a $ および $ h $ が定数のとき、$ r $ に対して非線形的依存が生じることを示す。
• MDSコードの性質と慎重に設計されたパリティーチェック行列を活用して、$ h=2 $ の場合に最小の体サイズを達成する最適な MR LRCs の構成を実現する。
• グローバルパリティの配置を精緻化し、情報理論的に補正可能なすべてのエラーパターンに対するコードの補正能力を最適化することで、$ h=3 $ の既存構成を改善する。
• コードのパリティーチェック行列における特定の線形従属を回避する問題に還元し、これが補正可能なすべてのエラーパターンにわたって保持されなければならないことを示す。
• 極値的組合せ論とランクの議論を用いて、任意の MR LRC が $ \Omega_{a,h}(n \cdot r^{\min\{a,h-2\}}) $ の割合で増加する体サイズを必要とすることを示す。

実験結果

リサーチクエスチョン

• RQ1 定数 $ a $ および $ h $ であり、ローカルグループサイズ $ r $ が増加する際、MR LRC に必要な最小体サイズ $ q $ は何か？
• RQ2 任意のパrameter設定において、MR LRCs の体サイズに対して非線形下界を確立できるか？
• RQ3 グローバルパリティが正確に2つ（$ h=2 $）の場合、最適な MR LRCs の構成が可能か？
• RQ4 3つのグローバルパリティ（$ h=3 $）を持つ MR LRCs の既存構成は、体サイズと効率の観点からどのように改善できるか？
• RQ5 MR LRCs の体サイズを制限する構造的制約は何であり、これらは $ a $、$ h $、$ r $ にどのように依存するか？

主な発見

• この論文は、MR LRCs の体サイズに対する最初の非線形下界を確立し、$ a $ および $ h $ が定数であり、$ r $ が増加する際、$ q \geq \Omega_{a,h}(n \cdot r^{\min\{a,h-2\}}) $ であることを示している。
• 2つのグローバルパリティ（$ h=2 $）の場合、最小の可能な体サイズを達成する最適な構成が提供されている。
• $ h=2 $ の構成は最適であることが示されており、同じパrameterを満たす MR LRCs をサポートするより小さな体サイズは存在しない。
• 3つのグローバルパリティ（$ h=3 $）の場合、既存の構成よりも体サイズを削減しながらも、最大再構築性を維持した改善された構成が得られている。
• 下界は、$ h=2 $ の場合に既知の構成の体サイズの増加割合と一致するため、タイトであるとされ、構成の最適性を確認している。
• 結果として、体サイズが $ r $ に対して線形より速く増加しなければならないことが示され、符号理論における長年の未解決問題が解決された。