在面試環(huán)節(jié)歼郭，經(jīng)常會(huì)問CAP、BASE等相關(guān)的分布式理論辐棒，其實(shí)這些名詞主要還是來自于分布式的一致性病曾，今天主要介紹分布式一致性：強(qiáng)一致性、最終一致性漾根、ACID泰涂、CAP等理論。
分布式一致性的背景
隨著分布式事務(wù)的出現(xiàn)辐怕，傳統(tǒng)的單機(jī)事務(wù)模型（ACID）已經(jīng)無法勝任逼蒙，尤其是對(duì)于一個(gè)高訪問量、高并發(fā)的互聯(lián)網(wǎng)分布式系統(tǒng)來說寄疏。
如果我們要求嚴(yán)格一致性是牢，很可能就需要犧牲掉系統(tǒng)的可用性僵井，反之亦然。
如何構(gòu)建一個(gè)兼顧可用性和一致性的分布式系統(tǒng)成為了無數(shù)Java工程師探討的難題驳棱。
數(shù)據(jù)一致性的由來
一致性（Consistency）一直是分布式系統(tǒng)里一個(gè)很重要的話題批什。
在存儲(chǔ)系統(tǒng)中，為了避免數(shù)據(jù)丟失社搅，我們都會(huì)對(duì)數(shù)據(jù)進(jìn)行持久化驻债。
對(duì)數(shù)據(jù)進(jìn)行持久化可以避免宕機(jī)帶來的數(shù)據(jù)丟失問題，但是不能解決單機(jī)永久性故障的問題形葬。存儲(chǔ)系統(tǒng)作為基礎(chǔ)設(shè)施却汉，在單機(jī)上持久化是遠(yuǎn)遠(yuǎn)不夠的，我們需要將數(shù)據(jù)復(fù)制到多臺(tái)機(jī)器上以提升系統(tǒng)的可用性和可靠性荷并。
一旦數(shù)據(jù)被復(fù)制到多個(gè)節(jié)點(diǎn)，那么就產(chǎn)生了一致性的問題青扔。
分布式數(shù)據(jù)一致性的級(jí)別
1源织、強(qiáng)一致性
是最強(qiáng)的一致性模型，要求任何讀取操作都能讀取到最新的值微猖，換句話說谈息，要求任何寫入操作立即同步給所有進(jìn)程。
2凛剥、弱一致性
這種一致性級(jí)別約束了系統(tǒng)在寫入成功后侠仇，不承諾立即可以讀到寫入的值，也不久承諾多久之后數(shù)據(jù)能夠達(dá)到一致犁珠，但會(huì)盡可能地保證到某個(gè)時(shí)間級(jí)別（比如秒級(jí)別）后逻炊，數(shù)據(jù)能夠達(dá)到一致狀態(tài)。
3犁享、最終一致性
最終一致性是弱一致性的一個(gè)特例余素，系統(tǒng)會(huì)保證在一定時(shí)間內(nèi)，能夠達(dá)到一個(gè)數(shù)據(jù)一致的狀態(tài)炊昆。
這里之所以將最終一致性單獨(dú)提出來桨吊，是因?yàn)樗侨跻恢滦灾蟹浅Ｍ瞥绲囊环N一致性模型，也是業(yè)界在大型分布式系統(tǒng)的數(shù)據(jù)一致性上比較推崇的模型凤巨。
一致性相關(guān)的理論
關(guān)系式數(shù)據(jù)庫(kù)ACID
ACID是數(shù)據(jù)庫(kù)（MySQL）事務(wù)正確執(zhí)行所必須滿足的四個(gè)特性的首字母縮寫视乐。
1.Atomicity（原子性）
一個(gè)事務(wù)的所有操作，要么全部完成敢茁，要么全部不完成佑淀。
所謂事務(wù)，是指由一系列數(shù)據(jù)操作所組成的完整邏輯過程彰檬。比如銀行轉(zhuǎn)賬事務(wù)由兩個(gè)操作組成：從源賬戶扣除金額渣聚，以及向目標(biāo)賬戶增加金額独榴。
2.Consistency（一致性）
指事務(wù)開始之前和事務(wù)結(jié)束之后，數(shù)據(jù)的完整性約束沒有被破壞奕枝。
包含兩層含義：
a)數(shù)據(jù)庫(kù)機(jī)制層面棺榔，事務(wù)執(zhí)行前后，數(shù)據(jù)能符合設(shè)置的約束隘道，如唯一約束症歇、外鍵約束；
b)業(yè)務(wù)層面谭梗，由應(yīng)用開發(fā)人員保證業(yè)務(wù)一致性忘晤。還是以銀行轉(zhuǎn)賬為例，A激捏、B兩個(gè)賬號(hào)设塔，轉(zhuǎn)賬之前和之后，A远舅、B兩個(gè)賬號(hào)余額總額必須一致闰蛔。
3.Isolation（隔離性）
數(shù)據(jù)庫(kù)能夠防止由于多個(gè)并發(fā)事務(wù)交叉執(zhí)行而導(dǎo)致數(shù)據(jù)的不一致。
4.Durability（持久性）
指事務(wù)結(jié)束后图柏，對(duì)數(shù)據(jù)的修改是永久的序六，不會(huì)回滾到之前的狀態(tài)。
CAP理論
在分布式系統(tǒng)中蚤吹，也有類似數(shù)據(jù)庫(kù)ACID的特性例诀，那就是CAP，他們分別是：
1.Consistency 一致性
強(qiáng)調(diào)進(jìn)群節(jié)點(diǎn)中數(shù)據(jù)一致裁着。在分布式中一致性又包括強(qiáng)一致性和弱一致性繁涂，強(qiáng)一致性就是指在任何時(shí)刻任何節(jié)點(diǎn)看到的數(shù)據(jù)都是一樣的；
弱一致性一般實(shí)現(xiàn)是最終一致性二驰，即剛開始可能存在差異爆土，但隨著時(shí)間的推移，最終數(shù)據(jù)保持一致诸蚕。
2.Availability 可用性
強(qiáng)調(diào)集群在任何時(shí)間內(nèi)都正常使用
3.Partition Tolerance 分區(qū)容錯(cuò)性
即使某一部分集群壞掉步势，另一部分仍能正常工作。
這三個(gè)特性只能滿足其中兩個(gè)背犯，犧牲另一個(gè)坏瘩。大部分系統(tǒng)也都是如此：
一般來說分布式集群都會(huì)保證P優(yōu)先，即集群部分節(jié)點(diǎn)壞死不影響整個(gè)集群的使用漠魏，然后再去追求C和A倔矾。因?yàn)槿绻艞塒——分區(qū)可用性，那不如就直接使用多個(gè)傳統(tǒng)數(shù)據(jù)庫(kù)了。事實(shí)上哪自，很多微服務(wù)分庫(kù)分表就是這個(gè)道理丰包。
如果追求強(qiáng)一致性，那么勢(shì)必會(huì)導(dǎo)致可用性下降壤巷。比如在Master-Slave的場(chǎng)景中邑彪，Master負(fù)責(zé)數(shù)據(jù)寫入，然后分發(fā)給各個(gè)節(jié)點(diǎn)胧华，所有節(jié)點(diǎn)都寫入成功寄症，才算寫入，這樣保證了強(qiáng)一致性矩动，但是延遲也會(huì)隨之增加有巧，導(dǎo)致可用性降低。
因此在可用性和一致性之間悲没，就出現(xiàn)了各種解決方案篮迎，如時(shí)序一致性、最終一致性等等示姿。
BASE理論
BASE理論是對(duì)CAP理論的延伸,核心思想是即使無法做到強(qiáng)一致性(Strong Consistency,CAP的一致性就是強(qiáng)一致性),但應(yīng)用可以采用適合的方式達(dá)到最終一致性(Eventual Consitency)甜橱。
BASE是指基本可用(Basically Available)、軟狀態(tài)( Soft State)峻凫、最終一致性( Eventual Consistency)。
1.基本可用(Basically Available)
基本可用是指分布式系統(tǒng)在出現(xiàn)故障的時(shí)候,允許損失部分可用性,即保證核心可用览露。
電商大促時(shí),為了應(yīng)對(duì)訪問量激增,部分用戶可能會(huì)被引導(dǎo)到降級(jí)頁面,服務(wù)層也可能只提供降級(jí)服務(wù)荧琼，這就是損失部分可用性的體現(xiàn)。
2.軟狀態(tài)( Soft State)
軟狀態(tài)是指允許系統(tǒng)存在中間狀態(tài),而該中間狀態(tài)不會(huì)影響系統(tǒng)整體可用性差牛。
分布式存儲(chǔ)中一般一份數(shù)據(jù)至少會(huì)有三個(gè)副本,允許不同節(jié)點(diǎn)間副本同步的延時(shí)就是軟狀態(tài)的體現(xiàn)命锄。mysql replication的異步復(fù)制也是一種體現(xiàn)。
3.最終一致性( Eventual Consistency)
最終一致性是指系統(tǒng)中的所有數(shù)據(jù)副本經(jīng)過一定時(shí)間后,最終能夠達(dá)到一致的狀態(tài)偏化。
弱一致性和強(qiáng)一致性相反,最終一致性是弱一致性的一種特殊情況脐恩。
BASE和ACID代表兩種截然相反的設(shè)計(jì)理念，ACID注重一致性侦讨，是傳統(tǒng)關(guān)系型數(shù)據(jù)庫(kù)（MySQL）的設(shè)計(jì)思路驶冒，BASE關(guān)注高可用性。
當(dāng)今大規(guī)模韵卤、跨數(shù)據(jù)中心的分布式系統(tǒng)（如云計(jì)算）大多同時(shí)采用這兩種設(shè)計(jì)理念骗污，并在兩者之間尋求平衡。
以上就是分布式一致性理論的介紹沈条，更多分布式架構(gòu)設(shè)計(jì)：Redis緩存需忿、Dubbo、Kafka、秒殺專題屋厘，請(qǐng)參考：阿里架構(gòu)師進(jìn)階23期精講：Redis涕烧、Kafka、Dubbo汗洒、Docker等
覺得不錯(cuò)請(qǐng)點(diǎn)贊支持议纯，歡迎留言或進(jìn)我的個(gè)人群179961551領(lǐng)取【架構(gòu)資料專題目合集90期】、【BATJTMD大廠JAVA面試真題1000+】仲翎，本群專用于學(xué)習(xí)交流技術(shù)痹扇、分享面試機(jī)會(huì)，拒絕廣告溯香，我也會(huì)在群內(nèi)不定期答題鲫构、探討。
