[논문 리뷰] New Constructions of SD and MR Codes over Small Finite Fields

Guang‐Da Hu, Sergey Yekhanin|arXiv (Cornell University)|2016. 05. 08.

Advanced Data Storage Technologies참고 문헌 8인용 수 5

한 줄 요약

이 논문은 작은 유한체 위에서 SD 및 MR 코드의 새로운 명시적 구성법을 제시하며, 세 개의 헤비 패리티를 가진 SD 코드의 최적의 필드 크기 성장률 O(n)을 달성하고, 두 개의 로컬 그룹과 4로 나누어지는 상수 h에 대해 이전 구성법보다 향상된 MR 코드를 제공한다. 이 방법은 연속된 지수를 가진 바르드모인 유형의 패리티 체크 행렬을 사용하여 더 작은 필드 크기와 이전 선형화된 구성법의 한계를 극복한다.

ABSTRACT

Data storage applications require erasure-correcting codes with prescribed sets of dependencies between data symbols and redundant symbols. The most common arrangement is to have $k$ data symbols and $h$ redundant symbols (that each depends on all data symbols) be partitioned into a number of disjoint groups, where for each group one allocates an additional (local) redundant symbol storing the parity of all symbols in the group. A code as above is maximally recoverable, if it corrects all erasure patterns that are information theoretically correctable given the dependency constraints. A slightly weaker guarantee is provided by SD codes. One key consideration in the design of MR and SD codes is the size of the finite field underlying the code as using small finite fields facilitates encoding and decoding operations. In this paper we present new explicit constructions of SD and MR codes over small finite fields.

연구 동기 및 목표

• 분산 스토리지 시스템에서의 인코딩 및 디코딩 효율성을 향상시키기 위해 작은 유한체 위에서 명시적 SD 및 MR 코드를 구성하는 것.
• 특히 h > 2일 경우에 큰 유한체를 요구하는 이전 구성법의 한계를 극복하는 것.
• h = 3인 SD 코드에 대해 최적의 필드 크기 성장률(O(n))과 두 개의 로컬 그룹 설정에서 MR 코드의 향상된 필드 크기 한계를 달성하는 것.
• 선형화된 구성법이 가진 열악한 필드 크기 문제를 피하는 바르드모인 유형의 구성법을 개발하는 것.

제안 방법

• 연속된 지수 1,2,3,…를 가진 바르드모인 유형의 패리티 체크 행렬을 사용하여 h=3 및 r=O(1)인 (k,r,h)-SD 코드의 새로운 가족을 제안하며, 이로 인해 필드 크기 O(n)를 달성한다.
• 다항식 보간과 유한체 성질을 활용한 구조화된 패리티 체크 행렬을 사용하여 (k,r,h)-로컬 MR 코드의 일반적 구성법을 제시한다.
• 확장체 내 원소들의 선형 독립성에 기반한 랭크 분석을 통해 오류 패턴 하에서 패리티 체크 행렬의 전 Rank 유지성을 증명한다.
• 유한체 위에서의 다항식 보간을 활용하여 로컬 및 헤비 패리티 제약 조건을 만족하는 코드어를 구성함으로써 최대 복구 가능성을 확보한다.
• 필드 추적과 프로베누스 자기 동형사상 기법을 적용하여 평가 점들의 선형 독립성을 분석하고 필드 크기의 한계를 유도한다.
• 행렬 M의 구조와 그 행렬식을 활용하여 특정 그룹 크기 제약 조건 하에서 비특이성을 증명함으로써 코드의 정확성을 확보한다.

실험 결과

연구 질문

• RQ1 h=3인 SD 코드는 필드 크기가 n에 대해 선형적으로 증가하는 작은 유한체 위에서 구성될 수 있는가?
• RQ2 h가 4로 나누어지는 경우와 g=2개의 로컬 그룹을 가진 MR 코드는 선형화되지 않은 구성법을 사용하여 필드 크기를 n^{h/2}로 줄일 수 있는가?
• RQ3 MR 코드의 경우, 바르드모인 유형의 구성법이 선형화된 구성법보다 필드 크기 측면에서 뛰어나게 성능을 발휘할 수 있는가?
• RQ4 h > 2이고 g=2일 때 MR 코드에 필요한 최소 필드 크기는 무엇이며, 이를 명시적 구성법으로 달성할 수 있는가?
• RQ5 모든 그룹에 대해 r_i ≤ ⌈h/g⌉+1 이라는 조건 하에서 행렬 M의 행렬식이 0이 아님을 증명할 수 있는가?

주요 결과

• 논문은 h=3 및 r=O(1)인 명시적 SD 코드를 필드 크기 O(n)로 구성하여 이 매개터의 최적의 필드 크기 성장률을 달성한다.
• g=2개의 로컬 그룹과 h가 4로 나누어지는 경우, MR 코드의 구성은 필드 크기 n^{h/2}를 달성하여 이전의 구성법보다 향상된다.
• 제안된 구성법은 연속된 지수 1,2,3,…를 사용하는 바르드모인 유형이므로 선형화된 구성법이 가진 열악한 필드 크기를 피한다.
• 선형화된 구성법이 O(n^{h/2}) 이하의 필드 크기를 달성할 수 없음을 증명하여, 이 설정에서 바르드모인 접근법이 점근적으로 최적임을 입증한다.
• 모든 그룹에서 최대 ⌈h/g⌉+1개의 심볼이 삭제되는 조건 하에서 행렬 M의 행렬식이 0이 아니라는 것이 증명되어 코드의 정확성이 보장된다.
• 모든 정보 이론적으로 복구 가능한 오류 패턴 하에서 패리티 체크 행렬의 랭크가 여전히 최대로 유지됨을 증명함으로써, 구성법이 최대 복구 가능함을 입증한다.