[论文解读] Replication based storage systems with local repair

Oktay Ölmez, Aditya Ramamoorthy|arXiv (Cornell University)|May 24, 2013

Advanced Data Storage Technologies参考文献 6被引用 8

一句话总结

本文提出了一类基于复制的分布式存储系统的新类别，采用外层MDS码和内层分数重复（FR）码，实现局部、精确且无编码修复。建立了紧致的最小距离界限，并利用高圈长图、仿射可分解设计和射影平面构造最优码，实现了 $ρ^{ ext{res}}_{ ext{loc}} > 1$ 的局部修复以及在特定参数下的最优文件大小恢复。

ABSTRACT

We consider the design of regenerating codes for distributed storage systems that enjoy the property of local, exact and uncoded repair, i.e., (a) upon failure, a node can be regenerated by simply downloading packets from the surviving nodes and (b) the number of surviving nodes contacted is strictly smaller than the number of nodes that need to be contacted for reconstructing the stored file. Our codes consist of an outer MDS code and an inner fractional repetition code that specifies the placement of the encoded symbols on the storage nodes. For our class of codes, we identify the tradeoff between the local repair property and the minimum distance. We present codes based on graphs of high girth, affine resolvable designs and projective planes that meet the minimum distance bound for specific choices of file sizes.

研究动机与目标

• 设计支持局部、精确且无编码修复的分布式存储系统，以降低修复带宽和节点接触数。
• 建立基于复制的系统中局部修复能力与最小距离之间的理论权衡关系。
• 利用组合设计（如仿射可分解设计和射影平面）构造显式码，使其满足推导出的最小距离界限。
• 在特定文件大小和系统参数下证明码的最优性，确保对多重节点失效的鲁棒性。

提出的方法

• 采用两级码构造：外层MDS码用于文件恢复，内层分数重复（FR）码用于节点放置和局部修复。
• 应用组合结构——高圈长图、仿射可分解设计和射影平面——生成具有受控冗余和修复局部性的FR码。
• 实施一种修复机制，通过从少于 $k$ 个存活节点下载无编码数据包来再生失效节点，确保低修复度 $r < k$。
• 采用Corrádi引理推导局部FR码中 $a_i$ 个节点覆盖符号数的下界，从而支持最小距离分析。
• 推导出最小距离界限：$d_{\text{min}} \leq (l - t)n$，并在特定条件下证明其紧致性。
• 通过证明任意 $tn+1$ 个节点至少覆盖 $\mathcal{M} = t\theta + \alpha$ 个符号，验证码的最优性，确保文件恢复与局部修复能力。

实验结果

研究问题

• RQ1 基于复制的存储系统能否在保持高最小距离的同时实现局部、精确且无编码修复？
• RQ2 此类系统中，局部修复能力（以 $\rho^{\text{res}}_{\text{loc}}$ 衡量）与最小距离之间的基本权衡关系是什么？
• RQ3 如何利用仿射可分解设计和射影平面等组合设计构造满足理论最小距离界限的FR码？
• RQ4 在何种条件下，所提出的码构造在文件大小和修复局部性方面达到最优？
• RQ5 能否通过避免编码计算，使修复过程同时实现带宽效率和内存效率？

主要发现

• 在 $n=28$、$k=15$ 和文件大小 $\mathcal{M}=17$ 的系统中，所提出的码构造在法诺平面示例中实现了最优最小距离 $d_{\text{min}} = 14$。
• 对于阶数为 $q$ 的射影平面，码实现 $\rho^{\text{res}}_{\text{loc}} = q$，且 $\beta=1$，支持仅通过每次接触一个数据包即可实现高效局部修复。
• 利用 $q^m$ 参数的仿射可分解设计，码实现 $\rho^{\text{res}}_{\text{loc}} = q^{m-1} - 1$，支持最多 $q^{m-1}-1$ 次失效后的局部恢复。
• 通过使用 $l$ 个基础FR码的不相交副本构造，确保任意 $tn+1$ 个节点至少覆盖 $t\theta + \alpha$ 个符号，从而在推导界限下证明最优性。
• 最小距离界限 $d_{\text{min}} \leq (l - t)n$ 是紧致的，当系统参数满足 $\rho \geq \frac{\alpha + (\Delta - 1)\beta}{\alpha}$ 时达到，确保系统鲁棒性。
• 该方法支持 $r < k$ 的无编码修复，相比编码修复显著降低计算开销和内存访问，同时保持MDS特性。