[논문 리뷰] Construction of Partial MDS (PMDS) and Sector-Disk (SD) Codes with Two Global Parity Symbols

Mario Blaum, James S. Plank외 2명|arXiv (Cornell University)|2014. 01. 19.

Advanced Data Storage Technologies인용 수 4

한 줄 요약

이 논문은 유한체와 원시 원소를 사용하여 두 개의 글로벌 패리티 기호를 가진 부분-최소-거리(PMDS) 및 섹터-디스크(SD) 코드에 대한 일반적인 대수적 구성법을 제시한다. 이 방법은 임의의 수의 실패한 디스크와 최대 두 개의 추가로 삭제된 섹터에 대해 최대 복구 가능성을 보장하며, 비교적 낮은 체 크기만으로도 가능하게 하여 현대 스토리지 시스템의 오류 복구 코드 설계에서 열려 있는 문제를 해결한다.

ABSTRACT

Partial MDS (PMDS) codes are erasure codes combining local (row) correction with global additional correction of entries, while Sector-Disk (SD) codes are erasure codes that address the mixed failure mode of current RAID systems. It has been an open problem to construct general codes that have the PMDS and the SD properties, and previous work has relied on Monte-Carlo searches. In this paper, we present a general construction that addresses the case of any number of failed disks and in addition, two erased sectors. The construction requires a modest field size. This result generalizes previous constructions extending RAID~5 and RAID~6.

연구 동기 및 목표

• 임의의 수의 실패한 디스크와 최대 두 개의 추가로 삭제된 섹터에 대해 두 개의 글로벌 패리티 기호를 가진 일반적인 PMDS 및 SD 코드를 구성하는 열린 문제를 해결하기 위해.
• 몬테카를로 검색에 의존하는 것을 제거하고 결정론적이고 대수적인 구성법을 제공하기 위해.
• RAID 5와 RAID 6에 대한 이전의 구성법을 일반화하여 더 넓은 실패 패턴을 지원하도록 확장하기 위해.
• 모든 유효한 삭제 패턴 하에서 정확성을 보장하면서도 체 크기를 최소화하기 위해.
• 두 개의 추가 패리티 기호를 가진 PMDS 및 SD 코드에 모두 적용 가능한 통합 프레임워크를 제공하기 위해.

제안 방법

• 모든 배열 요소의 총 수를 초과하는 순서를 가진 원시 원소 $\alpha$를 가진 유한체 $GF(2^w)$를 사용하여 핵심 표현식의 가역성을 보장한다.
• 구조화된 행 블록을 사용하여 $m$개의 패리티 열과 두 개의 추가 글로벌 패리티 기호를 가진 SD 코드의 패리티 체크 행렬 $H$를 구성한다. 이 블록들은 $\alpha$의 거듭제곱 기반으로 이루어진다.
• 모든 삭제 패턴 하에서 랭크가 최대가 되도록 보장하기 위해, 이동 파라미터 $N = (m+1)(n-m-1)+1$를 도입하여 PMDS 코드용 수정된 패리티 체크 행렬 $H'$를 구현한다.
• 최소 다항식 $f_\alpha(x)$와 다항식 환 $M_p(x)$를 활용하여 체가 소수 체를 초월한 일반화를 수행한다.
• 체 순서 내에서 지수 차이를 제한하여 핵심 체 표현식의 가역성을 확보함으로써, 0 결과를 방지한다.
• 모든 요구되는 삭제 패턴이 구성된 코드 구조 하에서 복호가 가능하다는 것을 보여주는 대수적 증명을 통해 정확성을 검증한다.

실험 결과

연구 질문

• RQ1 몬테카를로 검색 방법을 피하는 결정론적이고 대수적인 구성법을 $(m;2)$ PMDS 및 SD 코드에 대해 개발할 수 있는가?
• RQ2 임의의 조합의 $m$ 개의 실패한 디스크와 두 개의 추가로 삭제된 섹터에 대해 정확한 복호를 보장하기 위해 필요한 최소 체 크기는 얼마인가?
• RQ3 구성법을 임의의 행과 열의 수를 가진 환경으로 일반화하여 최대 복구 가능성을 유지할 수 있는가?
• RQ4 모든 유효한 삭제 패턴 하에서 패리티 체크 행렬이 항상 랭크가 최대가 되도록 보장하는 대수적 조건은 무엇인가?
• RQ5 동일한 기반 구조를 사용하여 PMDS 및 SD 코드 모두를 지원할 수 있는 동일한 프레임워크를 적응시킬 수 있는가?

주요 결과

• 제안된 구성법은 임의의 $m$ 개의 실패한 디스크와 최대 두 개의 추가로 삭제된 섹터를 포함한 모든 유효한 삭제 패턴에 대해 최대 복구 가능성을 달성한다.
• SD 코드의 경우 필요한 체 크기가 배열 요소 총 수 이내로 제한되어 실용적인 타당성을 확보한다.
• PMDS 코드의 경우 체 크기 요구 사항은 총 섹터 수에 대해 최대 제곱 수준이며, 실세계 구현에 있어 효율적이다.
• 모든 삭제 시나리오 하에서 핵심 체 표현식의 가역성을 보여주는 대수적 추론을 통해 구성법의 정확성이 증명된다.
• 이전의 $(1;2)$ 및 $(2;2)$ 코드 구성법을 일반화하여 동일한 프레임워크 아래 통합함으로써 기존 방법을 확장한다.
• 동일한 핵심 구조를 사용하여 PMDS 및 SD 코드 모두를 지원하며, 패리티 체크 행렬 설계 방식의 차이만 존재한다.