Liveness

Liveness 关注系统能否最终取得进展，而不是某个瞬间是否处于正确状态。完全异步模型里无法可靠区分节点崩溃与消息无限延迟，因此确定性共识无法在允许一次崩溃的所有合法执行中保证终止。

实际协议通常通过超时、随机选举或最终同步等附加假设获得活性：安全性始终保持，而持续推进只在网络和足够多节点恢复到合适条件时得到保证。