【正文】 法?；诜植际芥i的復(fù)制如果使用分布式鎖，只有當(dāng)所有節(jié)點(diǎn)都上鎖，才能訪問(wèn)一個(gè)數(shù)據(jù)項(xiàng)。對(duì)于只有單個(gè)操作的事務(wù)來(lái)說(shuō)，控制復(fù)制是這樣運(yùn)行的：客戶端發(fā)送請(qǐng)求給本地?cái)?shù)據(jù)庫(kù)服務(wù)器。此服務(wù)器發(fā)把鎖發(fā)送給其他服務(wù)器，當(dāng)然，它們可能同意鎖，也可能同意。請(qǐng)求鎖相當(dāng)于服務(wù)器協(xié)商，如果所有節(jié)點(diǎn)都同意鎖，則請(qǐng)求得到處理。否則，事務(wù)必須延遲。一旦所有節(jié)點(diǎn)都同意鎖，請(qǐng)求在所有節(jié)點(diǎn)上執(zhí)行。在一致性協(xié)商階段，兩階段提交協(xié)議用來(lái)保證所有節(jié)點(diǎn)都成功提交事務(wù)，最后，客戶端得到服務(wù)器的響應(yīng)。 基于分布式鎖的Eager Update Everywhere復(fù)制 基于原子性組播的Eager Update Everywhere 復(fù)制，半主動(dòng)復(fù)制和使用分布式鎖的Eager Update Everywhere復(fù)制方法在概念是相似的。區(qū)別在于服務(wù)器協(xié)商和一致性協(xié)商階段使用的機(jī)制。對(duì)于數(shù)據(jù)庫(kù)來(lái)說(shuō)，服務(wù)器協(xié)商階段使用兩階段鎖，而分布式系統(tǒng)使用的是ABCAST。同理，在一致性協(xié)商階段，數(shù)據(jù)庫(kù)使用的是兩階段提交協(xié)議，而分布式系統(tǒng)使用的是VSCAST機(jī)制。當(dāng)然，如果數(shù)據(jù)庫(kù)是確定性的，兩階段提交協(xié)議就沒(méi)必要使用，此時(shí)，這種復(fù)制協(xié)議在功能上就跟主動(dòng)復(fù)制時(shí)一致的。 基于原子性組播的復(fù)制業(yè)界一致推薦使用組通信原語(yǔ)來(lái)實(shí)現(xiàn)數(shù)據(jù)庫(kù)的復(fù)制。然而，直到最近這個(gè)問(wèn)題才得到比較深刻地處理，進(jìn)而提供了可行的解決方法[15] [16] [18] 。這些解決方法的基本思想是使用ABCAST提供的全序保證，它可以提示事務(wù)管理器如何對(duì)沖突的操作排序。因此，客戶端提交請(qǐng)求給一臺(tái)數(shù)據(jù)庫(kù)服務(wù)器，然后由這臺(tái)服務(wù)器把請(qǐng)求廣播給其他數(shù)據(jù)庫(kù)服務(wù)器。在服務(wù)器協(xié)商階段，并非使用兩階段鎖，而是基于ABCAST提供的全序保證，同時(shí)在所有節(jié)點(diǎn)上用一致性的方式來(lái)獲取鎖。這就保證了兩個(gè)沖突的操作按照ABCAST提供的序列在所有節(jié)點(diǎn)上執(zhí)行。一旦本地服務(wù)器執(zhí)行了操作，就給客戶端發(fā)送響應(yīng)。五個(gè)階段如下所示：1. 客戶端發(fā)送請(qǐng)求給本地服務(wù)器2. 本地服務(wù)器把請(qǐng)求發(fā)送給其他服務(wù)器，然后其他服務(wù)器使用原子性組播協(xié)商。3. 服務(wù)器執(zhí)行事務(wù)4. 無(wú)需一致性協(xié)商階段5. 本地服務(wù)器向客戶端發(fā)送響應(yīng) 懶惰式復(fù)制，只要服務(wù)器之間有協(xié)商，Lazy復(fù)制方式就會(huì)向客戶端發(fā)出響應(yīng)，通過(guò)這種方法，Lazy復(fù)制方式避免了Eager復(fù)制方式的同步開(kāi)銷(xiāo)。Eager復(fù)制存在Primary和Update Everywhere兩種方式，對(duì)于Primary方式，所有客戶端必須連接同一個(gè)服務(wù)器來(lái)執(zhí)行更新操作，而對(duì)于Update Everywhere方式，客戶端可以訪問(wèn)任何一個(gè)服務(wù)器。本地服務(wù)器執(zhí)行完事務(wù)后，直接對(duì)客戶端做出響應(yīng)。更新操作提交一段時(shí)間后，才會(huì)傳遞給其他服務(wù)器節(jié)點(diǎn)。這樣就可以把多個(gè)事務(wù)的改變捆綁在一起，然后一并傳遞給其他服務(wù)器，進(jìn)而減少通信負(fù)擔(dān)。對(duì)于Primary復(fù)制來(lái)說(shuō)，一致性協(xié)商階段很直接，在主節(jié)點(diǎn)上對(duì)操作排序，而在其他節(jié)點(diǎn)上只需簡(jiǎn)單的應(yīng)用改變。對(duì)于Update Everywhere復(fù)制來(lái)說(shuō)，協(xié)商過(guò)程變得非常復(fù)雜，因?yàn)槠渌?jié)點(diǎn)運(yùn)行的事務(wù)可能有沖突，不同節(jié)點(diǎn)上的數(shù)據(jù)拷貝可能存在不一致。因此，需要調(diào)整以決定執(zhí)行哪個(gè)更新操作，以及哪個(gè)事務(wù)必須執(zhí)行。 懶惰式復(fù)制現(xiàn)有的分布式系統(tǒng)解決方案中[17] ，laziness概念的使用并不夠廣泛。這反映了這些解決方案主要是為了錯(cuò)誤容忍的目的，使得積極（eager）的解決方案成為必須的。而對(duì)于那些性能是主要考慮因素的系統(tǒng)來(lái)說(shuō)，懶惰式解決方案將是一種直接地解決方案。本章小結(jié)本章對(duì)數(shù)據(jù)庫(kù)和分布式系統(tǒng)中的復(fù)制技術(shù)做了一個(gè)通用的抽象和比較。數(shù)據(jù)復(fù)制的目的是提高系統(tǒng)的性能、可靠性。數(shù)據(jù)復(fù)制技術(shù)在分布式領(lǐng)域成為一個(gè)熱門(mén)的研究領(lǐng)域，研究人員先后提出了很多復(fù)制技術(shù)，主要可以分為主動(dòng)復(fù)制、被動(dòng)復(fù)制、Primary復(fù)制和Update Everywhere復(fù)制，這些復(fù)制技術(shù)適用的場(chǎng)景各不相同，數(shù)據(jù)的一致性程度也不相同，可以說(shuō)，各種復(fù)制技術(shù)各有優(yōu)劣，對(duì)于開(kāi)發(fā)者來(lái)說(shuō)，針對(duì)自身業(yè)務(wù)特點(diǎn)，選擇合適的復(fù)制技術(shù)來(lái)實(shí)現(xiàn)分布式數(shù)據(jù)庫(kù)才是最重要的。本文提出一種強(qiáng)一致性、高度錯(cuò)誤容忍以及高可用性產(chǎn)品，因此采用Eager Primary技術(shù)來(lái)實(shí)現(xiàn)節(jié)點(diǎn)間的數(shù)據(jù)復(fù)制。第4章 分布式系統(tǒng)的一致性研究 一致性模型分布式系統(tǒng)實(shí)現(xiàn)復(fù)制的一個(gè)主要難題是保持各個(gè)副本的一致性，簡(jiǎn)單地說(shuō)，就是更新一個(gè)拷貝時(shí)，必須確保同時(shí)更新其他拷貝，否則，數(shù)據(jù)的各個(gè)副本將會(huì)出現(xiàn)不一致。一致性討論的對(duì)象是數(shù)據(jù)，在分布式系統(tǒng)中，數(shù)據(jù)可以在物理上分布在多臺(tái)服務(wù)器上，假設(shè)每個(gè)可以訪問(wèn)數(shù)據(jù)的進(jìn)程都有所有數(shù)據(jù)的本地或者鄰近拷貝，寫(xiě)操作將傳播到其他拷貝。，一個(gè)更改數(shù)據(jù)的數(shù)據(jù)操作被歸類為寫(xiě)操作，其他操作則歸類為讀操作。 分布式數(shù)據(jù)存儲(chǔ)的邏輯結(jié)構(gòu)一致性模型實(shí)質(zhì)上是進(jìn)程和數(shù)據(jù)存儲(chǔ)系統(tǒng)之間的一個(gè)約定或者規(guī)則。在進(jìn)程遵守規(guī)則的情況下，數(shù)據(jù)存儲(chǔ)系統(tǒng)就能正確的工作。通常，一個(gè)進(jìn)程對(duì)數(shù)據(jù)項(xiàng)的讀操作期望返回的是，該數(shù)據(jù)項(xiàng)最后一次寫(xiě)之后的數(shù)據(jù)。由于各個(gè)節(jié)點(diǎn)的時(shí)間不同步，如果沒(méi)有全局時(shí)鐘，就很難精確的定義哪個(gè)操作是最后一次寫(xiě)操作。所以，我們必須找到其他的定義方式，一致性模型就是為了解決這個(gè)問(wèn)題。一致性模型對(duì)讀操作應(yīng)該返回的值做出了有效限制，一般地，帶有較少限制的模型比較容易實(shí)現(xiàn)，而帶有較多限制的模型實(shí)現(xiàn)起來(lái)比較困難。當(dāng)然，另一方面，容易實(shí)現(xiàn)的模型的執(zhí)行效率不如復(fù)雜的模型那樣好。所以，在各種一致性模型中，需要針對(duì)業(yè)務(wù)模型做出一些權(quán)衡。 強(qiáng)一致性模型 強(qiáng)一致性模型[25] 是指，對(duì)數(shù)據(jù)項(xiàng)x的任何讀操作將返回最近一次對(duì)x進(jìn)行的寫(xiě)操作的結(jié)果對(duì)應(yīng)的值。考慮到各個(gè)節(jié)點(diǎn)之間時(shí)間的不同步，實(shí)現(xiàn)強(qiáng)一致性模型必須使用絕對(duì)的全局時(shí)鐘，才能精確地定義出最近一次操作。對(duì)于單節(jié)點(diǎn)存儲(chǔ)系統(tǒng)來(lái)說(shuō)，這通常沒(méi)有問(wèn)題，單機(jī)存儲(chǔ)系統(tǒng)一般都遵守強(qiáng)一致性，但對(duì)于分布式系統(tǒng)來(lái)說(shuō)，各個(gè)節(jié)點(diǎn)時(shí)間不同步，而實(shí)現(xiàn)全局的時(shí)鐘是不可能的（無(wú)法為每個(gè)操作都分配唯一的時(shí)間戳）。所以只能發(fā)送一致性要求。 （a）強(qiáng)一致性存儲(chǔ) （b）非強(qiáng)一致性存儲(chǔ) 兩個(gè)對(duì)同一數(shù)據(jù)項(xiàng)進(jìn)行操作的進(jìn)程，水平軸為時(shí)間我們將進(jìn)程的操作順序標(biāo)在時(shí)間軸上，時(shí)間從左向右遞增。符號(hào)Wi(x)a和Ri(x)b分別表示進(jìn)程Pi對(duì)數(shù)據(jù)項(xiàng)x寫(xiě)入值a，以及進(jìn)程Pi對(duì)數(shù)據(jù)項(xiàng)x的讀操作返回b。數(shù)據(jù)項(xiàng)的初始值為NIL，例如，(a)對(duì)數(shù)據(jù)項(xiàng)x進(jìn)行了一次寫(xiě)操作，將其值更新a，這個(gè)寫(xiě)操作先在進(jìn)程P1本地的數(shù)據(jù)副本上執(zhí)行，然后再將結(jié)果傳播到其他節(jié)點(diǎn)的副本上。接著，進(jìn)程P2讀取x，并得到值a。這是強(qiáng)一致性的數(shù)據(jù)存儲(chǔ)的正確操作方式。與之相對(duì)照，(b)中的P2在寫(xiě)操作之后執(zhí)行讀操作，讀操作也許僅比寫(xiě)操作晚1ns，但畢竟在寫(xiě)操作之后，它得到初始值NIL。下一次的讀操作才得到a，這沒(méi)有滿足強(qiáng)一致性存儲(chǔ)的要求?？傊?，在強(qiáng)一致性的數(shù)據(jù)存儲(chǔ)系統(tǒng)中，寫(xiě)操作對(duì)所有進(jìn)程都是瞬間可見(jiàn)的，系統(tǒng)維護(hù)一個(gè)絕對(duì)的全局時(shí)間。如果一個(gè)數(shù)據(jù)項(xiàng)被改變了，那么無(wú)論數(shù)據(jù)項(xiàng)改變之后多久執(zhí)行讀操作，無(wú)論哪些進(jìn)程執(zhí)行讀操作，無(wú)論這些進(jìn)程的位置如何，所有在該數(shù)據(jù)項(xiàng)上執(zhí)行的后續(xù)操作都將得到新數(shù)值。同樣，如果執(zhí)行了讀操作，那么無(wú)論多快地執(zhí)行下一個(gè)寫(xiě)操作，該讀操作都將得到當(dāng)前的值。 順序一致性模型 盡管強(qiáng)一致性是理想的一致性模型，但在分布式系統(tǒng)中，它無(wú)法實(shí)現(xiàn)，與強(qiáng)一致性相比，順序一致性模型是一個(gè)要求稍弱的一致性模型，它是由Lamport在解決多處理器系統(tǒng)的共享存儲(chǔ)器[23] 時(shí)首次提出的，通常，數(shù)據(jù)存儲(chǔ)滿足一下條件時(shí)，稱為是順序一致的：任何執(zhí)行結(jié)果都是相同的，就好像所有進(jìn)程的讀、寫(xiě)操作能形成一個(gè)統(tǒng)一的操作序列，并且每個(gè)進(jìn)程都按照這個(gè)序列的順序來(lái)執(zhí)行操作。 （a）順序一致的數(shù)據(jù)存儲(chǔ) （b）非順序一致的數(shù)據(jù)存儲(chǔ) 順序一致和非順序一致的數(shù)據(jù)存儲(chǔ)這個(gè)定義意味著，進(jìn)程可以在多臺(tái)不同機(jī)器上并發(fā)運(yùn)行，任何讀、寫(xiě)操作都可以交叉執(zhí)行，但是所有進(jìn)程都看到相同的交叉序列。這樣，進(jìn)程不再通過(guò)時(shí)間來(lái)確定最近一次的寫(xiě)操作，事實(shí)上也不再用到最近一次這個(gè)概念了，進(jìn)程通過(guò)所有進(jìn)程形成的操作序列來(lái)執(zhí)行操作。 ，時(shí)間不起任何作用。假設(shè)有4個(gè)進(jìn)程對(duì)同一數(shù)據(jù)項(xiàng)x進(jìn)行操作。進(jìn)程P1對(duì)x執(zhí)行W(x)a寫(xiě)操作。隨后，進(jìn)程P2也執(zhí)行了一次寫(xiě)操作，將x的值設(shè)置為b。然而，進(jìn)程P3和P4先讀到值b，然后才讀到值a。換句話說(shuō)，進(jìn)程P2的寫(xiě)操作發(fā)生在進(jìn)程P1的寫(xiě)操作之前。 與之對(duì)照，(b)違背了順序一致性，因?yàn)椴皇撬械倪M(jìn)程看到了同樣的寫(xiě)操作的交叉序列，特別是對(duì)進(jìn)程P3而言，數(shù)據(jù)項(xiàng)好像首先變?yōu)閎，然后變?yōu)閍。而進(jìn)程P4卻得到數(shù)據(jù)項(xiàng)的最終值b。 盡管順序一致性是一個(gè)對(duì)程序人員友好地一致性模型，但是它存在嚴(yán)重的性能問(wèn)題。Lipton和Sandberg(1998)證明了：如果執(zhí)行讀操作的時(shí)間是r，執(zhí)行寫(xiě)操作的時(shí)間是w，節(jié)點(diǎn)間最小的數(shù)據(jù)包傳送時(shí)間是t，那么始終存在r + w t。換句話說(shuō)，對(duì)于任何的順序一致性存儲(chǔ)，改變協(xié)議以提高讀操作的性能必降低寫(xiě)操作性能，反之亦然。因此，分布式領(lǐng)域需要其他較弱的一致性模型。 因果一致性模型因果一致性模型[24] 是一種一種弱化的順序一致性模型，它將具有潛在因果關(guān)系的事件和沒(méi)有因果關(guān)系的操作區(qū)分開(kāi)來(lái)?？紤]一個(gè)分布式共享存儲(chǔ)器的交互過(guò)程，進(jìn)程P1對(duì)變量x執(zhí)行寫(xiě)操作。然后進(jìn)程P2先讀取x，然后利用x對(duì)y執(zhí)行寫(xiě)操作。這里，對(duì)x的讀操作和對(duì)y的寫(xiě)操作具有潛在的因果關(guān)系，因?yàn)閥的計(jì)算利用了P2所讀取的x的值。相反，如果兩個(gè)進(jìn)程在不同的變量上執(zhí)行操作，這兩個(gè)操作就沒(méi)有因果關(guān)系，沒(méi)有因果關(guān)系的操作是可以并發(fā)執(zhí)行的。 因果一致性存儲(chǔ)允許的，但順序和強(qiáng)一致性存儲(chǔ)不允許的因果一致的存儲(chǔ)系統(tǒng)必須遵守的規(guī)則是，對(duì)于具有潛在因果關(guān)系的寫(xiě)操作，能夠形成一個(gè)統(tǒng)一的操作序列，所有進(jìn)程都必須按照這個(gè)序列執(zhí)行操作，對(duì)于沒(méi)有因果關(guān)系的寫(xiě)操作，不同進(jìn)程可以以任意順序執(zhí)行。這里的事件順序是因果一致的存儲(chǔ)所允許的，但該順序是順序一致性的存儲(chǔ)和強(qiáng)一致性的存儲(chǔ)所禁止的。對(duì)于進(jìn)程P1的寫(xiě)操作W2(x)b和W1(x)c是并發(fā)的，所以沒(méi)有必要要求所有進(jìn)程以相同的順序看到它們。 事件順序存儲(chǔ)（a）違背因果一致的事件存儲(chǔ)順序；（b）符合因果一致的正確的事件存儲(chǔ)順序(a)所示，W2(x)b潛在地依賴于W1(x)a，這是因?yàn)閎可能是使用R2(x)a所讀取的值進(jìn)行計(jì)算的結(jié)果。兩個(gè)寫(xiě)操作是因果相關(guān)的，所以所有進(jìn)程必須以相同的順序看到這兩個(gè)操作。因此，(a)是不正確的。但是，(b)刪除了讀操作，所以W1(x)a和W2(x)b現(xiàn)在是并發(fā)的寫(xiě)操作了。因果一致的存儲(chǔ)并不要求并發(fā)的寫(xiě)操作是全局有序的，(b)是正確的。實(shí)現(xiàn)因果一致性要求跟蹤哪些進(jìn)程看到了哪些寫(xiě)操作。這就意味著必須構(gòu)建和維護(hù)一張記錄哪些操作依賴于哪些操作的依賴關(guān)系圖。一種實(shí)現(xiàn)方法是使用向量時(shí)間戳，這樣需要一些額外的開(kāi)銷(xiāo)。 FIFO一致性模型因果一致性允許在多臺(tái)機(jī)器上并發(fā)地執(zhí)行沒(méi)有因果關(guān)系的寫(xiě)操作，但是對(duì)于因果相關(guān)的寫(xiě)操作，所有機(jī)器必須以相同的順序執(zhí)行。如果放棄后一條要求，這樣就得到FIFO一致性。它滿足的條件是：每個(gè)進(jìn)程的寫(xiě)操作都形成一個(gè)序列，所有進(jìn)程執(zhí)行寫(xiě)操作的時(shí)候，對(duì)于來(lái)自同一個(gè)進(jìn)程的寫(xiě)操作，必須按照原始序列執(zhí)行，但是對(duì)于來(lái)自不同進(jìn)程的寫(xiě)操作，可以以任意順序執(zhí)行。 對(duì)FIFO一致性有效地事件順序在分布式共享存儲(chǔ)系統(tǒng)中，F(xiàn)IFO一致性被稱為PRAM一致性[26] ，PRAM代表管道化RAM，因?yàn)閱我贿M(jìn)程的寫(xiě)操作可以用管道處理，也就是說(shuō)，進(jìn)程不必在開(kāi)始進(jìn)行下一個(gè)寫(xiě)操作之前，停止以等待前一個(gè)寫(xiě)操作的完成。，圖中所示的時(shí)間順序是FIFO一致的數(shù)據(jù)存儲(chǔ)所允許的順序，但不是我們已經(jīng)介紹過(guò)的任何更強(qiáng)模型所允許的順序。FIFO一致性受到了業(yè)界的廣泛關(guān)注，其原因是它很容易實(shí)現(xiàn)。實(shí)際上，這種模型不需要保證不同進(jìn)程看到寫(xiě)操作的順序，除非兩個(gè)以上的寫(xiě)操作是同一個(gè)進(jìn)程提出的。這種情況下，寫(xiě)操作必須按順序達(dá)到。換句話說(shuō)，在這種模型中，所有由不同進(jìn)程產(chǎn)生的寫(xiě)操作都是并發(fā)的。這種模型可以通過(guò)如下方法實(shí)現(xiàn)：簡(jiǎn)單地使用（進(jìn)程，序列號(hào)）對(duì)作為每個(gè)操作的標(biāo)簽，并根據(jù)序列號(hào)執(zhí)行每個(gè)進(jìn)程的寫(xiě)操作。 最終一致性在實(shí)際系統(tǒng)中，進(jìn)程以何種并發(fā)程度執(zhí)行以及系統(tǒng)達(dá)成的一致性程度都不盡相同，比如，在很多數(shù)據(jù)庫(kù)系統(tǒng)中，大部分進(jìn)程都很少執(zhí)行update操作，它們一般只是從數(shù)據(jù)庫(kù)讀取數(shù)據(jù)。只有很少幾個(gè)進(jìn)程執(zhí)行update操作。問(wèn)題是讓那些只讀進(jìn)程多久之后看到update結(jié)果。另一個(gè)例子是萬(wàn)維網(wǎng)域名系統(tǒng)比如DNS，DNS的名字空間由域名組成，域名被分配給權(quán)威的命名機(jī)構(gòu)管理，它是域名的擁有者。只有它才能更改名字空間。因此這種情況下，不會(huì)存在兩個(gè)操作同時(shí)更改一個(gè)數(shù)據(jù)，即沒(méi)有writewrite沖突，我們唯一需要處理的是readwrite沖突，即對(duì)一個(gè)數(shù)據(jù)執(zhí)行讀操作的時(shí)候，另一個(gè)寫(xiě)操作也正在并發(fā)地執(zhí)行。在實(shí)際應(yīng)用中，通?？梢圆捎米x后寫(xiě)的方式，寫(xiě)操作要過(guò)一段時(shí)間才會(huì)傳播，讓讀操作看到。還有一個(gè)例子是World Wide Web。幾乎所有網(wǎng)站中的網(wǎng)頁(yè)都是由一臺(tái)服務(wù)器更新，比如webmaster或者網(wǎng)頁(yè)的擁有者，因此幾乎不存在writewrite沖突，另一方面，為了提高網(wǎng)頁(yè)訪問(wèn)的速度，瀏覽器和代理服務(wù)器使用一些機(jī)制，可以在本地cache中保存訪問(wèn)過(guò)的網(wǎng)頁(yè)，這樣下一次請(qǐng)求網(wǎng)頁(yè)的時(shí)候就可以從cache中直接返回。兩種cache的共同特點(diǎn)是可能會(huì)從cache中返回過(guò)期的網(wǎng)頁(yè)，但是對(duì)用戶來(lái)說(shuō)，這是可以接受的。以上幾個(gè)都是分布式存儲(chǔ)系統(tǒng)中可以容忍很大程度的不一致性的例子。他們的共同特點(diǎn)是update操作經(jīng)過(guò)足夠長(zhǎng)的時(shí)間后，所有拷貝最終會(huì)達(dá)成一致。這種類型的一致性就叫做最終一致性。滿足最終一致性的數(shù)據(jù)存儲(chǔ)系統(tǒng)有一個(gè)特點(diǎn)：如果后續(xù)沒(méi)有update操作，所有拷貝最后都擁有相同的數(shù)據(jù)。最終一致性只要求update操作能夠傳播到所有拷貝。如果只有一小部分進(jìn)程執(zhí)行寫(xiě)操作，那么writewrite沖突相對(duì)來(lái)說(shuō)容易解決。因此最終一致性實(shí)現(xiàn)起來(lái)非常容易。 一致性協(xié)議一致性協(xié)議用來(lái)描述一致性模型的具體實(shí)現(xiàn)，基本上，最重要且應(yīng)用最廣泛的模型是其操作是全局串行的一致性模型。這些模型包括順序一致性模型、使用同步變量的弱一致性，以及原子事務(wù)處理。本節(jié)介紹實(shí)現(xiàn)這些一致