paxos框架简介——从经典到演进

最近几天一直在看分布式一致性算法，paxos已经成为这个领域的事实标准，所以肯定绕不过它。 那paxos到底是什么，是一个具体算法还是一个协议框架。个人认为应该是一个解决分布式一致性问题的框架，后期的大部分工作都是在这个框架思路上做的优化。既然是个框架那他的核心思路是什么呢，我们是否可以用数学的方式去描述它，把它转换成一个带约束的优化问题（来看待后续的优化方案）。 这个框架要解决什么问题：发生诸如

>>阅读原文<<