[论文解读] Self-Stabilizing Paxos

Peva Blanchard, Shlomi Dolev+2 more|arXiv (Cornell University)|May 18, 2013

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

一句话总结

本文提出首个适用于异步消息传递系统的自稳定Paxos算法，可在无需预定义初始配置的情况下，自动从任意瞬态故障中恢复。通过整合自稳定的有界时间戳与容错消息处理机制，该方案确保最终达成共识与状态机一致性，实现实用型稳定化，即在任意瞬态故障后安全性和活性均可恢复。

ABSTRACT

We present the first self-stabilizing consensus and replicated state machine for asynchronous message passing systems. The scheme does not require that all participants make a certain number of steps prior to reaching a practically infinite execution where the replicated state machine exhibits the desired behavior. In other words, the system reaches a configuration from which it operates according to the specified requirements of the replicated state-machine, for a long enough execution regarding all practical considerations.

研究动机与目标

• 为解决经典Paxos缺乏自稳定性的缺陷，其无法从诸如时间戳损坏等任意瞬态故障中恢复。
• 设计适用于异步消息传递系统的自稳定共识与复制状态机，且不假设初始配置的一致性。
• 确保系统能从任意初始配置收敛至正确行为，保证在瞬态故障后最终实现安全性和活性。
• 克服先前自稳定共享内存共识方案的局限性，将其适配至支持任意消息集合与标签值的消息传递系统。
• 提供一种实用稳定化模型，即使在瞬态故障后，系统也能在实际意义上达到正确且稳定的配置。

提出的方法

• 集成一种自稳定的有界时间戳机制，即使初始值任意，也能确保提案的有序性。
• 采用两阶段协议（阶段1：准备，阶段2：接受），通过消息标记与状态跟踪确保安全性和活性。
• 使用基于接收到的消息动态更新状态的机制，通过函数 ν^s 和 ν^t 处理命令历史与提案排序。
• 实现截断例程，将命令序列与当前步数值对齐，确保各副本间的一致性。
• 采用抢占式决策机制，当提案被取代或检测到状态变化时，提议者将重新进入阶段1。
• 依赖消息过滤与条件检查（C+ 和 C−），根据一致性和顺序性判断是否接受或拒绝传入的提案。

实验结果

研究问题

• RQ1 能否为异步消息传递系统设计一种自稳定的共识算法，且不假设初始配置？
• RQ2 如何在多个提议者之间组合自稳定的有界时间戳，以确保事件的最终严格排序？
• RQ3 系统通过何种机制可从任意瞬态故障中恢复，如时间戳值损坏或消息不一致？
• RQ4 在无初始一致性假设的消息传递语义下，如何以自稳定方式实现复制状态机？
• RQ5 在此上下文中，'实用稳定化'的定义是什么？它与真实系统中经典自稳定性的区别何在？

主要发现

• 所提出的算法实现了实用稳定化，即系统能从任意初始状态收敛至正确且稳定的配置，确保在所有实际用途中实现安全性和活性。
• 系统可在不重启或预设初始状态的前提下，从时间戳损坏或消息不一致等瞬态故障中恢复。
• 自稳定的有界时间戳机制的集成，使得即使初始标签任意或不一致，也能确保提案的正确排序。
• 该算法确保所有正确副本最终就同一组命令序列达成一致，维持Paxos的安全性与活性特性。
• 该方案支持广义Paxos，支持动态命令序列，并通过状态协调与截断机制处理消息重排序与丢失。
• 在瞬态故障在有限时间内停止的假设下，已证明其正确性，保证最终收敛至正确行为。