paxos框架簡介——從經典到演進

最近幾天一直在看分佈式一致性算法，paxos已經成爲這個領域的事實標準，所以肯定繞不過它。 那paxos到底是什麼，是一個具體算法還是一個協議框架。個人認爲應該是一個解決分佈式一致性問題的框架，後期的大部分工作都是在這個框架思路上做的優化。既然是個框架那他的核心思路是什麼呢，我們是否可以用數學的方式去描述它，把它轉換成一個帶約束的優化問題（來看待後續的優化方案）。 這個框架要解決什麼問題：發生諸如

>>阅读原文<<