[논문 리뷰] Binary Locally Repairable Codes ---Sequential Repair for Multiple Erasures

Wentu Song, Chau Yuen|arXiv (Cornell University)|2015. 11. 19.

Advanced Data Storage Technologies참고 문헌 15인용 수 4

한 줄 요약

이 논문은 [r+1,r] 단일 패리티 체크 코드의 m개 복사본의 직접 곱으로 구성된 이진 국소적 복구 코드 가족을 소개한다. 이러한 코드는 국소성 r을 유지하면서 최대 $2^m - 1$개의 삭제를 순차적으로 복구할 수 있으며, 병렬 복구 접근 방식에 비해 훨씬 뛰어난 삭제 내성과 높은 코드율을 유지함으로써 분산 저장 시스템에서 순차 복구의 우수성을 입증한다.

ABSTRACT

Locally repairable codes (LRC) for distribute storage allow two approaches to locally repair multiple failed nodes: 1) parallel approach, by which each newcomer access a set of $r$ live nodes $(r$ is the repair locality$)$ to download data and recover the lost packet; and 2) sequential approach, by which the newcomers are properly ordered and each newcomer access a set of $r$ other nodes, which can be either a live node or a newcomer ordered before it. An $[n,k]$ linear code with locality $r$ and allows local repair for up to $t$ failed nodes by sequential approach is called an $(n,k,r,t)$-exact locally repairable code (ELRC). In this paper, we present a family of binary codes which is equivalent to the direct product of $m$ copies of the $[r+1,r]$ single-parity-check code. We prove that such codes are $(n,k,r,t)$-ELRC with $n=(r+1)^m,k=r^m$ and $t=2^m-1$, which implies that they permit local repair for up to $2^m-1$ erasures by sequential approach. Our result shows that the sequential approach has much bigger advantage than parallel approach.

연구 동기 및 목표

• 분산 저장 시스템에서 다중 노드 장애를 처리하는 데 있어 국소적 복구 코드(LRCs)의 순차 복구 전략 잠재력을 탐구하는 것.
• 기존의 병렬 복구 방식이 아닌 순차 복구 전략을 사용하여 최대 $t = 2^m - 1$개의 삭제를 정확히 복구할 수 있는 이진 LRCs를 구성하는 것.
• 직접 곱으로 구성된 m개의 [r+1,r] 단일 패리티 체크 코드가 $n = (r+1)^m$, $k = r^m$, $t = 2^m - 1$를 만족하는 $(n,k,r,t)$-정확 국소적 복구 코드(ELRC)를 형성한다는 것을 보여주는 것.
• 이 구성이 최적의 코드율을 달성하고 기존의 병렬 복구 기반 LRC 하위군(예: $(r,t)$-CLRC 또는 가용성 기반 코드)보다 훨씬 높은 삭제 내성 성능을 제공한다는 것을 입증하는 것.

제안 방법

• 길이 $n = (r+1)^m$ 이고 차원 $k = r^m$ 인 이진 선형 코드를 형성하기 위해 $[r+1,r]$ 단일 패리티 체크 코드의 m개 복사본의 직접 곱으로 코드를 구성하는 것.
• 각 좌표 $eta eq 0$ 에 대해 $eta imes eta^{(i)}$ 에서 $eta^{(i)}$ 를 제1좌표로 하는 복구 집합 $L^{(i)}_eta$ 를 정의하여 크기가 $r$ 인 국소 복구 집합을 형성하는 것.
• m에 대한 재귀적 귀납적 증명을 통해, 임의의 $2^m - 1$개 이하의 삭제된 좌표로 이루어진 집합 $E$ 에 대해, $R \setminus \beta \not\bigcup E$ 를 만족하는 복구 집합을 가진 좌표 $eta \notin E$ 가 존재함을 보여 순차 복구의 가능성을 입증하는 것.
• 제품 코드의 구조와 $[r+1,r]$ 코드의 성질을 활용하여 각 코드 기호가 크기가 $r$ 인 $m$개의 서로소 복구 집합을 가지며, 이는 높은 가용성과 순차 복구를 가능하게 한다.
• 임의의 크기가 $2^m - 1$ 이하인 부분집합 $E$ 에 대해, $E$ 외부에 있는 모든 복구 집합 원소를 가진 복구 가능한 기호 $eta \notin E$ 가 존재함을 보여, 코드가 $t = 2^m - 1$ 에 대해 $(n,k,r,t)$-ELRC임을 증명하는 것.
• 레퍼런스 8의 보조정리를 적용하여, $E$ 외부에 있는 복구 집합을 가진 기호의 존재성이 $t = 2^m - 1$ 개의 삭제에 대해 순차 복구를 지원한다는 것을 보여주는 것.

실험 결과

연구 질문

• RQ1 국소적 복구 코드에서 순차 복구 전략은 병렬 복구 방식에 비해 훨씬 더 많은 삭제를 처리할 수 있는가?

주요 결과

• m개의 [r+1,r] 단일 패리티 체크 코드 복사본의 직접 곱은 $n = (r+1)^m$, $k = r^m$, 국소성 $r$ 을 가진 이진 선형 코드를 형성한다.
• 이 코드는 $t = 2^m - 1$ 인 $(n,k,r,t)$-정확 국소적 복구 코드(ELRC)이며, 최대 $2^m - 1$개의 삭제를 순차적으로 복구할 수 있다.
• 코드는 최적의 코드율 $rac{k}{n} = rac{r^m}{(r+1)^m}$ 을 달성하며, 이는 $(r,t)$-CLRC나 가용성 기반 코드와 같은 병렬 복구 기반 LRC들에 알려진 한계를 초월한다.
• 순차 복구 전략을 통해, 다중 노드 동시 장애 상황에서도 각 신규 노드가 오직 $r$개의 보조 노드만 사용하여 최대 $2^m - 1$개의 삭제를 복구할 수 있으며, 복구 순서를 적절히 정렬함으로써 가능하다.
• 이 구성은 순차 복구가 병렬 복구보다 훨씬 높은 삭제 내성 성능을 달성할 수 있음을 보여주며, 병렬 복구는 $t$개의 서로소 복구 집합이 필요로 하는 $t$개의 삭제에 한정된다.
• 증명은 $bZ_{r+1}^m$ 의 곱 공간에 대해 귀납적 추론을 기반으로 하며, 크기가 $2^m - 1$ 이하인 임의의 집합 $E$ 에 대해, $E$ 의 여집합에 완전히 포함된 복구 집합을 가진 기호 $eta \notin E$ 가 존재함을 보여준다.