一，Quorum機制介紹 在分布式系統中有個CAP理論，對於P（分區容忍性）而言，是實際存在 從而無法避免的。因為，分布系統中的處理不是在本機，而是網絡中的許多機器相互通信，故網絡分區、網絡通信故障問題無法避免。因此，只能盡量地在C 和 A 之間尋求平衡。對於數據存儲而言，為了提高可用性 ...

一，租約機制介紹 在分布式系統中，往往會有一個中心服務器節點。該節點負責存儲、維護系統中的元數據。如果系統中的各種操作都依賴於中心服務器上的元數據，那么中心服務器很容易成為性能瓶頸及存在單點故障。而通過租約機制，可以將中心服務器的“權力”下放給其他機器，就可以減輕中心服務器的壓力。當然，租約機制 ...

在了解Quorum機制之前，先回顧一下數據一致性 強一致性：在任意時刻，從任意不同副本取出的值都是一樣的。 弱一致性：有時泛指最終一致性，是指在任意時刻，可能由於網絡延遲或者設備異常等原因，不同副本中的值可能會不一樣，但經過一段時間后，最終會變成一樣。 顯然，我們更想 ...

隨承載用戶數量的增加和容災的需要，越來越多互聯網后台系統從單機模式切換到分布式集群。回顧自己畢業五年來的工作內容，同樣有這樣的轉變。 畢業頭兩年負責維護運行在刀片機上的業務，在機房里拔插單板的日子是我逝去的青春。設備之間通過VCS組成冷備，但即使有雙機軟件保護，宕機、網絡丟包等問題發生時業務仍會 ...

引言 CAP是分布式系統、特別是分布式存儲領域中被討論最多的理論，“什么是CAP定理？”在Quora 分布式系統分類下排名 FAQ 的 No.1。CAP在程序員中也有較廣的普及，它不僅僅是“C、A、P不能同時滿足，最多只能3選2”，以下嘗試綜合各方觀點，從發展歷史、工程實踐等角度講述CAP理論 ...

引言 《分布式系統理論基礎 - 一致性、2PC和3PC》一文介紹了一致性、達成一致性需要面臨的各種問題以及2PC、3PC模型，Paxos協議在節點宕機恢復、消息無序或丟失、網絡分化的場景下能保證決議的一致性，是被討論最廣泛的一致性協議。 Paxos協議同時又以其“艱深晦澀”著稱，下面結合 ...

引言 《分布式系統理論進階 - Paxos》介紹了一致性協議Paxos，今天我們來學習另外兩個常見的一致性協議——Raft和Zab。通過與Paxos對比，了解Raft和Zab的核心思想、加深對一致性協議的認識。 Raft Paxos偏向於理論、對如何應用到工程實踐提及較少。理解的難度 ...

Distributed programming is the art of solving the same problem that you can solve on a single comput ...