[논문 리뷰] Storage Coding for Wear Leveling in Flash Memories

Anxiao, Jiang외 6명|ArXiv.org|2009. 11. 20.

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

한 줄 요약

이 논문은 NAND 플래시 메모리에서 블록 삭제 횟수를 정렬 기반 기법의 O(n log n)에서 단 하나의 보조 블록만을 사용하여 O(n)으로 줄이는 코드 기반 데이터 이동 알고리즘을 제안한다. GF(2)에서의 코드화를 활용해 최적의 삭제 횟수에 대해 2-근사값을 달성하며, 최악의 경우 최대 2n−1회의 삭제가 발생하여 내구성 수준 향상과 블록 간 삭제 부하 균형을 크게 향상시킨다.

ABSTRACT

Flash memory is a non-volatile computer memory comprised of blocks of cells, wherein each cell is implemented as either NAND or NOR floating gate. NAND flash is currently the most widely used type of flash memory. In a NAND flash memory, every block of cells consists of numerous pages; rewriting even a single page requires the whole block to be erased and reprogrammed. Block erasures determine both the longevity and the efficiency of a flash memory. Therefore, when data in a NAND flash memory are reorganized, minimizing the total number of block erasures required to achieve the desired data movement is an important goal. This leads to the flash data movement problem studied in this paper. We show that coding can significantly reduce the number of block erasures required for data movement, and present several optimal or nearly optimal data-movement algorithms based upon ideas from coding theory and combinatorics. In particular, we show that the sorting-based (non-coding) schemes require at least O(nlogn) erasures to move data among n blocks, whereas coding-based schemes require only O(n) erasures. Furthermore, coding-based schemes use only one auxiliary block, which is the best possible, and achieve a good balance between the number of erasures in each of the n+1 blocks.

연구 동기 및 목표

• NAND 플래시 메모리에서 데이터 이동 시 블록 삭제 횟수를 최소화함으로써 수명과 성능에 중요한 영향을 미치는 요소를 최소화한다.
• 데이터 이동에 필요한 보조 블록 수를 줄여 이론적 최소값인 하나로 만든다.
• 블록 간 삭제 횟수를 균형 있게 분배하여 조기 마모를 방지하고 신뢰성을 향상시킨다.
• 기존의 정렬 기반 접근 방식보다 삭제 횟수와 복잡도 측면에서 뛰어난 효율성과 함께 코드 기반 알고리즘을 개발한다.
• 데이터 이동 문제의 복잡도에 대한 이론적 경계를 설정하여, 삭제 횟수를 정확히 최소화하는 것이 NP-난해함을 보여준다.

제안 방법

• n개의 데이터 블록에 대해 오직 2n회의 블록 삭제로 데이터 재구성 가능한 GF(2)에서의 코드 설계 기법을 개발한다.
• 최대 2n−1회의 삭제를 달성하는 선형 코드 알고리즘을 도입하며, 이는 문제에 대해 최악의 경우 최적임을 증명한다.
• 정점이 블록을 나타내고 간선이 데이터 의존성을 나타내는 방향 그래프 전이 문제로 데이터 이동 문제를 모델링한다.
• 구축된 그래프 G′에서 최대 반독립 집합을 찾는 데로 데이터 이동을 매핑하기 위해 표준 블록 레이블링 체계를 사용한다.
• 유도된 그래프에서 최대 독립 집합 문제로의 감소를 통해 삭제 횟수 최소화 문제가 NP-난해함을 증명한다.
• 균형 잡힌 진입 차수와 출발 차수를 가진 전이 그래프 G′를 구축하여 균일한 삭제 분포를 확보하고 효율적인 코드화를 가능하게 한다.

실험 결과

연구 질문

• RQ1 코드 기반 기법을 통해 정렬 기반 기법의 O(n log n) 이론적 경계를 뛰어넘어 플래시 메모리에서 데이터 이동에 필요한 블록 삭제 횟수를 줄일 수 있는가?
• RQ2 다수의 블록이 필요한 비코드 기반 기법과 달리, 단 하나의 보조 블록만으로도 최적의 웨어 렐리빙을 달성할 수 있는가?
• RQ3 데이터 이동에 필요한 최소 삭제 횟수의 이론적 하한은 무엇이며, 실용적인 알고리즘이 이 최소값에 대해 일정 요소 근사값을 달성할 수 있는가?
• RQ4 코드 기반 기법을 통해 모든 블록(보조 블록 포함) 간 삭제 횟수를 균형 있게 분배하여 조기 마모를 방지할 수 있는가?
• RQ5 데이터 이동에 따른 블록 삭제 횟수를 최소화하는 것은 계산적으로 다룰 수 있는 문제인가, 아니면 NP-난해한가?

주요 결과

• 코드 기반 데이터 이동 알고리즘은 정렬 기반 기법의 O(n log n)에서 O(n)으로 삭제 횟수를 줄여 뚜렷한 점근적 향상을 달성한다.
• 제안된 GF(2) 기반 코드 설계는 n개의 데이터 블록에 대해 오직 2n회의 삭제만을 요구하며, 보조 블록 하나만을 사용한다.
• 선형 코드 알고리즘은 최대 2n−1회의 삭제를 달성하며, 이는 문제에 대해 최악의 경우 최적임이 증명된 바 있다.
• 모든 코드 기반 알고리즘은 주어진 인스턴스에 대해 최소 가능한 삭제 횟수에 대해 2-근사 비율을 달성한다.
• 블록 삭제 횟수 최소화 문제의 NP-난해성은 정확한 다항 시간 해법의 이론적 한계를 설정한다.
• 알고리즘은 모든 n+1개 블록(보조 블록 포함) 간에 뛰어난 부하 균형을 달성하여 웨어 렐리빙과 기기 수명 연장에 매우 중요하다.