paxos协议的理解及证明推导

文章目录 导读 历史 解决的问题 理论分析 只有一个Acceptor 两个Acceptor 结果到原因的推进 如何预测未来 理论到工程的缺陷 根本问题在哪里 算法提出 FAQ 导读 paxos算法为什么是这么设计?Paxos协议为什么是两阶段?为什么第一阶段的时候需要取一个最大编号?本文尝试从一个简单场景一步步构建出理论框架并转化为可工程化的算法 历史 paxos从诞生至今已经近30年,从开始工业
相关文章
相关标签/搜索