[논문 리뷰] Codes With Hierarchical Locality

Birenjith Sasidharan, Gaurav Kumar Agarwal외 1명|NOT FOUND REPOSITORY (Indian Institute of Science Bangalore)|2015. 01. 27.

Advanced Data Storage Technologies참고 문헌 11인용 수 7

한 줄 요약

이 논문은 분산 스토리지 시스템에서 효율적인 국소 복구를 위한 계층적 국소성(locality)을 가진 코드를 소개한다. 다수의 오류를 복구하기 위해 다단계 코드 구조를 사용하며, 최소 거리에 대한 상한을 유도하고, 두 수준 및 임의의 수준의 계층적 코드에 대한 최적의 구성법을 제시한다. 기존의 피라미드 코드와 같은 전통적 코드보다 낮은 필드 크기와 향상된 복구 효율성을 달성한다.

ABSTRACT

In this paper, we study the notion of {\em codes with hierarchical locality} that is identified as another approach to local recovery from multiple erasures. The well-known class of {\em codes with locality} is said to possess hierarchical locality with a single level. In a {\em code with two-level hierarchical locality}, every symbol is protected by an inner-most local code, and another middle-level code of larger dimension containing the local code. We first consider codes with two levels of hierarchical locality, derive an upper bound on the minimum distance, and provide optimal code constructions of low field-size under certain parameter sets. Subsequently, we generalize both the bound and the constructions to hierarchical locality of arbitrary levels.

연구 동기 및 목표

• 기존 코드가 높은 복구 대역폭이나 복구 차수를 요구하는 바, 다중 오류 복구를 위한 효율적인 국소 복구 문제를 해결하기 위해.
• 단일 오류 복구를 넘어서 계층적 구조를 도입하여 다수의 수준을 가진 국소 코드를 일반화하기 위해.
• h단계 계층적 국소성을 가진 코드의 최소 거리에 대한 날카운 상한을 유도하여 이론적 최적성을 보장하기 위해.
• 특정 매개변수 제약 조건 하에서 낮은 필드 크기로 명시적이고 최적의 코드를 구성하여 실용적 구현을 가능하게 하기 위해.
• 두 수준 구성법을 일반화하여 임의의 h단계 계층적 코드를 만들며, 최적성과 복구 효율성을 유지하기 위해.

제안 방법

• 각 기호가 점진적으로 증가하는 부가성과 보호 수준을 가진 중첩된 국소 코드 시퀀스로 보호되는 계층적 코드 구조를 제안한다.
• 각 수준의 지지 크기와 최소 거리에 기반한 순서적 랭크 누적 추론을 사용하여 최소 거리에 대한 상한을 도출한다.
• 랭크 누적 국소 코드를 수준 간에 식별하기 위해 깊이 우선 탐색 알고리즘을 활용하여 상한이 날카로운지 보장한다.
• 유한체의 곱셈군의 부분군을 사용하여 코드를 구성하며, 나누어떨어짐 조건 $ n_h \mid n_{h-1} \mid \cdots \mid n $ 및 $ n_i \mid (p^m - 1) $ 를 확보한다.
• 최적성 조건을 수립: 또는 $ r_h \mid r_{h-1} \mid \cdots \mid r_1 \mid k $, 또는 블록 길이, 국소 거리, 코드 차원 간의 특정 관계.
• 유한체 $ \mathbb{F}_{p^m}^* $ 내의 부분군 체인에서 코스터 트리를 반복적으로 구축함으로써 h단계 계층적 코드로 일반화한다.

실험 결과

연구 질문

• RQ1 h단계 계층적 국소성을 가진 선형 코드의 최대 가능한 최소 거리는 무엇인가?
• RQ2 낮은 필드 크기와 나누어떨어짐 조건 등의 실용적 제약 조건 하에서 계층적 국소성을 가진 최적의 코드를 어떻게 구성할 수 있는가?
• RQ3 계층적 국소성을 통해 기존의 피라미드 코드와 비교해 다중 오류 복구 효율을 크게 향상시킬 수 있는가?
• RQ4 계층적 국소성을 가진 코드가 유도된 거리 상한에 도달하기 위한 필수 및 충분한 조건은 무엇인가?
• RQ5 계층적 구조는 기존 코드와 비교해 복구 차수를 줄여 다중 오류의 국소 복구를 어떻게 가능하게 하는가?

주요 결과

• h단계 계층적 국소성을 가진 코드의 최소 거리에 대한 상한이 도출되었으며, 이는 이전의 두 수준 코드 결과를 일반화한다.
• 두 수준 계층적 코드의 경우 상한은 $ d \leq \left(\sum_{i=1}^{h-1} (\lceil k/r_i \rceil - 1)(d_i - d_{i+1}) \right) + (\lceil k/r_h \rceil - 1)(d_h - 1) + 1 $ 이며, 특정 조건 하에서 등호가 성립한다.
• 낮은 필드 크기로 두 수준 코드의 최적 구성법이 제공되며, $ r_2 \mid r_1 \mid k $ 또는 특정 길이 및 차원 제약 조건을 만족할 경우 상한에 도달한다.
• 유한체 $ \mathbb{F}_{p^m}^* $ 내의 부분군 체인을 사용하여 h단계 코드로 일반화되었으며, $ n_h \mid n_{h-1} \mid \cdots \mid n $ 및 $ n_i \mid (p^m - 1) $ 를 보장한다.
• 두 수준 국소성을 가진 $[24,14,6]$-코드는 더블 오류 발생 시 복구 차수를 Windows Azure 코드의 12에서 8로 줄여 실용적 효율성 향상을 입증한다.
• 이 방법은 단일 오류 복구 시 $ r_2 = 3 $개의 기호만 사용함을 보장하며, Azure 코드의 $ r = 6 $ 보다 복구 국소성에서 크게 향상된다.