[论文解读] Enabling optimal access and error correction for the repair of Reed-Solomon codes

Zitan Chen, Min Ye+1 more|arXiv (Cornell University)|Jan 20, 2020

Advanced Data Storage Technologies参考文献 23被引用 9

一句话总结

本文提出了一种新型的 Reed-Solomon 码修复方案，可在实现最优修复带宽的同时，对辅助节点信息错误具有鲁棒性，并且还支持最优访问。该方案构建了一个新的 RS 码家族，可同时支持这两种特性，并证明了任何具有最优修复带宽的标量 MDS 码均可被调整以支持最优访问。

ABSTRACT

Recently Reed-Solomon (RS) codes were shown to possess a repair scheme that supports repair of failed nodes with optimal repair bandwidth. In this paper, we extend this result in two directions. First, we propose a new repair scheme for the RS codes constructed in [Tamo-Ye-Barg, {\em IEEE Transactions on Information Theory}, vol. 65, May 2019] and show that our new scheme is robust to erroneous information provided by the helper nodes while maintaining the optimal repair bandwidth. Second, we construct a new family of RS codes with optimal access for the repair of any single failed node. We also show that the constructed codes can accommodate both features, supporting optimal-access repair with optimal error-correction capability. Going beyond RS codes, we also prove that any scalar MDS code with optimal repair bandwidth allows for a repair scheme with optimal access property.

研究动机与目标

• 解决在分布式存储系统中使用 Reed-Solomon 码实现高效、鲁棒修复的挑战。
• 克服现有修复方案在缺乏对辅助节点数据错误的鲁棒性或访问成本过高的局限性。
• 开发一种新的 RS 码家族，可同时支持最优修复带宽、最优访问和最优错误纠正能力。
• 建立标量 MDS 码在具备最优修复带宽时，也能实现最优访问特性的通用条件。
• 为在单一码构造中结合多种理想修复特性提供理论基础。

提出的方法

• 提出一种基于 Tamo-Ye-Barg (2019) 构造的 RS 码的新修复方案，该方案在保持最优修复带宽的同时，可抵御最多 e 个错误辅助节点的影响。
• 利用有限域上的迹函数和代数结构，推导出对辅助数据错误具有鲁棒性的修复方程。
• 通过子分块化和域扩张技术，构建一个新的 RS 码家族，确保修复过程中仅需访问每个辅助节点数据的一小部分。
• 利用基于迹的恒等式和多项式插值，推导出即使部分辅助节点被攻破也能保持正确性的修复方程。
• 证明任何具有最优修复带宽的标量 MDS 码，均可通过合适的基变换转化为具备最优访问特性的码。
• 利用源自 MDS 码特性的组合与代数约束，建立修复带宽和访问成本的边界。

实验结果

研究问题

• RQ1 Reed-Solomon 码能否在修复时实现最优带宽，同时对辅助节点数据中的错误保持鲁棒性？
• RQ2 是否可以构造出同时支持最优访问与最优错误纠正能力的 RS 码？
• RQ3 标量 MDS 码在何种结构条件下可确保最优访问修复方案的存在？
• RQ4 域扩张与迹函数如何实现 RS 码中的抗错误修复？
• RQ5 最优访问特性是否可普遍应用于所有具有最优修复带宽的标量 MDS 码？

主要发现

• 所提出的 RS 码修复方案即使在最多 e 个辅助节点提供错误数据的情况下，仍能实现最优修复带宽，满足理论下界 β(d,e) ≥ dl/(d−2e−k+1)。
• 构建了一个新的 RS 码家族，支持最优访问修复，每个修复过程仅需访问每个辅助节点数据的 1/(d−k+1) 比例。
• 所构造的码同时支持最优修复带宽、最优访问和最优错误纠正能力，实现了三重性能边界的同时最优。
• 证明了任何具有最优修复带宽的标量 MDS 码，均可通过适当基的选择转化为具备最优访问特性的码。
• 通过基于迹的恒等式证明了修复过程对错误具有鲁棒性，即使辅助数据被污染也能保持正确性。
• 该构造依赖于域扩张和迹函数，推导出高效且鲁棒的修复方程，且对访问和传输的符号数量有明确的边界。