考察三种 Voting 机制之间的 Refinement 关系:

• LazyVoting: 是否可以删除 Voting 中的 IncreaseMaxBal(a, b)?

理由: VoteFor(a, b) 中已包含 IncreaseMaxBal(a, b) 动作。

• Voting

• EagerVoting

另一个维度的问题:
VoteFor 确定值 v 时，使用 All 还是 Quorum?

哪些Paxos变体满足 OneVote 或/与 OneValuePerBallot？哪些不满足？满足有什么好处？不满足会带来什么，会导致什么？它究竟有多关键？

Paxos 采用 maxBal 优化后对 P2c 的影响

在 Paxos Made Simple 中,

在 Phase2b 阶段，自然语言描述的 Paxos 协议没有要求更新 maxBal[a]。然而，可以通过反例（使用 TLC）说明，如果不同时更新maxBal[a]，则 Paxos 并不能保证论文中的不变式 P2c 成立。

写作: A Little Issue in Paxos Made Simple. (arXiv)

Evaluate Paxos Variants

Performance evaluation using mathematical models (such as queueing theory and kth-order statistics) like MODELING PAXOS PERFORMANCE IN WIDE AREA – PART 3 by Aleksey Charapko.

Key Question: Metrics? (How fast to reach consensus?)