[论文解读] On Locally Recoverable (LRC) Codes

Mario Blaum|arXiv (Cornell University)|Dec 18, 2015

Advanced Data Storage Technologies参考文献 12被引用 3

一句话总结

本文提出了一种基于扩展 Reed-Solomon 码的奇偶校验矩阵，构造了简单且显式的最优局部可恢复（LRC）码。该方法在域大小 $ q \geq mn $ 时实现最优最小距离 $ d = \ell + g + 1 $，当 $ g \leq \ell + 1 $ 时将域大小降低至 $ q \geq n $，从而可在小域上通过异或运算和循环移位实现高效实现。

ABSTRACT

We present simple constructions of optimal erasure-correcting LRC codes by exhibiting their parity-check matrices. When the number of local parities in a parity group plus the number of global parities is smaller than the size of the parity group, the constructed codes are optimal with a field of size at least the length of the code. We can reduce the size of the field to at least the size of the parity groups when the number of global parities equals the number of local parities in a parity group plus one.

研究动机与目标

• 设计简单且显式的最优 LRC 码构造方法，以支持分布式存储系统中单设备故障的快速本地恢复。
• 在保持最优最小距离和全局删除纠正能力的前提下，最小化 LRC 码所需的域大小。
• 为实际存储系统中局部修复效率与全局容错能力之间的平衡提供一个构造框架。
• 将已知构造方法扩展至 $ \ell + g < n $ 的情形，相比先前复杂方法，简化了设计。

提出的方法

• 使用扩展 Reed-Solomon（ERS）码构造局部和全局奇偶校验矩阵。
• 采用分块结构的奇偶校验矩阵，其中局部奇偶校验由参数为 $ (n, \ell; 0,0), (n, \ell; 0,r), \dots $ 的 RS 码导出。
• 引入基于长度为 $ mn - 1 $ 的扩展 RS 码的全局奇偶校验子矩阵，参数为 $ (mn-1, g; \ell, 0) $。
• 通过在由不可约多项式 $ 1 + x + \cdots + x^{p-1} $ 定义的域上应用异或运算和向量旋转，实现高效实现。
• 通过证明奇偶校验矩阵在异或运算后生成 MDS 码，确保所得码的最小距离为 $ d = \ell + g + 1 $。
• 当 $ g \leq \ell + 1 $ 时，利用奇偶校验矩阵的结构特性，将域大小降低至 $ q \geq n $。

实验结果

研究问题

• RQ1 能否构造出具有简单显式奇偶校验矩阵结构的最优 LRC 码？
• RQ2 在具有局部和全局奇偶校验的 LRC 码中，实现最优最小距离所需的最小域大小是多少？
• RQ3 当 $ g \leq \ell + 1 $ 时，如何在不牺牲最优性的情况下减小域大小？
• RQ4 能否利用扩展 Reed-Solomon 码构造出支持基于异或运算解码的最优 LRC 码？
• RQ5 与现有的 PMDS 或 SD 码构造相比，所提出的构造在性能和域大小方面表现如何？

主要发现

• 所构造的 LRC 码在 Singleton 类型界上取等，实现最优最小距离 $ d = \ell + g + 1 $。
• 当 $ \ell + g < n $ 时，码为最优，且所需域大小至少为 $ q = mn $。
• 当 $ g \leq \ell + 1 $ 时，域大小可降低至 $ q \geq n $，显著提升实用性。
• 奇偶校验矩阵结构允许仅通过小域上的异或运算和向量旋转实现高效计算。
• 以 $ (m,n;\ell,g) = (2,8;1,4) $ 在 $ GF(16) $ 上的构造为例，实现 $ d = 6 $，达到最优界。
• 该方法可推广至更大数组，如 $ 6 \times 5 $ 且 $ \ell = g = 2 $ 的情形，得到 $ d = 5 $，在给定约束下仍保持最优。