第2章
深入研究一致性

分布式架構(gòu)為分布式系統(tǒng)帶來了復(fù)雜的分布式一致性問題，這樣的問題分為兩類：一類是對(duì)一個(gè)議題達(dá)成共識(shí)，如多副本數(shù)據(jù)同步的數(shù)據(jù)存儲(chǔ)一致性，本章稱之為結(jié)果一致性；二是因事件、消息發(fā)生順序引發(fā)的和順序有關(guān)的一致性問題，本章稱之為次序一致性。結(jié)果一致性和次序一致性合稱分布式一致性。

分布式系統(tǒng)和數(shù)據(jù)庫管理系統(tǒng)結(jié)合，形成了分布式數(shù)據(jù)庫系統(tǒng)。分布式數(shù)據(jù)庫系統(tǒng)帶來了分布式一致性與事務(wù)一致性的交叉問題，這類問題在本書中合稱為分布式事務(wù)一致性，這也可分為兩類：事務(wù)一致性和次序一致性交叉合稱為分布式事務(wù)讀寫一致性；事務(wù)一致性和結(jié)果一致性交叉合稱為分布式事務(wù)存儲(chǔ)一致性。

為滿足應(yīng)用需求，人們常用廉價(jià)硬件構(gòu)建穩(wěn)定系統(tǒng)，并先后出現(xiàn)了單主單備、單主多備、多主多備、分布式、去中心化分布式等不同架構(gòu)，這些架構(gòu)蘊(yùn)含了不同的一致性需求，包括上述的結(jié)果一致性、次序一致性、事務(wù)相關(guān)的讀寫一致性。而去中心化架構(gòu)和大規(guī)模數(shù)據(jù)的計(jì)算需求以及新硬件的出現(xiàn)，促使存儲(chǔ)和計(jì)算分離架構(gòu)出現(xiàn)，還促使事務(wù)引擎和存儲(chǔ)引擎分離、存儲(chǔ)引擎和存儲(chǔ)文件系統(tǒng)分離等多種細(xì)分架構(gòu)出現(xiàn)。這些新架構(gòu)融合了多種一致性，但又各有不同特征，所以本章專門開辟一節(jié)從架構(gòu)的角度討論一致性。

總體來看，本章將從對(duì)分布式一致性的常規(guī)認(rèn)識(shí)開始，逐步討論多種一致性的含義及其精確定義，然后討論分布式一致性（次序一致性、結(jié)果一致性）和分布式事務(wù)一致性（分布式事務(wù)讀寫一致性、分布式事務(wù)存儲(chǔ)一致性）之間的關(guān)系，然后從架構(gòu)的角度入手探索一致性。第3章將對(duì)各種一致性的解決方法進(jìn)行討論。