[论文解读] Efficient and Modular Consensus-Free Reconfiguration for Fault-Tolerant Storage

Eduardo Alchieri, Alysson Bessani+2 more|arXiv (Cornell University)|Jul 18, 2016

Distributed systems and fault tolerance参考文献 12被引用 5

一句话总结

本文提出 FREESTORE，一种无共识、模块化的动态容错存储框架，通过视图生成器将读/写操作与重新配置协议解耦。其在异步系统中保持正确性的同时，实现了卓越性能——在读/写操作中通信步骤减少高达66%，在重新配置中减少高达90%，优于以往工作。

ABSTRACT

Quorum systems are useful tools for implementing consistent and available storage in the presence of failures. These systems usually comprise a static set of servers that provide a fault-tolerant read/write register accessed by a set of clients. We consider a dynamic variant of these systems and propose FreeStore, a set of fault-tolerant protocols that emulates a register in dynamic asynchronous systems in which processes are able to join/leave the servers set during the execution. These protocols use a new abstraction called view generators, that captures the agreement requirements of reconfiguration and can be implemented in different system models with different properties. Particularly interesting, we present a reconfiguration protocol that is modular, efficient, consensus-free and loosely coupled with read/write protocols, improving the overall system performance.

研究动机与目标

• 解决动态法定人数存储系统中重新配置与读/写操作紧密耦合导致的性能瓶颈。
• 克服基于共识的重新配置协议的局限性，后者成本高昂且在异步系统中不可解。
• 将重新配置与读/写协议解耦，以复用现有静态存储协议并提升系统模块化程度。
• 设计一种高效且无共识的重新配置协议，以减少动态环境中的通信开销。
• 引入视图生成器作为抽象，以模块化重新配置中的协议逻辑，实现灵活且可组合的系统设计。

提出的方法

• 引入视图生成器作为抽象，以捕获重新配置的协议一致性要求，将其与读/写逻辑解耦。
• 实现两种视图生成器变体：一种基于共识（P），一种无共识（L），支持在不同系统模型中灵活部署。
• 使用动态视图图来管理服务器配置之间的转换，确保重新配置期间的一致性。
• 将所有读/写操作直接导向最新安装的视图，避免遍历辅助或未建立的视图。
• 通过仅在读/写操作中执行本地视图检查，而非访问多个 SWMR 寄存器，最小化通信成本。
• 通过减少通信步骤数来优化重新配置：无共识变体（L）在最佳情况下仅需 4 步，而 DynaStore 需 18|v|+5 步。

实验结果

研究问题

• RQ1 是否可以在不使用共识的情况下实现容错存储的重新配置，同时保持正确性与高效性？
• RQ2 如何将读/写操作与重新配置协议解耦，以提升模块化程度与性能？
• RQ3 与基于共识的方法相比，无共识重新配置在最佳与最坏情况下的性能影响如何？
• RQ4 视图生成器能否作为可组合的抽象，用于模块化动态存储系统中的协议逻辑？
• RQ5 是否可能在重新配置期间实现与静态协议相当的性能，而无需依赖辅助数据结构？

主要发现

• FREESTORE 的无共识变体（使用 L）在重新配置的最佳情况下仅需 4 个通信步骤，优于 DynaStore（23 步）及其他无共识协议近一个数量级。
• 在最坏情况下，FREESTORE 使用 L 时需 7|v| − 2v.q − 1 步，远少于 DynaStore 的 18|v| + 5 步。
• FREESTORE 中的读/写操作最多仅需 4/6 步通信（读取）和 6 步（写入且视图过时），相比 DynaStore 和 SpSn 减少高达 66% 的开销。
• 当无重新配置时，FREESTORE 的性能与静态协议（如 ABD）相当，在稳定期间实现最优效率。
• 基于共识的变体（使用 P）在最佳与最坏情况下均仅需 5 步通信，优于 RAMBO 的 7 步，减少 2 步。
• 视图生成器的使用实现了重新配置与读/写协议的完全解耦，使得现有静态协议（如 ABD）可无需修改直接复用。