[논문 리뷰] On Maximally Recoverable Local Reconstruction Codes

Sivakanth Gopi, Venkatesan Guruswami외 1명|arXiv (Cornell University)|2017. 01. 01.

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 $의 이론적 하한을 확립한다.
• 두 개의 글로벌 패리티($ h=2 $)인 경우 MR LRCs의 최적 구성법을 제공하고, 세 개의 글로벌 패리티($ h=3 $)인 경우 기존의 구성법을 향상시킨다.
• 분산 스토리지 시스템에서의 효율적 구현에 매우 중요한, 필드 크기를 최소화하는 데 오랫동안 열려 있던 문제를 해결한다.

제안 방법

• 국소 그룹이 복구할 수 있는 삭제 패턴의 구조에 중점을 두어, 조합 및 대수 기법을 사용해 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 어떤 매개변수 영역에서도 MR LRCs에 대해 필드 크기의 초선형 하한을 확립할 수 있는가?
• RQ3 정확히 두 개의 글로벌 패리티($ h=2 $)가 존재할 경우, 최적의 MR LRCs를 구성할 수 있는가?
• RQ4 세 개의 글로벌 패리티($ 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\}}) $임을 보였다.
• 두 개의 글로벌 패리티($ h=2 $)인 경우, 논문은 최소 필드 크기를 달성하는 최적의 구성법을 제공한다.
• $ h=2 $인 구성법이 최적임이 입증되었으며, 이는 동일한 매개변수로 MR LRCs를 지원할 수 있는 더 작은 필드 크기는 존재하지 않음을 의미한다.
• 세 개의 글로벌 패리티($ h=3 $)인 경우, 기존의 구성법보다 요구되는 필드 크기를 줄이며 최대 복구성을 유지하는 방식으로 향상된 구성법을 제공한다.
• 하한이 타당한 것은, $ h=2 $인 경우 기존 구성법의 필드 크기 증가 속도와 일치함으로써 구성법의 최적성과 일치함을 확인한다.
• 결과적으로 필드 크기가 $ r $에 대해 선형을 초월해 증가해야 하며, 이는 코딩 이론 분야에서 오랫동안 열려 있던 문제를 해결함을 보여준다.