工程实践中，实际上会引入leader，有leader时，只有leader才会提升epoch，避免活锁。此外，multi-paxos也会优化掉第一阶段。可以参考Paxos Made Live这篇文章（大约是）。
■网友
【Paxos 的 活锁 与 FLP 理论的关系】 FLP理论是说，在异步网络中，即使只有一个进程失败，也没有任何算法能保证非失败进程达成一致。Paxos中存在活锁，理论上的活锁会导致Paxos算法无法满足Termination属性，也就不算一个正确的一致性算法。Lamport在自己的论文中也提到FLP结果表明，不存在完全满足一致性的异步算法，因此他建议通过Leader来代替Paxos中的Proposer，以避免活锁，而Leader的选取也是一个一致性问题，理论上可能永远选不出Leader，工程中则通过随机或其他方式来选定，在一定概率上保证Termination。也就是说Paxos算法其实也不算理论上完全正确的，只是在工程实现中避免了一些理论上存在的问题。但这丝毫不影响Paxos的伟大性！
推荐阅读
-
王诗槐|王筠：嫁给二婚的王诗槐，对智障继子视如己出，44岁生女终获圆满
-
两座城池|飞机那么快，风肯定大，让我多穿点儿衣服，开心一笑：你爸说了
-
养生小师妹哟能营养肌肤，使人白嫩等6大功效，了解下，它被誉为“坚果之王”
-
美国|特朗普关中国使馆是暗中帮助中国？美媒拿出大批证据：让总统走人
-
『网易科技报道』WeWork董事会欲反击软银 要求完成要约收购
-
[漫威]假如漫威英雄转换性别：女蜘蛛侠让人流鼻血，女雷神可能会实现！
-
互联网萧山区打造五大系统全面建设“智慧工地”实现安全“云管理”
-
-
「趣事箩筐」宇宙中其他天体为何都是圆的？科学家给出了答案，除了小行星和陨石
-
[黑猫的厨房]减脂早餐记，低脂又美味的燕麦做法，营养不打折扣，腰身也细了
-
馨馨时尚天地：带来不一样的个性风，穿上包臀裙很有街头感
-
-
北京日报|北京这处7600多平方米的街边公园开了！曾是核心区规模最大的简易楼
-
-
半尺笔锋|老板的女儿是个漂亮的妹子，幽默笑话：小区新开了家面馆
-
苹果|尽快升级！苹果发布iOS 15.2.1：修复iPhone、iPad重要大漏洞
-
l全球时尚l|长相可爱甜美风 穿搭清新迷人却也优雅体面，日奥混血名模
-
红茶和什么不能起,黑枸杞和西洋参加茶泡水喝的功效与作用
-
这有港澳台|为缓解经济压力，先行恢复交通，印度因疫情经济衰退
-
![[漫威]假如漫威英雄转换性别：女蜘蛛侠让人流鼻血，女雷神可能会实现！](http://img88.010lm.com/img.php?https://image.uc.cn/s/wemedia/s/upload/2020/1063179a2db224833a49af9a7dadaa82.jpg)
![[黑猫的厨房]减脂早餐记，低脂又美味的燕麦做法，营养不打折扣，腰身也细了](http://ttbs.guangsuss.com/image/de0be3a0d49b9667d4da085ebb8770b6)
