paxos協議的理解及證明推導

文章目錄 導讀 歷史 解決的問題 理論分析 只有一個Acceptor 兩個Acceptor 結果到原因的推進 如何預測未來 理論到工程的缺陷 根本問題在哪裏 算法提出 FAQ 導讀 paxos算法爲什麼是這麼設計？Paxos協議爲什麼是兩階段？爲什麼第一階段的時候需要取一個最大編號？本文嘗試從一個簡單場景一步步構建出理論框架並轉化爲可工程化的算法 歷史 paxos從誕生至今已經近30年，從開始工業

>>阅读原文<<