[论文解读] Bandwidth Adaptive & Error Resilient MBR Exact Repair Regenerating Codes

Kaveh Mahdaviani, Ashish Khisti+1 more|arXiv (Cornell University)|Nov 7, 2017

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

一句话总结

本文提出了一种带宽自适应且抗错误的（BAER）MBR再生码，支持修复过程中灵活的辅助节点数量，并可容忍最多 b 个错误节点。通过扩展产品矩阵码并引入新型修复方案，作者在这些约束条件下实现了最优存储容量下的精确修复，证明了紧致的上界，并在大有限域中构建了达到该上界的显式码。

ABSTRACT

Regenerating codes are efficient methods for distributed storage in storage networks, where node failures are common. They guarantee low cost data reconstruction and repair through accessing only a predefined number of arbitrarily chosen storage nodes in the network. In this work we consider two simultaneous extensions to the original regenerating codes framework introduced in [1]; i) both data reconstruction and repair are resilient to the presence of a certain number of erroneous nodes in the network and ii) the number of helper nodes in every repair is not fixed, but is a flexible parameter that can be selected during the runtime. We study the fundamental limits of required total repair bandwidth and provide an upper bound for the storage capacity of these codes under these assumptions. We then focus on the minimum repair bandwidth (MBR) case and derive the exact storage capacity by presenting explicit coding schemes with exact repair, which achieve the upper bound of the storage capacity in the considered setup. To this end, we first provide a more natural extension of the well-known Product Matrix (PM) MBR codes [2], modified to provide flexibility in the choice of number of helpers in each repair, and simultaneously be robust to erroneous nodes in the network. This is achieved by proving the non-singularity of family of matrices in large enough finite fields. We next provide another extension of the PM codes, based on novel repair schemes which enable flexibility in the number of helpers and robustness against erroneous nodes without any extra cost in field size compared to the original PM codes.

研究动机与目标

• 设计再生码，以在存在最多 b 个错误节点的网络中维持数据完整性和效率。
• 实现修复过程中辅助节点数量 d 的灵活选择，而非如传统框架中固定 d。
• 为同时具备错误鲁棒性与带宽自适应性的扩展模型，建立存储容量 F 的基本上限。
• 构建显式编码方案，在满足这些约束条件下实现最优存储容量，具备精确修复且域大小开销最小。
• 证明在大有限域中关键矩阵的非奇异性质，确保所提构造的可行性。

提出的方法

• 通过修改编码与修复过程，将产品矩阵（PM）MBR码扩展为支持可变 d，使其能适应任意 d ∈ D。
• 证明在大有限域上一族编码矩阵的非奇异性质，确保可靠的数据重构与修复。
• 提出一种新型修复方案，可在不增加域大小的前提下，实现灵活的辅助节点数 d 与错误鲁棒性。
• 使用带有导师辅助设置的信息流图模型，推导存储容量 F 的上界。
• 在信息流图上应用割集论证，将存储边容量 α 与来自真实辅助节点的修复边容量之和进行比较。
• 推导出 MBR 情况下的上界 F ≤ ∑_{j=0}^{k−2b−1} min{α, (d_min − 2b − j)α / (d_min − 2b)}，并证明其紧致性。

实验结果

研究问题

• RQ1 对于支持可变辅助节点数 d 且可容忍 b 个错误节点的再生码，其存储容量 F 的基本上限是什么？
• RQ2 在如此灵活且抗错误的框架中，能否在不牺牲存储容量的前提下实现精确修复？
• RQ3 是否可以构建显式编码方案，使其在这些扩展约束下达到推导出的 F 上限？
• RQ4 在存在错误的情况下，d ∈ D 的选择如何影响修复带宽与存储效率？
• RQ5 在这些新约束下，域大小需求是否仍与标准 PM 码相比保持最小？

主要发现

• 本文为 BAER MBR 码建立了紧致的存储容量 F 上界：F ≤ ∑_{j=0}^{k−2b−1} min{α, (d_min − 2b − j)α / (d_min − 2b)}
• 所推导的上界可通过显式编码方案实现，证明了所提构造的最优性。
• 所提码对任意 d ∈ D 均实现精确修复，并可容忍网络中最多 b 个错误节点。
• 所提码所需的域大小与标准 PM 码相当，确保了实际可行性。
• 证明了在足够大的有限域中，编码矩阵族的非奇异性质，验证了构造的正确性。
• 信息流图分析表明，导师辅助上界是紧致的，且适用于原始系统。