RAID 6을 위한 사이클릭 저밀도 MDS 배열 코드, 스타터 이론으로 구현

초록

본 논문은 RAID 6에 최적화된 거리‑3 사이클릭 저밀도 MDS 배열 코드(C‑Code)를 그룹 이론의 스타터(even starter)와 연결시켜, 짝을 이루는 트윈 코드와 무한 가족을 체계적으로 구성한다. 또한 존재하지 않는 짝수 길이에 대해 부분 사이클릭 구조를 갖는 quasi‑C‑Code를 다중 스타터(even multi‑starter)로 설계한다.

상세 분석

C‑Code는 B‑Code의 특수 형태로, 2n개의 열(디스크)과 n개의 행(데이터+패리티)으로 구성된 배열 코드를 의미한다. 핵심 특성은 (1) MDS 특성으로 두 디스크 손실을 복구 가능, (2) 업데이트 복잡도가 2인 최소값, (3) 길이가 2n인 경우 최장 가능 길이, (4) 사이클릭 대칭을 통한 구현 단순화이다. 논문은 이러한 C‑Code를 그래프 이론과 연결시켜, 2n‑regular 그래프 위에 2n+2개의 정점을 두고 ∞₁, ∞₂를 피라미드 꼭대기로 두는 bipyramidal perfect one‑factorization(P1F)과 동치임을 증명한다. 기존 연구에서 P1F를 스타터(even starter)로부터 구성한다는 사실을 활용해, (Z₂ₙ,+)의 짝수 스타터가 존재하면 즉시 C‑Code를 만들 수 있음을 보였다. 여기서 짝수 스타터는 0을 제외한 모든 원소를 한 번씩 차이값으로 나타내는 쌍들의 집합이며, 이러한 차이값이 서로 겹치지 않아야 한다.

또한, 각 스타터가 생성하는 P1F는 두 개의 서로 다른 팩터 집합을 교환함으로써 ‘트윈 코드’를 만든다. 트윈 코드는 동일한 길이와 동일한 성능을 유지하면서 열 순서를 뒤바꾸어 구현상의 유연성을 제공한다. 논문은 2n=8에서는 짝수 스타터가 존재하지 않음(즉, C‑Code가 불가능)함을 확인하고, 이를 보완하기 위해 even multi‑starter 개념을 도입한다. 다중 스타터는 여러 개의 스타터를 합쳐서 차이값을 커버하도록 설계되며, 이를 통해 부분 사이클릭 대칭을 유지하는 quasi‑C‑Code를 구성한다.

구체적인 건설 결과로는 (i) 소수 p에 대해 길이 p‑1인 C‑Code 무한 가족 4종(그 중 3종은 신규)과 (ii) 14, 20, 24, 26, 32, 34, 38, 50 등 기존 문헌에 없던 희귀 짝수 길이의 C‑Code를 제시한다. (iii) 길이 2(p‑1)인 quasi‑C‑Code 무한 가족 2종을 제시하여, 8과 같이 C‑Code가 존재하지 않는 경우에도 RAID 6 수준의 이중 장애 복구를 제공한다. 마지막으로, 기존에 비사이클릭 B‑Code로 알려진 여러 구성들을 스타터 기반 변환을 통해 모두 사이클릭 형태의 C‑Code 혹은 quasi‑C‑Code로 전환 가능함을 증명한다.

이러한 결과는 RAID 6 구현 시 디스크 수가 짝수이면서도 최적 저장 효율과 최소 업데이트 비용을 동시에 만족하는 코드를 설계할 수 있는 새로운 이론적 토대를 제공한다. 특히 스타터와 그래프 P1F 사이의 일대일 대응 관계는 향후 다른 파라미터(예: 거리‑4 코드)에도 확장 가능성을 시사한다.