[论文解读] Storage Coding for Wear Leveling in Flash Memories

Anxiao, Jiang+6 more|ArXiv.org|Nov 20, 2009

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难的。

提出的方法

• 设计一种在GF(2)上的编码方案，使得仅使用2n次块擦除即可完成n个数据块的数据重组。
• 提出一种线性编码算法，最多仅需2n−1次擦除，且已证明该结果为最坏情况下的最优解。
• 将数据搬移问题建模为有向图状态转移问题，其中顶点代表块，边代表数据依赖关系。
• 使用标准块编号系统，将数据搬移映射为在构造图G′中寻找最大半独立集的问题。
• 通过将问题归约为推导图上的最大独立集问题，证明最小化擦除次数是NP难的。
• 构建一个入度与出度均衡的转移图G′，以确保擦除分布均匀，并支持高效编码。

实验结果

研究问题

• RQ1 编码技术能否将闪存数据搬移所需的块擦除次数降低至基于排序方案的O(n log n)以下？
• RQ2 是否可能仅使用一个辅助块即实现最优磨损均衡，而非如非编码方案中需要多个块？
• RQ3 数据搬移所需的理论最小擦除次数是多少？是否存在一种实用算法可实现该最小值的常数因子近似？
• RQ4 如何利用编码技术均衡所有块（包括辅助块）的擦除次数，以防止过早失效？
• RQ5 最小化数据搬移过程中的块擦除次数在计算上是否可行，还是属于NP难问题？

主要发现

• 基于编码的数据搬移算法将块擦除次数从基于排序方案的O(n log n)降低至O(n)，实现了显著的渐近性能提升。
• 所提出的GF(2)编码方案仅需2n次擦除即可完成n个数据块的搬移，且仅使用一个辅助块。
• 线性编码算法最多仅需2n−1次擦除，且已证明该结果为该问题的最坏情况最优解。
• 两种基于编码的算法均实现了对任意实例最小可能擦除次数的2-近似比。
• 证明了最小化块擦除次数的问题是NP难的，确立了精确多项式时间解法的理论极限。
• 这些算法在所有n+1个块（包括辅助块）之间实现了极佳的负载均衡，这对磨损均衡和设备寿命至关重要。