[论文解读] Space Bounds for Reliable Multi-Writer Data Store: Inherent Cost of Read/Write Primitives

Gregory Chockler, Dan Dobre+2 more|arXiv (Cornell University)|Aug 15, 2015

Distributed systems and fault tolerance参考文献 23被引用 3

一句话总结

本文证明，仅使用基本读/写寄存器实现可靠的多写者原子寄存器时，至少需要 kf 个寄存器的线性空间膨胀，其中 k 为客户端数量，f 为可容忍的故障数，且即使在顺序执行中也无法减少该空间开销。相比之下，使用比较并交换（CAS）原语可实现空间复杂度为常数、无等待且可适应竞争的实现，且在低竞争场景下具有最优的时间复杂度。

ABSTRACT

Reliable storage emulations from fault-prone components have established themselves as an algorithmic foundation of modern storage services and applications. Most existing reliable storage emulations are built from storage services supporting arbitrary read-modify-write primitives. Since such primitives are not typically exposed by pre-existing or off-the-shelf components (such as cloud storage services or network-attached disks) it is natural to ask if they are indeed essential for efficient storage emulations. In this paper, we answer this question in the affirmative. We show that relaxing the underlying storage to only support read/write operations leads to a linear blow-up in the emulation space requirements. We also show that the space complexity is not adaptive to concurrency, which implies that the storage cannot be reliably reclaimed even in sequential runs. On a positive side, we show that Compare-and-Swap primitives, which are commonly available with many off-the-shelf storage services, can be used to emulate a reliable multi-writer atomic register with constant storage and adaptive time complexity.

研究动机与目标

• 确定仅使用读/写原语是否足以在故障容错环境中实现空间高效的可靠存储模拟。
• 研究此类模拟的空间开销是否可自适应于并发程度，即使在顺序执行中亦然。
• 识别出最小且广泛可用的硬件原语（如比较并交换，CAS），以实现高效、常数空间的可靠存储实现。
• 在弱正确性保证下，为容错多写者寄存器模拟建立存储与时间复杂度的紧致界。
• 探讨是否可通过弱化正确性条件或使用替代原语，降低基于读/写原语模拟的空间复杂度。

提出的方法

• 证明了仅使用读/写原语实现容错多写者多读者（MWMR）寄存器时，所需寄存器数量的下界，表明其至少为 kf（k 个客户端，f 个故障）。
• 使用覆盖论证法证明，在顺序执行中，每个客户端的写操作可覆盖 f 个新寄存器，从而导致线性空间增长。
• 提出一种模块化构造方法：每个服务器仅使用一个 CAS 对象来模拟 ABD 更新原语，再将该原语组合成完整的多写者 ABD 模拟。
• 在 CAS 基础算法中采用基于时间戳的协调机制，以确保无等待性和正确性，时间戳保证非递减且唯一。
• 通过基于唯一时间戳小于目标值的次数，对每个客户端的失败 CAS 调用次数进行上界分析，得出最坏情况下的时间复杂度为 O(c²)，其中 c 为并发客户端数。
• 通过为每个服务器分配一个 CAS 对象，实现常数空间的实现，从而支持最多少数服务器崩溃的容错能力。

实验结果

研究问题

• RQ1 是否必须使用读/写原语来实现可靠的多写者寄存器？是否存在更简单的原语即可满足需求？
• RQ2 可靠存储模拟的空间开销是否可自适应于并发程度，即使在顺序执行中亦然？
• RQ3 实现常数空间、容错且无等待的多写者原子寄存器的最小硬件原语（如 CAS）是什么？
• RQ4 在弱正确性条件（如单写者安全性和独占终止）下，基于读/写原语的实现是否仍存在线性空间下界？
• RQ5 在高竞争环境下，是否可将 CAS 基础实现的最坏情况时间复杂度优化至 O(c²）以下？

主要发现

• 仅使用读/写原语实现容错多写者原子寄存器时，至少需要 kf 个寄存器，其中 k 为客户端数，f 为可容忍故障数。
• 此类实现的空间开销无法自适应地减少——即使在顺序执行中亦然，因为每个写操作会覆盖 f 个新寄存器。
• 若每个服务器的寄存器数量受限为常数 m，则支持 ℓm 个客户端需要在存储下界所隐含的 ℓf 个服务器之外，额外增加 f+1 个服务器。
• 通过为每个服务器分配一个 CAS 对象，可实现常数空间、无等待且可适应竞争的多写者原子寄存器实现。
• CAS 基础实现的时间复杂度最坏情况为 O(c²)，其中 c 为并发执行的客户端数量，且在无竞争运行中与 ABD 的 2 轮复杂度一致。
• CAS 基础算法通过基于时间戳的协调机制确保正确性，非递减且唯一的时间戳保证了终止性和进展性。