arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2405.09010cs.ITmath.IT
收藏

关于访问最优可转换码的低域大小构造

On Low Field Size Constructions of Access-Optimal Convertible Codes

Saransh Chopra, Francisco Maturana, K. V. Rashmi

AI总结:

针对现有合并场景下访问最优MDS可转换码构造域大小过大的问题,本文给出了更严格的最小域大小界和多参数范围的低域大小显式构造,并证明了特殊范德蒙矩阵的超正则性。

摘要:

大多数大规模存储系统采用纠删码来提供抵御磁盘故障的能力。近期研究表明,根据磁盘故障率的变化调整这种冗余度可大幅节省存储成本。这一过程需要进行码转换,即使用初始[n^I, k^I]码编码的数据必须转换为使用最终[n^F, k^F]码编码的数据,这是一项资源密集型操作。可转换码是一类既能实现高效码转换,又能保持其他理想特性的编码。本文聚焦于转换的访问成本(转换过程中访问的码符号总数),以及一类重要的转换子类——合并场景(将多个初始码字合并为单个最终码字)。\n在该场景下,合并场景下所有参数的系统访问最优最大距离可分(MDS,Maximum Distance Separable)可转换码的显式构造已为人所知。然而,针对这些参数的一个关键子集的现有构造采用了范德蒙奇偶校验矩阵,需要较大的域大小,因此不适用于实际应用。本文提出了:(1)此类码的最小域大小要求的更严格界;(2)若干参数范围下的低域大小显式构造。在此过程中,我们证明了一类特殊设计的范德蒙矩阵的超正则性,这一结果本身可能具有独立研究价值。

英文摘要:

Most large-scale storage systems employ erasure coding to provide resilience against disk failures. Recent work has shown that tuning this redundancy to changes in disk failure rates leads to substantial storage savings. This process requires code conversion, wherein data encoded using an $[n^{I\mskip-2mu},k^{I\mskip-2mu}]$ initial code has to be transformed into data encoded using an $[n^{F\mskip-2mu},k^{F\mskip-2mu}]$ final code, a resource-intensive operation. Convertible codes are a class of codes that enable efficient code conversion while maintaining other desirable properties. In this paper, we focus on the access cost of conversion (total number of code symbols accessed in the conversion process) and on an important subclass of conversions known as the merge regime (combining multiple initial codewords into a single final codeword). In this setting, explicit constructions are known for systematic access-optimal Maximum Distance Separable (MDS) convertible codes for all parameters in the merge regime. However, the existing construction for a key subset of these parameters, which makes use of Vandermonde parity matrices, requires a large field size making it unsuitable for practical applications. In this paper, we provide (1) sharper bounds on the minimum field size requirement for such codes, and (2) explicit constructions for low field sizes for several parameter ranges. In doing so, we provide a proof of super-regularity of specially designed classes of Vandermonde matrices that could be of independent interest.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑