[논문 리뷰] Constructions of High-Rate MSR Codes over Small Fields

Netanel Raviv, Natalia Silberstein외 1명|arXiv (Cornell University)|2015. 05. 05.

Advanced Data Storage Technologies참고 문헌 13인용 수 6

한 줄 요약

이 논문은 완전 그래프와 초그래프의 완벽 매칭 및 행렬의 유리 표준형을 이용하여 소규모 유한체 위에서 고속도 최소 저장 재생(MSR) 코드의 명시적 구성법을 제시한다. 주요 기여는 2개 및 3개의 패리티 노드에 대해 액세스 최적성과 서브패cktization 경계를 달성하면서 이전 연구 대비 필드 크기를 현저히 줄인 데 있다—2개 패리티일 경우 필드 크기를 반으로 줄였고, 3개 패리티일 경우 지수적 필드 크기에서 로그 ℓ에 대한 선형 필드 크기로 전환하였다.

ABSTRACT

A novel technique for construction of minimum storage regenerating (MSR) codes is presented. Based on this technique, three explicit constructions of MSR codes are given. The first two constructions provide access-optimal MSR codes, with two and three parities, respectively, which attain the sub-packetization bound for access-optimal codes. The third construction provides longer MSR codes with three parities, which are not access-optimal, and do not necessarily attain the sub-packetization bound. In addition to a minimum storage in a node, all three constructions allow the entire data to be recovered from a minimal number of storage nodes. That is, given storage $\ell$ in each node, the entire stored data can be recovered from any $2\log_2 \ell$ for 2 parity nodes, and either $3\log_3\ell$ or $4\log_3\ell$ for 3 parity nodes. Second, in the first two constructions, a helper node accesses the minimum number of its symbols for repair of a failed node (access-optimality). The generator matrix of these codes is based on perfect matchings of complete graphs and hypergraphs, and on a rational canonical form of matrices. The goal of this paper is to provide a construction of such optimal codes over the smallest possible finite fields. For two parities, the field size is reduced by a factor of two for access-optimal codes compared to previous constructions. For three parities, in the first construction the field size is $6\log_3 \ell+1$ (or $3\log_3 \ell+1$ for fields with characteristic 2), and in the second construction the field size is larger, yet linear in $\log_3\ell$. Both constructions with 3 parities provide a significant improvement over existing previous works, since only non-explicit constructions with exponential field size (in $\log_3\ell$) were known so far.

연구 동기 및 목표

• 고속도 분산 저장 시스템을 위한 최소 필드 크기로 명시적이고 액세스 최적의 MSR 코드를 구성하는 것.
• 2개 및 3개 패리티 노드에 대해 이론적 경계에 맞는 최적의 서브패킷화 요소 ℓ = r^(k/r)를 달성하는 것.
• 특히 3개 패리티의 경우 이전에 비명시적이고 지수적 필드 크기를 요구했던 구성법에 비해 액세스 최적의 MSR 코드에 필요한 유한체 크기를 줄이는 것.
• 최소한의 노드 수(2 log₂ℓ개 노드로 2개 패리티, 3 log₃ℓ 또는 4 log₃ℓ개 노드로 3개 패리티)에서 전체 데이터 복구를 보장함으로써 시스템 효율성을 향상시키는 것.

제안 방법

• 완전 그래프와 초그래프의 완벽 매칭을 기반으로 한 생성 행렬 구성으로 구조적 대칭성과 낮은 서브패킷화를 확보하는 것.
• 행렬의 유리 표준형을 사용하여 고유구조와 가역성을 제어하는 코드 구성 요소 정의.
• 특정 다항식 조건(예: Q(h) ≠ 0)을 만족시키는 필드 원소 h ∈ 𝔽_q*를 활용하여 행렬의 가역성과 부분공간 조건을 보장하는 것.
• 핵심 블록 행렬의 가역성을 증명하기 위해 동시에 대각화 및 고유값 분리 논증을 적용하는 것.
• λ_Xj^6 ∉ {λ_Xi^6, λ_Xi^6 h^{±6}, ..., λ_Xi^6 h^{±18}}를 만족시키는 필드 원소 λ_Xi를 반복적으로 선택하여 행렬 간 고유값 겹침을 방지하는 것.
• 쌍별 행렬 차이 및 역행렬에서 유도된 3×3 블록 행렬의 행렬식 기반 가역성 검증을 통해 부분공간 조건을 확인하는 것.

실험 결과

연구 질문

• RQ1 2패리티 시스템에서 이론적 하한에 맞는 서브패킷화를 갖는 소규모 유한체 위에서 명시적 액세스 최적 MSR 코드를 구성할 수 있는가?
• RQ2 3패리티 MSR 코드의 경우, 지수적 필드 크기에서 로그 ℓ에 대한 선형 필드 크기로 줄일 수 있으며, 액세스 최적성과 서브패킷화 최적성을 유지할 수 있는가?
• RQ3 2개 및 3개 패리티 케이스에서 각각 2 log₂ℓ 또는 3 log₃ℓ 노드에서만 데이터를 복구할 수 있는 고속도 MSR 코드를 구성할 수 있는가?
• RQ4 필드 크기가 무엇이여야 액세스 최적성과 최소 서브패킷화를 유지하면서도 핵심 블록 행렬의 가역성을 보장할 수 있는가?
• RQ5 완벽 매칭과 유리 표준형의 사용이 필드 크기 및 복구 액세스 최적성에 대해 증명 가능한 명시적 MSR 코드 구성에 기여할 수 있는가?

주요 결과

• 2패리티 MSR 코드의 경우 필드 크기가 1 + 2 log₂ℓ로 줄어들었으며, 이는 이전 구성법의 필드 크기의 절반에 해당한다.
• 3패리티 액세스 최적 MSR 코드의 경우 필드 크기가 6 log₃ℓ + 1(특성 2일 경우 3 log₃ℓ + 1)로, 로그 ℓ에 대한 선형 의존성으로 전환되어 지수적 필드 크기에서 벗어났다.
• 구성법은 이론적 서브패킷화 경계 ℓ = r^(k/r)를 달성하며, r=2일 경우 ℓ = 2^(k/2), r=3일 경우 ℓ = 3^(k/3)이다.
• 2패리티의 경우 2 log₂ℓ개 노드에서, 3패리티의 경우 3 log₃ℓ 또는 4 log₃ℓ개 노드에서 전체 데이터 복구가 가능하며, 이는 알려진 하한과 일치한다.
• 보조 노드 접근 수를 β 기호로 최소화함으로써 이론적 최소 복구 대역폭을 달성함으로써 액세스 최적성을 보장한다.
• 제안된 방법은 q > max{42m, deg Q} + 1 조건 하에 명시적이고 증명 가능한 정확성을 갖는다. 이 조건은 모든 필수 블록 행렬의 가역성을 보장한다.