[论文解读] Optimal Repair Schemes for Some Families of Full-Length Reed-Solomon Codes

Son Hoang Dau, Olgica Milenković|arXiv (Cornell University)|Jan 15, 2017

Advanced Data Storage Technologies参考文献 13被引用 7

一句话总结

本文提出了一种针对全长 Reed-Solomon 码在 $\mathbb{F}_{q^t}$ 上的最优线性修复方案，适用于任意冗余度 $r \geq q^s$ 且 $1 \leq s < t$ 的情况，利用线性多项式实现修复带宽为 $(n-1)(t-s)\log_2 q$ 比特。当 $n = q^t$ 且 $r = q^s$ 时，该方案为最优，扩展了以往工作，不再要求 $(t-s) \mid t$，并通过子域迹函数降低修复开销。

ABSTRACT

Reed-Solomon codes have found many applications in practical storage systems, but were until recently considered unsuitable for distributed storage applications due to the widely-held belief that they have poor repair bandwidth. The work of Guruswami and Wootters (STOC'16) has shown that one can actually perform bandwidth-efficient linear repair with Reed-Solomon codes: When the codes are over the field $\mathbb{F}_{q^t}$ and the number of parities $r \geq q^s$, where $(t-s)$ divides $t$, there exists a linear scheme that achieves a repair bandwidth of $(n-1)(t-s)\log_2 q$ bits. We extend this result by showing the existence of such a linear repair scheme for every $1 \leq s &lt; t$. Moreover, our new schemes are optimal among all linear repair schemes for Reed-Solomon codes when $n = q^t$ and $r = q^s$. Additionally, we improve the lower bound on the repair bandwidth for Reed-Solomon codes, also established in the work of Guruswami and Wootters.

研究动机与目标

• 填补当冗余度 $r = q^s$ 且 $(t-s) \nmid t$ 时，全长 Reed-Solomon 码最优修复带宽研究中的空白，此前方案受到限制。
• 将 Guruswami-Wootters 修复框架从基于迹的方法扩展至适用于所有 $1 \leq s < t$ 的情况，而不仅限于 $t-s$ 整除 $t$ 的情形。
• 为全长 $n = q^t$ 且冗余度 $r = q^s$ 的 Reed-Solomon 码构造具有最小修复带宽的线性修复方案，并证明其最优性。
• 改进 Reed-Solomon 码的修复带宽下界，表明其在所有测试情况下均与可实现带宽一致。

提出的方法

• 该方法使用线性多项式 $L_W(x) = \prod_{w \in W}(x - w)$，其中 $W$ 是 $\mathbb{F}_{q^t}$ 中维度为 $s$ 的 $\mathbb{F}_q$-子空间，以生成用于修复的对偶码字。
• 通过 $\mathbb{F}_q$-基 $\{u_1, \dots, u_t\}$ 构造多项式 $g_i(x) = L_W(u_i(x - \alpha^*)) / (x - \alpha^*)$，确保其为 Reed-Solomon 码的有效校验多项式。
• 修复过程通过从 $n-1$ 个存活节点下载 $g_i(\alpha)$ 值来恢复故障符号 $f(\alpha^*)$，每个节点贡献 $t-s$ 比特（$\mathbb{F}_q$ 上），总带宽为 $(n-1)(t-s)\log_2 q$ 比特。
• 在 $\alpha \neq \alpha^*$ 处对 $g_i(x)$ 的求值在 $\mathbb{F}_q$ 上的秩被限制在 $t-s$ 以内，从而保证带宽效率。
• 当 $n = q^t$ 且 $r = q^s$ 时，该方案被证明为最优，基于一个改进的修复带宽下界，该下界优于 Guruswami 和 Wootters 的结果。
• 理论与数值证据表明，改进后的下界在所有全长 Reed-Solomon 码中均与最优修复带宽一致。

实验结果

研究问题

• RQ1 当 $(t-s) \nmid t$ 时，是否可在 $r = q^s$ 且 $s < t$ 的全长 Reed-Solomon 码中实现最优修复带宽？
• RQ2 是否可以将 Guruswami-Wootters 修复方案从基于迹的方法推广，使用具有不同根的线性多项式，以适用于所有 $1 \leq s < t$ 的情况？
• RQ3 Reed-Solomon 码的修复带宽的最紧下界是什么？它是否与全长情况下的可实现带宽一致？
• RQ4 能否构造一种修复方案，使其对所有 $r \geq q^s$ 和 $1 \leq s < t$ 均为最优，而不仅限于 $r = q^s$ 的情况？
• RQ5 与迹多项式相比，使用线性多项式是否能在带宽和子分块化水平方面实现更好或相当的修复效率？

主要发现

• 对于所有全长 Reed-Solomon 码（$n = q^t$ 且 $r \geq q^s$），修复带宽 $(n-1)(t-s)\log_2 q$ 比特均可通过线性多项式实现，适用于任意 $1 \leq s < t$。
• 当 $n = q^t$ 且 $r = q^s$ 时，所提出的修复方案在所有线性修复方案中为最优，与理论下界完全一致。
• 对 Reed-Solomon 码修复带宽的改进下界在所有测试情况下均与可实现带宽匹配，表明该下界是紧的。
• 使用具有不同根的线性多项式可为所有 $s < t$ 构造修复方案，消除了以往要求 $(t-s) \mid t$ 的限制。
• 该修复方案以子分块化水平 $\log_q n$ 实现最优带宽，显著低于其他 MSR 码中的指数级子分块化水平。
• 理论与数值结果表明，改进后的下界是紧的，并与所有全长 Reed-Solomon 码的最优修复带宽一致。