[论文解读] Constructing MSR codes with subpacketization $2^{n/3}$ for $k+1$ helper nodes

Ningning Wang, Guodong Li+2 more|arXiv (Cornell University)|Aug 8, 2022

Advanced Data Storage Technologies被引用 4

一句话总结

本论文提出了一种新的显式构造方法，用于分布式存储系统中的最小存储再生（MSR）码，其中帮助节点数 $ d = k+1 $，且码长 $ n \geq k+2 $。该构造实现了子分块大小 $ 2^{n/3} $，保证所有节点（包括系统节点和校验节点）的最优修复，并在大小为 $ n $ 的线性量级的有限域上运行，扩展了以往仅保证系统节点最优修复的工作。

ABSTRACT

Wang et al. (IEEE Transactions on Information Theory, vol. 62, no. 8, 2016) proposed an explicit construction of an $(n=k+2,k)$ Minimum Storage Regenerating (MSR) code with $2$ parity nodes and subpacketization $2^{k/3}$. The number of helper nodes for this code is $d=k+1=n-1$, and this code has the smallest subpacketization among all the existing explicit constructions of MSR codes with the same $n,k$ and $d$. In this paper, we present a new construction of MSR codes for a wider range of parameters. More precisely, we still fix $d=k+1$, but we allow the code length $n$ to be any integer satisfying $n\ge k+2$. The field size of our code is linear in $n$, and the subpacketization of our code is $2^{n/3}$. This value is slightly larger than the subpacketization of the construction by Wang et al. because their code construction only guarantees optimal repair for all the systematic nodes while our code construction guarantees optimal repair for all nodes.

研究动机与目标

• 将现有仅保证系统节点最优修复的 MSR 码构造扩展为确保所有节点（包括校验节点）均实现最优修复。
• 构造适用于更广泛参数范围的显式 MSR 码，特别是允许 $ n \geq k+2 $，同时固定 $ d = k+1 $。
• 在保持较低域大小的前提下最小化子分块大小，提升大规模分布式存储系统的实用性。
• 提供代码构造中关键矩阵的 MDS 性质和可逆性的严格证明，以确保正确性和修复最优性。

提出的方法

• 该构造采用校验方程的递归分解方法，将 $ \ell = 2^{n/3} $ 个块行根据索引的二进制表示划分为更小的子块。
• 对于每个节点 $ i $，修复过程依赖于 $ \ell/2 $ 个块行，其选择基于索引的第 $ i $ 个比特，从而实现高效且最优的修复。
• 校验节点通过配对机制进行修复：对于节点 $ 3i+2 $，将块行划分为配对 $ (a, a+2^i) $，并将它们的方程相加，形成 $ \ell/2 $ 个有效方程。
• 该方法引入了块对角矩阵 $ \overline{A}_0, \overline{A}_1, \widetilde{A}_2, \widehat{A}_2 $ 和递归矩阵 $ \overline{A}_{3i}, \overline{A}_{3i+1}, \overline{A}_{3i+2} $，其元素由域元素 $ L_j $ 导出，以确保线性无关性。
• 通过将关键矩阵 $ Q $ 视为多元多项式，应用列变换提取非零因子，并证明其行列式非零（忽略符号），从而证明了其可逆性。
• 该构造通过将 Wang 等人 [5] 的工作从 $ n = k+2 $ 推广至 $ n \geq k+2 $，在保持低域大小的同时，将修复最优性扩展至所有节点。

实验结果

研究问题

• RQ1 能否在 $ n \geq k+2 $、$ d = k+1 $ 的条件下，构造出子分块大小为 $ 2^{n/3} $ 的 MSR 码，同时确保所有节点的最优修复？
• RQ2 如何设计修复过程，使得所有节点类型（系统节点和校验节点）均可仅使用 $ \ell/2 $ 个有效方程实现高效修复？
• RQ3 在该广义构造中，确保 MDS 性质和修复矩阵可逆性所需的最小域大小是多少？
• RQ4 校验方程的递归结构如何同时实现低子分块大小和修复最优性？

主要发现

• 所提出的 MSR 码对任意 $ n \geq k+2 $ 实现了子分块大小 $ 2^{n/3} $，略高于 Wang 等人 [5] 的 $ 2^{k/3} $，但可实现所有节点的最优修复。
• 该码在大小为 $ n $ 的线性量级的有限域上构造，相较于需要指数域大小的构造更具实用性。
• 每个节点的修复仅使用 $ \ell/2 $ 个有效校验方程，通过基于索引的选择或配对机制获得，确保带宽最优。
• 通过证明关键矩阵 $ Q $ 的行列式非零，严格证明了 MDS 性质，该过程利用了多项式因式分解和列变换。
• 该构造通过将修复最优性从仅系统节点推广至所有节点（包括校验节点），扩展了先前工作的适用范围，适用于更广泛的参数类别。
• 当 $ n $ 不被 3 整除时，子分块大小变为 $ 2^{\lceil n/3 \rceil} $，并通过从可被 3 整除的情形进行删减（puncturing）保持构造的有效性。