[论文解读] On Partial Maximally-Recoverable and Maximally-Recoverable Codes

S. B. Balaji, P. Vijay Kumar|arXiv (Cornell University)|Jan 28, 2015

Advanced Data Storage Technologies参考文献 11被引用 4

一句话总结

本文引入了部分最大可修复（PMR）码作为最大可修复（MR）码的松弛形式，使高码率构造的域大小显著减小。提出了高码率PMR码的简单构造方法，并提出了一种通用框架以供进一步探索，同时提供了三种改进的MR码构造，其有限域大小更小，实现了固定 r 和 Δ 时域大小 O(n^{Δ−1}) 的结果。

ABSTRACT

An [n, k] linear code C that is subject to locality constraints imposed by a parity check matrix H0 is said to be a maximally recoverable (MR) code if it can recover from any erasure pattern that some k-dimensional subcode of the null space of H0 can recover from. The focus in this paper is on MR codes constrained to have all-symbol locality r. Given that it is challenging to construct MR codes having small field size, we present results in two directions. In the first, we relax the MR constraint and require only that apart from the requirement of being an optimum all-symbol locality code, the code must yield an MDS code when punctured in a single, specific pattern which ensures that each local code is punctured in precisely one coordinate and that no two local codes share the same punctured coordinate. We term these codes as partially maximally recoverable (PMR) codes. We provide a simple construction for high-rate PMR codes and then provide a general, promising approach that needs further investigation. In the second direction, we present three constructions of MR codes with improved parameters, primarily the size of the finite field employed in the construction

研究动机与目标

• 为解决在分布式存储系统中构造具有小有限域大小的最大可修复（MR）码的挑战。
• 通过引入部分最大可修复（PMR）码，放松严格的MR约束，同时保持最优的全符号局部性和MDS打孔特性。
• 开发具有改进域大小参数的新MR码构造，尤其针对高码率场景。
• 通过在奇偶校验矩阵上施加多项式约束，提出一种通用的非显式构造方法，实现域大小 O(n^{Δ−1}) 的MR码。
• 通过修改奇偶校验矩阵结构和代数结构，探索替代构造方法，以提高域大小效率。

提出的方法

• 提出PMR码，其为最优全符号局部性码，且在特定单模式下打孔后仍保持MDS特性，确保每个局部码仅在一个唯一坐标上被打孔。
• 基于有限域上多项式的求值构造，其中单项式避免指数满足 r mod (r+1) 的情形，以保证局部性特性。
• 对从 Reed-Solomon 码的子码中按大小为 r+1 的陪集分组导出的码应用打孔，保持局部性并实现MR特性。
• 通过重新定义域元素分配方式，对 [15] 中的奇偶校验矩阵构造进行修改，以减小域大小，同时保持MR特性。
• 采用奇偶校验矩阵的标准形式，包含固定MDS子矩阵和可变的局部奇偶块，证明存在域分配可产生MR码。
• 通过确保矩阵元素上的多项式约束满足所需的秩条件，证明存在域大小为 O(n^{Δ−1}) 的MR码。

实验结果

研究问题

• RQ1 我们能否在放松约束条件下，构造出具有全符号局部性 r 的高码率码，使其在非完全MR约束下仍为最大可修复？
• RQ2 构造具有全符号局部性 r 的MR码所需的最小有限域大小是多少？能否通过替代构造方法进一步减小？
• RQ3 能否使用非显式构造方法证明存在域大小为 O(n^{Δ−1}) 的MR码（固定 r 和 Δ）？
• RQ4 修改奇偶校验矩阵结构，特别是域元素的选择，如何影响最终码的域大小和MR特性？
• RQ5 能否设计一种打孔模式，使得打孔后的码保持MDS特性，同时保留局部修复能力并减小域大小？

主要发现

• 提供了高码率PMR码的构造方法，实现了最优全符号局部性与MDS打孔特性，且与完整MR码相比，域大小显著减小。
• 对于 k=5, n=15，所提出的PMR构造要求 q > 499，而先前构造要求 q > 1001（来自 [10]）或 q ≥ 2^14（来自 [16]）。
• 对 [15] 中奇偶校验矩阵的修改构造，可得到域大小 q−1 ≥ ψm 的MR码，且与 δ 无关，从而提高了域大小效率。
• 非显式构造证明了在固定 r 和 Δ 时，存在域大小为 O(n^{Δ−1}) 的MR码，优于先前的界。
• 该方法通过多项式约束确保奇偶校验矩阵的秩条件满足，从而保证最大可修复性。
• 该框架可扩展至可纠正 δ 个删除的局部码，当块大小为 δ×(r+1) 时，域大小保持为 O(n^{Δ−1})。