一致性協議 一、前言 　　繼續前面的學習，這篇我們來學習在分布式系統中最重要的一塊，一致性協議，其中就包括了大名鼎鼎的Paxos算法。 二、2PC與3PC 　　在分布式系統中，每一個機器節點雖然能夠明確知道自己在進行事務操作過程中的結果是成功或是失敗 ...

一、一致性模型概念 提到分布式架構就一定繞不開“一致性”問題，而“一致性”其實又包含了數據一致性和事務一致性兩種情況，下面是對強一致性、最終一致性、因果一致性、單調讀一致性、單調寫一致性、會話一致性的解釋。 1.1 強一致性：在任何時刻所有的用戶或者進程查詢到的都是最近一次成功更新的數據 ...

一、快速了解Raft算法 Raft 適用於一個管理日志一致性的協議，相比於 Paxos 協議 Raft 更易於理解和去實現它。 為了提高理解性，Raft 將一致性算法分為了幾個部分，包括領導選取（leader selection）、日志復制（log replication）、安全（safety ...

概述 　　由於內存的運行速度和CPU的運行速度相差太多，所以現代計算機CPU都不是直接操作內存，而是直接操作寄存器和高速緩存，如果只有一個CPU這個事情就很簡單，但是如果計算機中有多個核，那每個CPU都從主內存中讀取了同一個變量，如何保證緩存的一致性，就變得非常麻煩，現在常用的解決辦法有兩種 ...

Quorum一致性協議 一個分布式數據庫系統中通常是一系列密切關聯的操作組成完整的系統. 分布式系統最基本的要保證一致性, 分區性通常是無法避免的, 在這種情況下盡力通過軟件協議做到最大可用性. 根據CAP理論知道三者往往不可以兼得, 只能取其二. 回憶下CAP理論 C ...

一、動畫演示。 1、https://www.scss.tcd.ie/Jeremy.Jones/vivio/caches/MESIHelp.htm 2、https://www.jianshu.com ...

分布式存儲系統通常通過維護多個副本來進行fault-tolerance，提高系統的availability，帶來的代價就是分布式存儲系統的核心問題之一：維護多個副本的一致性。一致性協議就是用來干這事的，即使在部分副本宕機的情況下。Raft是一種較容易理解的一致性協議。一致性協議通常 ...

ZAB協議簡介 Zookeeper通過ZAB保證分布式事務的最終一致性。 ZAB全稱Zookeeper Atomic Broadcast（ZAB，Zookeeper原子消息廣播協議） ZAB是一種專門為Zookeeper設計的一種支持 崩潰恢復 的 原子廣播協議 ...