[论文解读] Kirkman Systems that Attain the Upper Bound on the Minimum Block Sum, for Access Balancing in Distributed Storage

William M. Brummond|arXiv (Cornell University)|Jun 5, 2019

Cooperative Communication and Network Coding参考文献 2被引用 5

一句话总结

本文提出了一类柯克曼三元组与四元组系统，其最小块和达到理论上的上限，从而在分布式存储中实现最优数据分发。通过利用可分解的组合设计，该方法确保服务器间负载均衡与地理冗余，最小化访问偏斜，同时保持跨地理位置的数据可用性。

ABSTRACT

We study a class of combinatorial designs called Kirkman systems, and we show that infinitely many Kirkman systems are well-distributed in a precise sense. Steiner triple systems of order $n$ can achieve a minimum block sum of $n$. Kirkman triple systems form parallel classes from the blocks of Steiner triple systems. We prove that there are an infinite number of Kirkman triple systems that have a minimum block sum of $n$. We expand this to quadruple systems. These concepts can then be applied to distributed storage to spread data across the servers, and servers across locations, using Kirkman triple systems, while having data well distributed by popularity, measured by the minimum block sum.

研究动机与目标

• 将最小和优化的概念从斯坦纳三元组系统扩展至柯克曼三元组与四元组系统，以适用于分布式存储。
• 通过最小化服务器间数据流行度的偏斜，实现分布式存储中的访问负载均衡，同时保持数据可用性。
• 利用支持地理冗余的组合设计，确保数据在流行度与地理位置上的良好分布。
• 证明存在无穷多个柯克曼系统，其最小块和达到理论上的上限。
• 构造此类系统的显式实例，并通过递归与乘积型设计方法展示其可扩展性。

提出的方法

• 利用可分解的斯坦纳系统（即柯克曼三元组与四元组系统）将数据块分配至服务器与地理位置。
• 应用最小和度量来评估每台服务器的流行度加权负载，定义为存储在其上的数据块流行度值的总和。
• 采用递归与乘积型构造方法（例如定理3.4）从较小系统生成更大规模的柯克曼系统，同时保持最小和边界的不变性。
• 使用平行类将服务器分组至不同地理位置，确保每个位置均包含所有数据的完整副本，以实现容错能力。
• 应用群作用与划分技术，将小系统嵌入大系统中，保持块和的不变性。
• 通过显式枚举小规模系统的平行类与最小和计算（例如KTS(9)、KQS(16)）验证构造的有效性。

实验结果

研究问题

• RQ1 能否构造出最小块和达到理论上限的柯克曼三元组系统？
• RQ2 是否存在无穷多个具有最优最小和特性的柯克曼三元组系统，以实现数据流行度的负载均衡？
• RQ3 最小和优化能否扩展至柯克曼四元组系统？它们是否同样达到理论上限？
• RQ4 如何利用组合设计同时实现数据访问负载的均衡与地理冗余？
• RQ5 哪些递归或乘积型构造技术可在系统规模扩展时保持最小和边界？

主要发现

• 存在无穷多个柯克曼三元组系统（KTS(n)），其最小块和等于理论上限值n，从而确保数据流行度的最优负载均衡。
• 对于九阶柯克曼三元组系统，其最小块和恰好为9，如在12台服务器上分布{0,1,...,8}流行度值的示例所示。
• 本文构造了一个十六阶柯克曼四元组系统（KQS(16)），其最小块和为18，与理论上限完全一致。
• 通过定理3.4的构造方法，能够成功从较小系统（如KQS(8)）生成更大系统（如KQS(16)），同时保持最小和边界。
• 所构造系统的平行类确保每个地理位置均包含所有数据的完整副本，从而在地理站点间实现容错能力。
• 在KQS(16)示例中，最小和18在全部28个平行类中均被实现，确认无任何块和低于此值。