搞不清楚 Paxos 演算法, 跟人家談什麼分布式系統? 話說回來, 真的弄懂 Paxos 的又有幾人?
就連 Leslie Lamport 自己, 也是前後經過近十年的時間, 才磨出了這個以”難以理解”著名的演算法.
啃 Paper 放棄之餘, 發現一個中文 blog 對 Paxos 有很深入且精闢的探討: 1. Paxos - 算法形成理论 2. Paxos - 算法过程 3. Paxos - 实现探讨
其他有趣的事實: - Leslie Lamport 於 2013 年獲得 Turing Award. (這是否與大數據時代, 分布式系統成為顯學有關?) - Google 的人曾說過, 其他分布式演算法都是 Paxos 簡化形式. (2PC 協議其實就是 Paxos 中 leader 只提交一個 proposal 給 acceptor 的簡單情況.)