[论文解读] PaxosLease: Diskless Paxos for Leases

Márton Trencséni, Attila Gazsó+1 more|arXiv (Cornell University)|Sep 19, 2012

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

一句话总结

PaxosLease 是一种基于 Paxos 的无磁盘、无需时钟同步的分布式租约算法，可在高竞争环境下实现非阻塞的租约获取与续期。它通过投票编号和接受者状态管理确保租约安全，在 Keyspace 和 ScalienDB 等复制键值存储系统中实现高可用性和低延迟。

ABSTRACT

This paper describes PaxosLease, a distributed algorithm for lease negotiation. PaxosLease is based on Paxos, but does not require disk writes or clock synchrony. PaxosLease is used for master lease negotation in the open-source Keyspace and ScalienDB replicated key-value stores.

研究动机与目标

• 解决在高提议者竞争下，基于多数派的朴素租约协议中存在的阻塞问题。
• 消除对时钟同步和磁盘写入的依赖，提升实用性和性能。
• 提供一种简单、高效且安全的租约机制，适用于 Keyspace 和 ScalienDB 等生产系统。
• 在不修改接受者逻辑的前提下，支持租约的延长和提前释放，以适应动态工作负载。
• 提供一种轻量级、可组合的解决方案，通过独立的租约实例管理多个资源。

提出的方法

• 采用受 Paxos 启发的两阶段准备/提议协议，利用投票编号对提议进行排序并防止冲突。
• 接受者仅存储最高承诺的投票编号和最后一次接受的提议，避免持久化状态写入。
• 租约持有者由多数接受者对提议者的提议达成一致决定，租约在时间跨度 T 后自动到期。
• 提议者可通过在到期前重新提议来延长租约，也可通过特殊释放消息提前释放租约。
• 租约状态在到期或显式释放后由接受者丢弃，确保安全性和活性。
• 通过在消息和状态中标记资源标识符，支持多资源管理，实现每资源独立租约管理，且内存开销极低。

实验结果

研究问题

• RQ1 能否设计一种租约协议，在不依赖时钟同步的前提下，避免在高提议者竞争下出现阻塞？
• RQ2 是否可能在不牺牲安全性和一致性的前提下，完全消除租约协议中的磁盘写入？
• RQ3 如何在不改变接受者行为的前提下，高效支持租约的延长和提前释放？
• RQ4 能否将基于 Paxos 的协议专门化用于租约，使其比现有方法（如 Fatlease）更简单、更高效？
• RQ5 每个节点支持多个独立租约时，其内存和性能开销如何？

主要发现

• PaxosLease 通过使用投票编号使提议者能够覆盖先前提议，避免了高竞争场景下的阻塞，确保了活性。
• 该算法无需磁盘写入或时钟同步，适用于这些操作成为性能瓶颈或不切实际的系统。
• 租约延长通过允许提议者在到期前重新提议实现，且无需修改接受者逻辑。
• 通过特殊释放消息实现租约的提前释放，若投票编号匹配，将触发接受者状态的丢弃。
• 由于每个实例状态极小（约 100 字节），协议每 GB 主内存可支持约 1000 万个独立租约。
• PaxosLease 已成功部署于生产系统，包括 Keyspace 和 ScalienDB，证明了其在真实场景下的可扩展性和可靠性。