[论文解读] Enumerating Some Fractional Repetition Codes

Srijan Anil, Manish K. Gupta+1 more|arXiv (Cornell University)|Mar 27, 2013

Advanced Data Storage Technologies参考文献 12被引用 15

一句话总结

本文提出算法，通过构建节点-分组关联矩阵和正则图，枚举分数重复（FR）码，实现对参数 $n$、$ heta$、$d$ 和 $ ho$ 的系统化生成。主要贡献在于一种 $ ext{O}(n^3)$ 的算法，用于生成有效的关联矩阵，并提出新的方法构建 $d$-正则图，尤其针对 $ ho=2$ 和 $n= heta$ 的情况，支持在分布式存储系统中高效设计 DRESS 码。

ABSTRACT

In a distributed storage systems (DSS), regenerating codes are used to optimize bandwidth in the repair process of a failed node. To optimize other DSS parameters such as computation and disk I/O, Distributed Replication-based Simple Storage (Dress) Codes consisting of an inner Fractional Repetition (FR) code and an outer MDS code are commonly used. Thus constructing FR codes is an important research problem, and several constructions using graphs and designs have been proposed. In this paper, we present an algorithm for constructing the node-packet distribution matrix of FR codes and thus enumerate some FR codes up to a given number of nodes n. We also present algorithms for constructing regular graphs which give rise to FR codes.

研究动机与目标

• 开发一种系统化方法，用于在分布式存储系统（DSS）中构建分数重复（FR）码，以优化修复带宽和磁盘 I/O。
• 解决为给定参数 $n$、$\theta$、$d$ 和 $ ho$ 生成有效节点-分组分配矩阵的挑战。
• 提供构建 $d$-正则图的算法，以生成 FR 码，尤其针对 $ ho=2$ 和 $n=\theta$ 的情况，确保结构一致性和高效性。
• 实现对 FR 码的枚举，上限为给定的 $n$，支持在实际存储系统中部署 DRESS 码。

提出的方法

• 提出算法 1，通过计算给定 $n$ 下 $d$、$ ho$ 和 $ heta$ 的可行值，生成 $n \times \theta$ 的节点-分组关联矩阵，确保行权重为 $d$，列权重为 $ ho$。
• 以关联矩阵为基础构建 FR 码，其中每行代表一个节点，每列代表一个唯一分组，条目表示分组的存储情况。
• 提出算法 2，通过将节点划分为两个集合 $U$ 和 $V$，然后逐步添加边以满足度约束，构建 $d$-正则图。
• 应用算法 3 和算法 4，生成行权重为 $d$、列权重为 $ ho$ 的对称 $n \times n$ 邻接矩阵，适用于 $ ho=2$ 和 $n=\theta$ 的情况，支持 FR 码的构建。
• 采用基于循环图和边添加策略的图论构造方法，确保图的正则性，并避免任何单个节点或分组过载。
• 通过枚举至 $n=100$ 验证算法，结果公开发布于 http://www.ece.uvic.ca/~agullive/manish/List.html。

实验结果

研究问题

• RQ1 如何使用确定性算法，基于给定节点数 $n$ 系统化枚举 FR 码？
• RQ2 为指定参数构建有效节点-分组关联矩阵的计算复杂度是多少？
• RQ3 如何算法化生成 $d$-正则图，以获得复制因子 $ ho=2$ 且 $n=\theta$ 的 FR 码？
• RQ4 为确保图基构造生成具有均匀节点度和分组复制数的合法 FR 码，必须满足哪些结构约束？
• RQ5 能否构造具有受控行权重和列权重的邻接矩阵，以直接生成 FR 码的关联矩阵？

主要发现

• 所提出的构建节点-分组关联矩阵的算法时间复杂度为 $\Theta(n^3)$，可高效枚举 $n$ 最大达 100 的 FR 码。
• 对于 $ ho=2$ 且 $n=\theta$ 的情况，作者成功使用算法 2 构建 $d$-正则图，确保每个节点存储 $d$ 个分组，且每个分组被复制 $ ho=2$ 次。
• 算法 3 生成一个行权重为 $d$、列权重为 $ ho=2$ 的 $n \times n$ 邻接矩阵，作为构建合法 FR 码的基础。
• 算法 4 提供一种替代方法，用于生成具有受控行权重和列权重的对称邻接矩阵，适用于 $ ho=2$ 和 $n=\theta$ 的情况。
• 作者证明了可通过基于图的关联矩阵构建 FR 码，并给出了 $n=4$、$n=8$ 和 $n=16$ 的具体示例，表明任意两个节点最多共享一个公共分组。
• 枚举结果公开发布于 http://www.ece.uvic.ca/~agullive/manish/List.html，支持可复现性，并推动 DRESS 码设计的进一步研究。