聊聊分散式事務,再說說解決方案

發表於2018-02-01

前言

分散式事務是企業整合中的一個技術難點,也是每一個分散式系統架構中都會涉及到的一個東西,特別是在微服務架構中,幾乎可以說是無法避免,本文就分散式事務來簡單聊一下。

資料庫事務

在說分散式事務之前,我們先從資料庫事務說起。 資料庫事務可能大家都很熟悉,在開發過程中也會經常使用到。但是即使如此,可能對於一些細節問題,很多人仍然不清楚。比如很多人都知道資料庫事務的幾個特性:原子性(Atomicity )、一致性( Consistency )、隔離性或獨立性( Isolation)和永續性(Durabilily),簡稱就是ACID。但是再往下比如問到隔離性指的是什麼的時候可能就不知道了,或者是知道隔離性是什麼但是再問到資料庫實現隔離的都有哪些級別,或者是每個級別他們有什麼區別的時候可能就不知道了。

本文並不打算介紹這些資料庫事務的這些東西,有興趣可以搜尋一下相關資料。不過有一個知識點我們需要了解,就是假如資料庫在提交事務的時候突然斷電,那麼它是怎麼樣恢復的呢? 為什麼要提到這個知識點呢? 因為分散式系統的核心就是處理各種異常情況,這也是分散式系統複雜的地方,因為分散式的網路環境很複雜,這種“斷電”故障要比單機多很多,所以我們在做分散式系統的時候,最先考慮的就是這種情況。這些異常可能有 機器當機、網路異常、訊息丟失、訊息亂序、資料錯誤、不可靠的TCP、儲存資料丟失、其他異常等等…

我們接著說本地事務資料庫斷電的這種情況,它是怎麼保證資料一致性的呢?我們使用SQL Server來舉例,我們知道我們在使用 SQL Server 資料庫是由兩個檔案組成的,一個資料庫檔案和一個日誌檔案,通常情況下,日誌檔案都要比資料庫檔案大很多。資料庫進行任何寫入操作的時候都是要先寫日誌的,同樣的道理,我們在執行事務的時候資料庫首先會記錄下這個事務的redo操作日誌,然後才開始真正運算元據庫,在操作之前首先會把日誌檔案寫入磁碟,那麼當突然斷電的時候,即使操作沒有完成,在重新啟動資料庫時候,資料庫會根據當前資料的情況進行undo回滾或者是redo前滾,這樣就保證了資料的強一致性。

接著,我們就說一下分散式事務。

分散式理論

當我們的單個資料庫的效能產生瓶頸的時候,我們可能會對資料庫進行分割槽,這裡所說的分割槽指的是物理分割槽,分割槽之後可能不同的庫就處於不同的伺服器上了,這個時候單個資料庫的ACID已經不能適應這種情況了,而在這種ACID的叢集環境下,再想保證叢集的ACID幾乎是很難達到,或者即使能達到那麼效率和效能會大幅下降,最為關鍵的是再很難擴充套件新的分割槽了,這個時候如果再追求叢集的ACID會導致我們的系統變得很差,這時我們就需要引入一個新的理論原則來適應這種叢集的情況,就是 CAP 原則或者叫CAP定理,那麼CAP定理指的是什麼呢?

CAP定理

CAP定理是由加州大學伯克利分校Eric Brewer教授提出來的,他指出WEB服務無法同時滿足一下3個屬性:

  • 一致性(Consistency) : 客戶端知道一系列的操作都會同時發生(生效)
  • 可用性(Availability) : 每個操作都必須以可預期的響應結束
  • 分割槽容錯性(Partition tolerance) : 即使出現單個元件無法可用,操作依然可以完成

具體地講在分散式系統中,在任何資料庫設計中,一個Web應用至多隻能同時支援上面的兩個屬性。顯然,任何橫向擴充套件策略都要依賴於資料分割槽。因此,設計人員必須在一致性與可用性之間做出選擇。

這個定理在迄今為止的分散式系統中都是適用的! 為什麼這麼說呢?

這個時候有同學可能會把資料庫的2PC(兩階段提交)搬出來說話了。OK,我們就來看一下資料庫的兩階段提交。

對資料庫分散式事務有了解的同學一定知道資料庫支援的2PC,又叫做 XA Transactions。

MySQL從5.5版本開始支援,SQL Server 2005 開始支援,Oracle 7 開始支援。

其中,XA 是一個兩階段提交協議,該協議分為以下兩個階段:

  • 第一階段:事務協調器要求每個涉及到事務的資料庫預提交(precommit)此操作,並反映是否可以提交.
  • 第二階段:事務協調器要求每個資料庫提交資料。

其中,如果有任何一個資料庫否決此次提交,那麼所有資料庫都會被要求回滾它們在此事務中的那部分資訊。這樣做的缺陷是什麼呢? 咋看之下我們可以在資料庫分割槽之間獲得一致性。

如果CAP 定理是對的,那麼它一定會影響到可用性。

如果說系統的可用性代表的是執行某項操作相關所有元件的可用性的和。那麼在兩階段提交的過程中,可用性就代表了涉及到的每一個資料庫中可用性的和。我們假設兩階段提交的過程中每一個資料庫都具有99.9%的可用性,那麼如果兩階段提交涉及到兩個資料庫,這個結果就是99.8%。根據系統可用性計算公式,假設每個月43200分鐘,99.9%的可用性就是43157分鐘, 99.8%的可用性就是43114分鐘,相當於每個月的當機時間增加了43分鐘。

以上,可以驗證出來,CAP定理從理論上來講是正確的,CAP我們先看到這裡,等會再接著說。

BASE理論

在分散式系統中,我們往往追求的是可用性,它的重要程式比一致性要高,那麼如何實現高可用性呢? 前人已經給我們提出來了另外一個理論,就是BASE理論,它是用來對CAP定理進行進一步擴充的。BASE理論指的是:

  • Basically Available(基本可用)
  • Soft state(軟狀態)
  • Eventually consistent(最終一致性)

BASE理論是對CAP中的一致性和可用性進行一個權衡的結果,理論的核心思想就是:我們無法做到強一致,但每個應用都可以根據自身的業務特點,採用適當的方式來使系統達到最終一致性(Eventual consistency)。

有了以上理論之後,我們來看一下分散式事務的問題。

分散式事務

在分散式系統中,要實現分散式事務,無外乎那幾種解決方案。

一、兩階段提交(2PC)

和上一節中提到的資料庫XA事務一樣,兩階段提交就是使用XA協議的原理,我們可以從下面這個圖的流程來很容易的看出中間的一些比如commit和abort的細節。

聊聊分散式事務,再說說解決方案

兩階段提交這種解決方案屬於犧牲了一部分可用性來換取的一致性。在實現方面,在 .NET 中,可以藉助 TransactionScop 提供的 API 來程式設計實現分散式系統中的兩階段提交,比如WCF中就有實現這部分功能。不過在多伺服器之間,需要依賴於DTC來完成事務一致性,Windows下微軟搞的有MSDTC服務,Linux下就比較悲劇了。

另外說一句,TransactionScop 預設不能用於非同步方法之間事務一致,因為事務上下文是儲存於當前執行緒中的,所以如果是在非同步方法,需要顯式的傳遞事務上下文。

優點: 儘量保證了資料的強一致,適合對資料強一致要求很高的關鍵領域。(其實也不能100%保證強一致)

缺點: 實現複雜,犧牲了可用性,對效能影響較大,不適合高併發高效能場景,如果分散式系統跨介面呼叫,目前 .NET 界還沒有實現方案。

二、補償事務(TCC)

TCC 其實就是採用的補償機制,其核心思想是:針對每個操作,都要註冊一個與其對應的確認和補償(撤銷)操作。它分為三個階段:

  • Try 階段主要是對業務系統做檢測及資源預留
  • Confirm 階段主要是對業務系統做確認提交,Try階段執行成功並開始執行 Confirm階段時,預設 Confirm階段是不會出錯的。即:只要Try成功,Confirm一定成功。
  • Cancel 階段主要是在業務執行錯誤,需要回滾的狀態下執行的業務取消,預留資源釋放。

舉個例子,假入 Bob 要向 Smith 轉賬,思路大概是:
我們有一個本地方法,裡面依次呼叫
1、首先在 Try 階段,要先呼叫遠端介面把 Smith 和 Bob 的錢給凍結起來。
2、在 Confirm 階段,執行遠端呼叫的轉賬的操作,轉賬成功進行解凍。
3、如果第2步執行成功,那麼轉賬成功,如果第二步執行失敗,則呼叫遠端凍結介面對應的解凍方法 (Cancel)。

優點: 跟2PC比起來,實現以及流程相對簡單了一些,但資料的一致性比2PC也要差一些

缺點: 缺點還是比較明顯的,在2,3步中都有可能失敗。TCC屬於應用層的一種補償方式,所以需要程式設計師在實現的時候多寫很多補償的程式碼,在一些場景中,一些業務流程可能用TCC不太好定義及處理。

三、本地訊息表(非同步確保)

本地訊息表這種實現方式應該是業界使用最多的,其核心思想是將分散式事務拆分成本地事務進行處理,這種思路是來源於ebay。我們可以從下面的流程圖中看出其中的一些細節:

聊聊分散式事務,再說說解決方案

基本思路就是:

訊息生產方,需要額外建一個訊息表,並記錄訊息傳送狀態。訊息表和業務資料要在一個事務裡提交,也就是說他們要在一個資料庫裡面。然後訊息會經過MQ傳送到訊息的消費方。如果訊息傳送失敗,會進行重試傳送。

訊息消費方,需要處理這個訊息,並完成自己的業務邏輯。此時如果本地事務處理成功,表明已經處理成功了,如果處理失敗,那麼就會重試執行。如果是業務上面的失敗,可以給生產方傳送一個業務補償訊息,通知生產方進行回滾等操作。

生產方和消費方定時掃描本地訊息表,把還沒處理完成的訊息或者失敗的訊息再傳送一遍。如果有靠譜的自動對賬補賬邏輯,這種方案還是非常實用的。

這種方案遵循BASE理論,採用的是最終一致性,筆者認為是這幾種方案裡面比較適合實際業務場景的,即不會出現像2PC那樣複雜的實現(當呼叫鏈很長的時候,2PC的可用性是非常低的),也不會像TCC那樣可能出現確認或者回滾不了的情況。

優點: 一種非常經典的實現,避免了分散式事務,實現了最終一致性。在 .NET中 有現成的解決方案。

缺點: 訊息表會耦合到業務系統中,如果沒有封裝好的解決方案,會有很多雜活需要處理。

四、MQ 事務訊息

有一些第三方的MQ是支援事務訊息的,比如RocketMQ,他們支援事務訊息的方式也是類似於採用的二階段提交,但是市面上一些主流的MQ都是不支援事務訊息的,比如 RabbitMQ 和 Kafka 都不支援。

以阿里的 RocketMQ 中介軟體為例,其思路大致為:

第一階段Prepared訊息,會拿到訊息的地址。
第二階段執行本地事務,第三階段通過第一階段拿到的地址去訪問訊息,並修改狀態。

也就是說在業務方法內要想訊息佇列提交兩次請求,一次傳送訊息和一次確認訊息。如果確認訊息傳送失敗了RocketMQ會定期掃描訊息叢集中的事務訊息,這時候發現了Prepared訊息,它會向訊息傳送者確認,所以生產方需要實現一個check介面,RocketMQ會根據傳送端設定的策略來決定是回滾還是繼續傳送確認訊息。這樣就保證了訊息傳送與本地事務同時成功或同時失敗。

聊聊分散式事務,再說說解決方案

遺憾的是,RocketMQ並沒有 .NET 客戶端。有關 RocketMQ的更多訊息,大家可以檢視這篇部落格

優點: 實現了最終一致性,不需要依賴本地資料庫事務。

缺點: 實現難度大,主流MQ不支援,沒有.NET客戶端,RocketMQ事務訊息部分程式碼也未開源。

五、Sagas 事務模型

Saga事務模型又叫做長時間執行的事務(Long-running-transaction), 它是由普林斯頓大學的H.Garcia-Molina等人提出,它描述的是另外一種在沒有兩階段提交的的情況下解決分散式系統中複雜的業務事務問題。你可以在這裡看到 Sagas 相關論文。

我們這裡說的是一種基於 Sagas 機制的工作流事務模型,這個模型的相關理論目前來說還是比較新的,以至於百度上幾乎沒有什麼相關資料。

該模型其核心思想就是拆分分散式系統中的長事務為多個短事務,或者叫多個本地事務,然後由 Sagas 工作流引擎負責協調,如果整個流程正常結束,那麼就算是業務成功完成,如果在這過程中實現失敗,那麼Sagas工作流引擎就會以相反的順序呼叫補償操作,重新進行業務回滾。

比如我們一次關於購買旅遊套餐業務操作涉及到三個操作,他們分別是預定車輛,預定賓館,預定機票,他們分別屬於三個不同的遠端介面。可能從我們程式的角度來說他們不屬於一個事務,但是從業務角度來說是屬於同一個事務的。

聊聊分散式事務,再說說解決方案

他們的執行順序如上圖所示,所以當發生失敗時,會依次進行取消的補償操作。

因為長事務被拆分了很多個業務流,所以 Sagas 事務模型最重要的一個部件就是工作流或者你也可以叫流程管理器(Process Manager),工作流引擎和Process Manager雖然不是同一個東西,但是在這裡,他們的職責是相同的。在選擇工作流引擎之後,最終的程式碼也許看起來是這樣的

這裡有一個 C# 相關示例,有興趣的同學可以看一下。

優缺點這裡我們就不說了,因為這個理論比較新,目前市面上還沒有什麼解決方案,即使是 Java 領域,我也沒有搜尋的太多有用的資訊。

分散式事務解決方案:CAP

上面介紹的那些分散式事務的處理方案你在其他地方或許也可以看到,但是並沒有相關的實際程式碼或者是開原始碼,所以算不上什麼乾貨,下面就放乾貨了。

在 .NET 領域,似乎沒有什麼現成的關於分散式事務的解決方案,或者說是有但未開源。具筆者瞭解,有一些公司內部其實是有這種解決方案的,但是也是作為公司的一個核心產品之一,並未開源…

鑑於以上原因,所以博主就打算自己寫一個並且開源出來,所以從17年初就開始做這個事情,然後花了大半年的時間在一直不斷完善,就是下面這個 CAP。

Github CAP:這裡的 CAP 就不是 CAP 理論了,而是一個 .NET 分散式事務解決方案的名字。

詳細介紹:
http://www.cnblogs.com/savorboard/p/cap.html
相關文件:
http://www.cnblogs.com/savorboard/p/cap-document.html

誇張的是,這個解決方案是具有視覺化介面(Dashboard)的,你可以很方面的看到哪些訊息執行成功,哪些訊息執行失敗,到底是傳送失敗還是處理失敗,一眼便知。

最誇張的是,這個解決方案的視覺化介面還提供了實時動態圖表,這樣不但可以看到實時的訊息傳送及處理情況,連當前的系統處理訊息的速度都可以看到,還可以看到過去24小時內的歷史訊息吞吐量。

最最誇張的是,這個解決方案的還幫你整合了 Consul 做分散式節點發現和註冊還有心跳檢查,你隨時可以看到其他的節點的狀況。

最最最誇張的是,你以為你看其他節點的資料要登入到其他節點的Dashboard控制檯看?錯了,你隨便開啟其中任意一個節點的Dashboard,點一下就可以切換到你想看的節點的控制檯介面了,就像你看本地的資料一樣,他們是完全去中心化的。

你以為這些就夠了?不,遠遠不止:

  • CAP 同時支援 RabbitMQ,Kafka 等訊息佇列
  • CAP 同時支援 SQL Server, MySql, PostgreSql 等資料庫
  • CAP Dashboard 同時支援中文和英文介面雙語言,媽媽再也不用擔心我看不懂了
  • CAP 提供了豐富的介面可以供擴充套件,什麼序列化了,自定義處理了,自定義傳送了統統不在話下
  • CAP 基於MIT開源,你可以儘管拿去做二次開發。(記得保留MIT的License)

這下你以為我說完了? 不!

你完全可以把 CAP 當做一個 EventBus 來使用,CAP具有優秀的訊息處理能力,不要擔心瓶頸會在CAP,那是永遠不可能, 因為你隨時可以在配置中指定CAP處理的訊息使用的程式數, 只要你的資料庫配置足夠高…

說了這麼多,口乾舌燥的,你不 Star 一下給個精神上的支援說不過去吧? ^_^

2號傳送門: https://github.com/dotnetcore/CAP

不 Star 也沒關係,我選擇原諒你~

總結

通過本文我們瞭解到兩個分散式系統的理論,他們分別是CAP和BASE 理論,同時我們也總結並對比了幾種分散式分解方案的優缺點,分散式事務本身是一個技術難題,是沒有一種完美的方案應對所有場景的,具體還是要根據業務場景去抉擇吧。 然後我們介紹了一種基於本地訊息的的分散式事務解決方案CAP。

如果你覺得本篇文章對您有幫助的話,感謝您的【推薦】。

如果你對 .NET Core 有興趣的話可以關注我,我會定期的在部落格分享我的學習心得。

相關文章