[논문 리뷰] MDS Array Codes with Optimal Rebuilding

Itzhak Tamo, Zhiying Wang외 1명|arXiv (Cornell University)|2011. 03. 19.

Advanced Data Storage Technologies참고 문헌 18인용 수 28

한 줄 요약

이 논문은 $r$-에러수정 MDS 어레이 코드에 대해 재건 비율 $\frac{1}{r}$ 를 갖는 최초의 명시적 구성법을 제시한다. 이는 정보 이론적 하한선에 도달한다. 방법은 $r=2$ 에서 $\mathbb{F}_3$ 위에서 선형 조합을 사용하는 교차 지그재그 집합(IZS 코드)을 사용하며, 복구 시 각 생존 노드에서 데이터의 $\frac{1}{r}$ 만을 액세스하여 정확한 재건을 가능하게 한다. 이는 효율적인 인코딩, 디코딩 및 최적의 업데이트 성질을 지원한다.

ABSTRACT

MDS array codes are widely used in storage systems to protect data against erasures. We address the \emph{rebuilding ratio} problem, namely, in the case of erasures, what is the the fraction of the remaining information that needs to be accessed in order to rebuild \emph{exactly} the lost information? It is clear that when the number of erasures equals the maximum number of erasures that an MDS code can correct then the rebuilding ratio is 1 (access all the remaining information). However, the interesting (and more practical) case is when the number of erasures is smaller than the erasure correcting capability of the code. For example, consider an MDS code that can correct two erasures: What is the smallest amount of information that one needs to access in order to correct a single erasure? Previous work showed that the rebuilding ratio is bounded between 1/2 and 3/4, however, the exact value was left as an open problem. In this paper, we solve this open problem and prove that for the case of a single erasure with a 2-erasure correcting code, the rebuilding ratio is 1/2. In general, we construct a new family of $r$-erasure correcting MDS array codes that has optimal rebuilding ratio of $\frac{1}{r}$ in the case of a single erasure. Our array codes have efficient encoding and decoding algorithms (for the case $r=2$ they use a finite field of size 3) and an optimal update property.

연구 동기 및 목표

• 2-에러수정 MDS 어레이 코드에서 단일 에러 수리의 최소 재건 비율을 결정하는 열린 문제를 해결하기 위해.
• 임의의 상수 $r$ 에 대해 $r$-에러수정 시스템 MDS 어레이 코드의 가족을 구성하여 재건 비율 $\frac{1}{r}$ 를 최적화하기 위해.
• 업데이트 효율성을 최적화하여, 한 개의 정보 요소를 업데이트할 때 어레이 내에서 $n-k+1$ 개의 요소 업데이트만 필요로 하기 위해.
• 시스템 노드의 정확한 재건에 대한 복구 대역폭의 정보 이론적 하한선을 충족시키기 위해.

제안 방법

• 특정 조합 구조를 가진 정보 기호의 선형 조합으로 패리티 기호를 형성하는 새로운 코드 구성법인 교차 지그재그 집합(IZS) 코드를 제안한다.
• 행렬 $A_l$ 을 $\mathbb{F}_3$ 위에서 정의하고, 조건 $A_l^3 = a^l I$ 를 만족시켜 부분행렬의 행렬식 조건을 통해 MDS 성질을 보장한다.
• 행렬 $[I, A_0, \dots, A_m; A_0^2, \dots, A_m^2]$ 의 모든 $1\times1$, $2\times2$, $3\times3$ 블록 부분행렬이 가역성을 확보한다.
• 행렬 $A_l$ 과 $A_l^2$ 의 가환성을 활용하여 모든 $l,m$ 에 대해 $A_l A_m = A_m A_l$ 이 성립함을 증명함으로써 코드 행동의 일관성을 보장한다.
• 코드 복제를 통해 $k+2$ 열 코드에서 $k+n$ 열 코드로의 확장을 실현하며, 최적의 재건 및 MDS 성질을 유지한다.
• 행렬식이 0이 아니라는 조건을 통해 MDS 성질을 증명한다: $\det(A_i A_j^{-1} - I) \neq 0$ 이며, $A^3 = a^{i-j}I \neq I$ 와 $\det(A^3 - I)$ 의 인수분해를 이용한다.

실험 결과

연구 질문

• RQ1 2-에러수정 MDS 어레이 코드에서 단일 에러 수리의 최소 재건 비율은 얼마인가?
• RQ2 재건 비율 $\frac{1}{r}$ 을 갖는 $r$-에러수정 MDS 어레이 코드의 명시적 구성이 가능한가?
• RQ3 정확한 재건 및 MDS 성질을 유지하면서 최적의 업데이트 효율성을 달성할 수 있는가?
• RQ4 특히 $r=2$ 인 경우에 대해 이러한 구성에 필요한 최소 유한체 크기는 얼마인가?

주요 결과

• 2-에러수정 MDS 어레이 코드에서 단일 에러 수리의 재건 비율은 정확히 $\frac{1}{2}$ 로, 이는 열린 문제를 해결한다.
• 제안된 IZS 코드는 $r$ 개의 에러를 수정할 때 재건 비율 $\frac{1}{r}$ 에 정보 이론적 하한선을 도달한다.
• $r=2$ 인 경우, 코드는 $\mathbb{F}_3$ 를 사용하여 최소한의 필드 산술로 효율적인 인코딩 및 디코딩을 가능하게 한다.
• 코드는 최적의 업데이트를 지원하며, 한 개의 정보 요소를 업데이트할 때 어레이 내에서 $n-k+1$ 개의 요소 업데이트만 필요로 한다.
• MDS 성질은 생성 행렬의 모든 $3\times3$ 블록 부분행렬이 행렬식 분석을 통해 가역임을 보여줌으로써 증명된다.
• 코드 복제를 통해 최적의 재건 및 MDS 성질을 유지하면서 임의의 $n$ 열로의 확장이 가능하다.