：

隨著業(yè)務(wù)的快速發(fā)展、業(yè)務(wù)復(fù)雜度越來越高，幾乎每個公司的系統(tǒng)都會從單體走向分布式，特別是轉(zhuǎn)向微服務(wù)架構(gòu)。隨之而來就必然遇到分布式事務(wù)這個難題。
這篇文章首先介紹了相關(guān)的基礎(chǔ)理論，然后總結(jié)了最經(jīng)典的事務(wù)方案，最后給出了子事務(wù)亂序執(zhí)行（冪等、空補(bǔ)償、懸掛問題）的解決方案，分享給大家。

1、基礎(chǔ)理論

在講解具體方案之前，我們先了解一下分布式事務(wù)所涉及到的基礎(chǔ)理論知識。

我們拿轉(zhuǎn)賬作為例子，A需要轉(zhuǎn)100元給B，那么需要給A的余額-100元，給B的余額+100元，整個轉(zhuǎn)賬要保證，A-100和B+100同時成功，或者同時失敗?？纯丛诟鞣N場景下，是如何解決這個問題的。

1.1 事務(wù)

把多條語句作為一個整體進(jìn)行操作的功能，被稱為數(shù)據(jù)庫事務(wù)。數(shù)據(jù)庫事務(wù)可以確保該事務(wù)范圍內(nèi)的所有操作都可以全部成功或者全部失敗。

事務(wù)具有 4 個屬性：原子性、一致性、隔離性、持久性。這四個屬性通常稱為 ACID 特性。

• Atomicity（原子性）：一個事務(wù)中的所有操作，要么全部完成，要么全部不完成，不會結(jié)束在中間某個環(huán)節(jié)。事務(wù)在執(zhí)行過程中發(fā)生錯誤，會被恢復(fù)到事務(wù)開始前的狀態(tài)，就像這個事務(wù)從來沒有執(zhí)行過一樣。
• Consistency（一致性）：在事務(wù)開始之前和事務(wù)結(jié)束以后，數(shù)據(jù)庫的完整性沒有被破壞。完整性包括外鍵約束、應(yīng)用定義的等約束不會被破壞。
• Isolation（隔離性）：數(shù)據(jù)庫允許多個并發(fā)事務(wù)同時對其數(shù)據(jù)進(jìn)行讀寫和修改的能力，隔離性可以防止多個事務(wù)并發(fā)執(zhí)行時由于交叉執(zhí)行而導(dǎo)致數(shù)據(jù)的不一致。
• Durability（持久性）：事務(wù)處理結(jié)束后，對數(shù)據(jù)的修改就是永久的，即便系統(tǒng)故障也不會丟失。

假如我們的業(yè)務(wù)系統(tǒng)不復(fù)雜，可以在一個數(shù)據(jù)庫、一個服務(wù)內(nèi)對數(shù)據(jù)進(jìn)行修改，完成轉(zhuǎn)賬，那么，我們可以利用數(shù)據(jù)庫事務(wù)，保證轉(zhuǎn)賬業(yè)務(wù)的正確完成。

1.2 分布式事務(wù)

銀行跨行轉(zhuǎn)賬業(yè)務(wù)是一個典型分布式事務(wù)場景，假設(shè)A需要跨行轉(zhuǎn)賬給B，那么就涉及兩個銀行的數(shù)據(jù)，無法通過一個數(shù)據(jù)庫的本地事務(wù)保證轉(zhuǎn)賬的ACID，只能夠通過分布式事務(wù)來解決。

分布式事務(wù)就是指事務(wù)的發(fā)起者、資源及資源管理器和事務(wù)協(xié)調(diào)者分別位于分布式系統(tǒng)的不同節(jié)點(diǎn)之上。在上述轉(zhuǎn)賬的業(yè)務(wù)中，用戶A-100操作和用戶B+100操作不是位于同一個節(jié)點(diǎn)上。本質(zhì)上來說，分布式事務(wù)就是為了保證在分布式場景下，數(shù)據(jù)操作的正確執(zhí)行。

分布式事務(wù)在分布式環(huán)境下，為了滿足可用性、性能與降級服務(wù)的需要，降低一致性與隔離性的要求，一方面遵循 BASE 理論（BASE相關(guān)理論，涉及內(nèi)容非常多，感興趣的同學(xué)，可以參考BASE理論）：

• 基本業(yè)務(wù)可用性（Basic Availability）
• 柔性狀態(tài)（Soft state）
• 最終一致性（Eventual consistency）
  

同樣的，分布式事務(wù)也部分遵循 ACID 規(guī)范：

• 原子性：嚴(yán)格遵循
• 一致性：事務(wù)完成后的一致性嚴(yán)格遵循；事務(wù)中的一致性可適當(dāng)放寬
• 隔離性：并行事務(wù)間不可影響；事務(wù)中間結(jié)果可見性允許安全放寬
• 持久性：嚴(yán)格遵循

2、分布式事務(wù)的解決方案

由于分布式事務(wù)方案，無法做到完全的ACID的保證，沒有一種完美的方案，能夠解決掉所有業(yè)務(wù)問題。因此在實(shí)際應(yīng)用中，會根據(jù)業(yè)務(wù)的不同特性，選擇最適合的分布式事務(wù)方案。

2.1 兩階段提交/XA

XA是由X/Open組織提出的分布式事務(wù)的規(guī)范，XA規(guī)范主要定義了(全局)事務(wù)管理器(TM)和(局部)資源管理器(RM)之間的接口。本地的數(shù)據(jù)庫如mysql在XA中扮演的是RM角色

XA一共分為兩階段：

• 第一階段（prepare）：即所有的參與者RM準(zhǔn)備執(zhí)行事務(wù)并鎖住需要的資源。參與者ready時，向TM報告已準(zhǔn)備就緒。
• 第二階段 (commit/rollback)：當(dāng)事務(wù)管理者(TM)確認(rèn)所有參與者(RM)都ready后，向所有參與者發(fā)送commit命令。
  

目前主流的數(shù)據(jù)庫基本都支持XA事務(wù)，包括mysql、oracle、sqlserver、postgre

XA 事務(wù)由一個或多個資源管理器（RM）、一個事務(wù)管理器（TM）和一個應(yīng)用程序（ApplicationProgram）組成。

這里的RM、TM、AP三個角色是經(jīng)典的角色劃分，會貫穿后續(xù)Saga、Tcc等事務(wù)模式。

把上面的轉(zhuǎn)賬作為例子，一個成功完成的XA事務(wù)時序圖如下：

如果有任何一個參與者prepare失敗，那么TM會通知所有完成prepare的參與者進(jìn)行回滾。

XA事務(wù)的特點(diǎn)是：

• 簡單易理解，開發(fā)較容易
• 對資源進(jìn)行了長時間的鎖定，并發(fā)度低

如果讀者想要進(jìn)一步研究XA，go語言以及PHP、Python、Java、C# 、Node等都可參考DTM

2.2 SAGA

Saga是這一篇數(shù)據(jù)庫論文sagas提到的一個方案。其核心思想是將長事務(wù)拆分為多個本地短事務(wù)，由Saga事務(wù)協(xié)調(diào)器協(xié)調(diào)，如果正常結(jié)束那就正常完成，如果某個步驟失敗，則根據(jù)相反順序一次調(diào)用補(bǔ)償操作。

把上面的轉(zhuǎn)賬作為例子，一個成功完成的SAGA事務(wù)時序圖如下：

Saga一旦到了Cancel階段，那么Cancel在業(yè)務(wù)邏輯上是不允許失敗了。如果因?yàn)榫W(wǎng)絡(luò)或者其他臨時故障，導(dǎo)致沒有返回成功，那么TM會不斷重試，直到Cancel返回成功。

Saga事務(wù)的特點(diǎn)：

• 并發(fā)度高，不用像XA事務(wù)那樣長期鎖定資源
• 需要定義正常操作以及補(bǔ)償操作，開發(fā)量比XA大
• 一致性較弱，對于轉(zhuǎn)賬，可能發(fā)生A用戶已扣款，最后轉(zhuǎn)賬又失敗的情況
  

論文里面的SAGA內(nèi)容較多，包括兩種恢復(fù)策略，包括分支事務(wù)并發(fā)執(zhí)行，我們這里的討論，僅包括最簡單的SAGA

SAGA適用的場景較多，長事務(wù)適用，對中間結(jié)果不敏感的業(yè)務(wù)場景適用

如果讀者想要進(jìn)一步研究SAGA，可參考DTM，里面包括了SAGA成功、失敗回滾的例子，還包括各類網(wǎng)絡(luò)異常的處理。

2.3 TCC

關(guān)于 TCC（Try-Confirm-Cancel）的概念，最早是由 Pat Helland 于 2007 年發(fā)表的一篇名為《Life beyond Distributed Transactions:an Apostate's Opinion》的論文提出。

TCC分為3個階段：

• Try 階段：嘗試執(zhí)行，完成所有業(yè)務(wù)檢查（一致性）, 預(yù)留必須業(yè)務(wù)資源（準(zhǔn)隔離性）
• Confirm 階段：確認(rèn)執(zhí)行真正執(zhí)行業(yè)務(wù)，不作任何業(yè)務(wù)檢查，只使用 Try 階段預(yù)留的業(yè)務(wù)資源，Confirm 操作要求具備冪等設(shè)計(jì)，Confirm 失敗后需要進(jìn)行重試。
• Cancel 階段：取消執(zhí)行，釋放 Try 階段預(yù)留的業(yè)務(wù)資源。Cancel 階段的異常和 Confirm 階段異常處理方案基本上一致，要求滿足冪等設(shè)計(jì)。
  

把上面的轉(zhuǎn)賬作為例子，通常會在Try里面凍結(jié)金額，但不扣款，Confirm里面扣款，Cancel里面解凍金額，

一個成功完成的TCC事務(wù)時序圖如下：

TCC的Confirm/Cancel階段在業(yè)務(wù)邏輯上是不允許返回失敗的，如果因?yàn)榫W(wǎng)絡(luò)或者其他臨時故障，導(dǎo)致不能返回成功，TM會不斷的重試，直到Confirm/Cancel返回成功。

TCC特點(diǎn)如下：

• 并發(fā)度較高，無長期資源鎖定。
• 開發(fā)量較大，需要提供Try/Confirm/Cancel接口。
• 一致性較好，不會發(fā)生SAGA已扣款最后又轉(zhuǎn)賬失敗的情況
• TCC適用于訂單類業(yè)務(wù)，對中間狀態(tài)有約束的業(yè)務(wù)
  

如果讀者想要進(jìn)一步研究TCC，可參考DTM

2.4 本地消息表

本地消息表這個方案最初是 ebay 架構(gòu)師 Dan Pritchett 在 2008 年發(fā)表給 ACM 的文章。設(shè)計(jì)核心是將需要分布式處理的任務(wù)通過消息的方式來異步確保執(zhí)行。

大致流程如下：

寫本地消息和業(yè)務(wù)操作放在一個事務(wù)里，保證了業(yè)務(wù)和發(fā)消息的原子性，要么他們?nèi)汲晒Γ慈际　?/p>

容錯機(jī)制：

• 扣減余額事務(wù) 失敗時，事務(wù)直接回滾，無后續(xù)步驟
• 輪序生產(chǎn)消息失敗， 增加余額事務(wù)失敗都會進(jìn)行重試
  

本地消息表的特點(diǎn)：

• 長事務(wù)僅需要分拆成多個任務(wù)，使用簡單
• 生產(chǎn)者需要額外的創(chuàng)建消息表
• 每個本地消息表都需要進(jìn)行輪詢
• 消費(fèi)者的邏輯如果無法通過重試成功，那么還需要更多的機(jī)制，來回滾操作
  

適用于可異步執(zhí)行的業(yè)務(wù)，且后續(xù)操作無需回滾的業(yè)務(wù)

2.5 事務(wù)消息

在上述的本地消息表方案中，生產(chǎn)者需要額外創(chuàng)建消息表，還需要對本地消息表進(jìn)行輪詢，業(yè)務(wù)負(fù)擔(dān)較重。阿里開源的RocketMQ 4.3之后的版本正式支持事務(wù)消息，該事務(wù)消息本質(zhì)上是把本地消息表放到RocketMQ上，解決生產(chǎn)端的消息發(fā)送與本地事務(wù)執(zhí)行的原子性問題。

事務(wù)消息發(fā)送及提交：

發(fā)送消息（half消息）
服務(wù)端存儲消息，并響應(yīng)消息的寫入結(jié)果
根據(jù)發(fā)送結(jié)果執(zhí)行本地事務(wù)（如果寫入失敗，此時half消息對業(yè)務(wù)不可見，本地邏輯不執(zhí)行）
根據(jù)本地事務(wù)狀態(tài)執(zhí)行Commit或者Rollback（Commit操作發(fā)布消息，消息對消費(fèi)者可見）

正常發(fā)送的流程圖如下：

補(bǔ)償流程：

對沒有Commit/Rollback的事務(wù)消息（pending狀態(tài)的消息），從服務(wù)端發(fā)起一次“回查”
Producer收到回查消息，返回消息對應(yīng)的本地事務(wù)的狀態(tài)，為Commit或者Rollback
事務(wù)消息方案與本地消息表機(jī)制非常類似，區(qū)別主要在于原先相關(guān)的本地表操作替換成了一個反查接口

事務(wù)消息特點(diǎn)如下：

• 長事務(wù)僅需要分拆成多個任務(wù)，并提供一個反查接口，使用簡單
• 消費(fèi)者的邏輯如果無法通過重試成功，那么還需要更多的機(jī)制，來回滾操作
  

適用于可異步執(zhí)行的業(yè)務(wù)，且后續(xù)操作無需回滾的業(yè)務(wù)

2.6 最大努力通知

發(fā)起通知方通過一定的機(jī)制最大努力將業(yè)務(wù)處理結(jié)果通知到接收方。具體包括：

有一定的消息重復(fù)通知機(jī)制。因?yàn)榻邮胀ㄖ娇赡軟]有接收到通知，此時要有一定的機(jī)制對消息重復(fù)通知。
消息校對機(jī)制。如果盡最大努力也沒有通知到接收方，或者接收方消費(fèi)消息后要再次消費(fèi)，此時可由接收方主動向通知方查詢消息信息來滿足需求。
前面介紹的的本地消息表和事務(wù)消息都屬于可靠消息，與這里介紹的最大努力通知有什么不同？

可靠消息一致性，發(fā)起通知方需要保證將消息發(fā)出去，并且將消息發(fā)到接收通知方，消息的可靠性關(guān)鍵由發(fā)起通知方來保證。

最大努力通知，發(fā)起通知方盡最大的努力將業(yè)務(wù)處理結(jié)果通知為接收通知方，但是可能消息接收不到，此時需要接收通知方主動調(diào)用發(fā)起通知方的接口查詢業(yè)務(wù)處理結(jié)果，通知的可靠性關(guān)鍵在接收通知方。

解決方案上，最大努力通知需要：

• 提供接口，讓接受通知放能夠通過接口查詢業(yè)務(wù)處理結(jié)果
• 消息隊(duì)列ACK機(jī)制，消息隊(duì)列按照間隔1min、5min、10min、30min、1h、2h、5h、10h的方式，逐步拉大通知間隔 ，直到達(dá)到通知要求的時間窗口上限。之后不再通知
  

最大努力通知適用于業(yè)務(wù)通知類型，例如微信交易的結(jié)果，就是通過最大努力通知方式通知各個商戶，既有回調(diào)通知，也有交易查詢接口

2.7 AT事務(wù)模式

這是阿里開源項(xiàng)目seata中的一種事務(wù)模式，在螞蟻金服也被稱為FMT。優(yōu)點(diǎn)是該事務(wù)模式使用方式，類似XA模式，業(yè)務(wù)無需編寫各類補(bǔ)償操作，回滾由框架自動完成，缺點(diǎn)也類似XA，存在較長時間的鎖，不滿足高并發(fā)的場景。從性能的角度看，AT模式會比XA更高一些，但也帶來了臟回滾這樣的新問題。

3、異常處理

在分布式事務(wù)的各個環(huán)節(jié)都有可能出現(xiàn)網(wǎng)絡(luò)以及業(yè)務(wù)故障等問題，這些問題需要分布式事務(wù)的業(yè)務(wù)方做到防空回滾，冪等，防懸掛三個特性。

3.1 異常情況

下面以TCC事務(wù)說明這些異常情況：

空回滾：

在沒有調(diào)用 TCC 資源 Try 方法的情況下，調(diào)用了二階段的 Cancel 方法，Cancel 方法需要識別出這是一個空回滾，然后直接返回成功。

出現(xiàn)原因是當(dāng)一個分支事務(wù)所在服務(wù)宕機(jī)或網(wǎng)絡(luò)異常，分支事務(wù)調(diào)用記錄為失敗，這個時候其實(shí)是沒有執(zhí)行Try階段，當(dāng)故障恢復(fù)后，分布式事務(wù)進(jìn)行回滾則會調(diào)用二階段的Cancel方法，從而形成空回滾。

冪等：

由于任何一個請求都可能出現(xiàn)網(wǎng)絡(luò)異常，出現(xiàn)重復(fù)請求，所以所有的分布式事務(wù)分支，都需要保證冪等性

懸掛：

懸掛就是對于一個分布式事務(wù)，其二階段 Cancel 接口比 Try 接口先執(zhí)行。

出現(xiàn)原因是在 RPC 調(diào)用分支事務(wù)try時，先注冊分支事務(wù)，再執(zhí)行RPC調(diào)用，如果此時 RPC 調(diào)用的網(wǎng)絡(luò)發(fā)生擁堵，RPC 超時以后，TM就會通知RM回滾該分布式事務(wù)，可能回滾完成后，Try 的 RPC 請求才到達(dá)參與者真正執(zhí)行。

下面看一個網(wǎng)絡(luò)異常的時序圖，更好的理解上述幾種問題

• 業(yè)務(wù)處理請求4的時候，Cancel在Try之前執(zhí)行，需要處理空回滾
• 業(yè)務(wù)處理請求6的時候，Cancel重復(fù)執(zhí)行，需要冪等
• 業(yè)務(wù)處理請求8的時候，Try在Cancel后執(zhí)行，需要處理懸掛
  

面對上述復(fù)雜的網(wǎng)絡(luò)異常情況，目前看到各家建議的方案都是業(yè)務(wù)方通過唯一鍵，去查詢相關(guān)聯(lián)的操作是否已完成，如果已完成則直接返回成功。相關(guān)的判斷邏輯較復(fù)雜，易出錯，業(yè)務(wù)負(fù)擔(dān)重。

3.2 子事務(wù)屏障

在項(xiàng)目https://github.com/yedf/dtm中，出現(xiàn)了一種子事務(wù)屏障技術(shù)，使用該技術(shù)，能夠達(dá)到這個效果，看示意圖：

所有這些請求，到了子事務(wù)屏障后：不正常的請求，會被過濾；正常請求，通過屏障。開發(fā)者使用子事務(wù)屏障之后，前面所說的各種異常全部被妥善處理，業(yè)務(wù)開發(fā)人員只需要關(guān)注實(shí)際的業(yè)務(wù)邏輯，負(fù)擔(dān)大大降低。

子事務(wù)屏障提供了方法ThroughBarrierCall，方法的原型為：

func ThroughBarrierCall(db *sql.DB, transInfo *TransInfo, busiCall BusiFunc)

業(yè)務(wù)開發(fā)人員，在busiCall里面編寫自己的相關(guān)邏輯，調(diào)用該函數(shù)。ThroughBarrierCall保證，在空回滾、懸掛等場景下，busiCall不會被調(diào)用；在業(yè)務(wù)被重復(fù)調(diào)用時，有冪等控制，保證只被提交一次。

子事務(wù)屏障會管理TCC、SAGA、事務(wù)消息等，也可以擴(kuò)展到其他領(lǐng)域

3.3 子事務(wù)屏障原理

子事務(wù)屏障技術(shù)的原理是，在本地數(shù)據(jù)庫，建立分支事務(wù)狀態(tài)表sub_trans_barrier，唯一鍵為全局事務(wù)id-子事務(wù)id-子事務(wù)分支名稱（try|confirm|cancel）

• 開啟事務(wù)
• 如果是Try分支，則那么insert ignore插入gid-branchid-try，如果成功插入，則調(diào)用屏障內(nèi)邏輯
• 如果是Confirm分支，那么insert ignore插入gid-branchid-confirm，如果成功插入，則調(diào)用屏障內(nèi)邏輯
• 如果是Cancel分支，那么insert ignore插入gid-branchid-try，再插入gid-branchid-cancel，如果try未插入并且cancel插入成功，則調(diào)用屏障內(nèi)邏輯
• 屏障內(nèi)邏輯返回成功，提交事務(wù)，返回成功
• 屏障內(nèi)邏輯返回錯誤，回滾事務(wù)，返回錯誤
  

在此機(jī)制下，解決了網(wǎng)絡(luò)異常相關(guān)的問題

• 空補(bǔ)償控制--如果Try沒有執(zhí)行，直接執(zhí)行了Cancel，那么Cancel插入gid-branchid-try會成功，不走屏障內(nèi)的邏輯，保證了空補(bǔ)償控制
• 冪等控制--任何一個分支都無法重復(fù)插入唯一鍵，保證了不會重復(fù)執(zhí)行
• 防懸掛控制--Try在Cancel之后執(zhí)行，那么插入的gid-branchid-try不成功，就不執(zhí)行，保證了防懸掛控制
  

對于SAGA、事務(wù)消息等，也是類似的機(jī)制。

3.4 子事務(wù)屏障小結(jié)

子事務(wù)屏障技術(shù)，為https://github.com/yedf/dtm首創(chuàng)，它的意義在于設(shè)計(jì)簡單易實(shí)現(xiàn)的算法，提供了簡單易用的接口，在首創(chuàng)，它的意義在于設(shè)計(jì)簡單易實(shí)現(xiàn)的算法，提供了簡單易用的接口，在這兩項(xiàng)的幫助下，開發(fā)人員徹底的從網(wǎng)絡(luò)異常的處理中解放出來。

該技術(shù)目前需要搭配yedf/dtm事務(wù)管理器，目前SDK已經(jīng)提供給Go、Python語言的開發(fā)者。其他語言的sdk正在規(guī)劃中。對于其他的分布式事務(wù)框架，只要提供了合適的分布式事務(wù)信息，能夠按照上述原理，快速實(shí)現(xiàn)該技術(shù)。

4、分布式事務(wù)實(shí)踐

我們以前面介紹的SAGA事務(wù)為例，以DTM作為事務(wù)框架，來完成一個具體的分布式事務(wù)。本例子采用Go語言，如果您對此不感興趣，可以直接跳到文章最后的小結(jié)。

4.1 一個SAGA事務(wù)

我們先編寫核心業(yè)務(wù)代碼，調(diào)整用戶的賬戶余額

func qsAdjustBalance(uid int, amount int) (interface{}, error) {
    _, err := dtmcli.SdbExec(sdbGet(), "update dtm_busi.user_account set balance = balance + ? where user_id = ?", amount, uid)
    return dtmcli.ResultSuccess, err
}

下面我們來編寫具體的正向操作/補(bǔ)償操作的處理函數(shù)

    app.POST(qsBusiAPI+"/TransIn", common.WrapHandler(func(c *gin.Context) (interface{}, error) {
        return qsAdjustBalance(2, 30)
    }))
    app.POST(qsBusiAPI+"/TransInCompensate", common.WrapHandler(func(c *gin.Context) (interface{}, error) {
        return qsAdjustBalance(2, -30)
    }))
    app.POST(qsBusiAPI+"/TransOut", common.WrapHandler(func(c *gin.Context) (interface{}, error) {
        return qsAdjustBalance(1, -30)
    }))
    app.POST(qsBusiAPI+"/TransOutCompensate", common.WrapHandler(func(c *gin.Context) (interface{}, error) {
        return qsAdjustBalance(1, 30)
    }))

到此各個子事務(wù)的處理函數(shù)已經(jīng)OK了，然后是開啟SAGA事務(wù)，進(jìn)行分支調(diào)用

    req := &gin.H{"amou

至此，一個完整的SAGA分布式事務(wù)編寫完成。

如果您想要完整運(yùn)行一個成功的示例，那么按照yedf/dtm項(xiàng)目的說明搭建好環(huán)境之后，通過下面命令運(yùn)行saga的例子即可：

go run app/main.go quick_start

4.2 處理網(wǎng)絡(luò)異常

假設(shè)提交給dtm的事務(wù)中，調(diào)用轉(zhuǎn)入操作時，出現(xiàn)短暫的故障怎么辦？按照SAGA事務(wù)的協(xié)議，dtm會重試未完成的操作，這時我們要如何處理？故障有可能是轉(zhuǎn)入操作完成后出網(wǎng)絡(luò)故障，也有可能是轉(zhuǎn)入操作完成中出現(xiàn)機(jī)器宕機(jī)。如何處理才能夠保障賬戶余額的調(diào)整是正確無問題的？

我們使用了子事務(wù)屏障功能，保證多次重試，只會有一次成功提交。

我們把處理函數(shù)調(diào)整為：

func sagaBarrierAdjustBalance(sdb *sql.Tx, uid int, amount int) (interface{}, error) {
    _, err := dtmcli.StxExec(sdb, "update dtm_busi.user_account set balance = balance + ? where user_id = ?", amount, uid)
    return dtmcli.ResultSuccess, err
}
func sagaBarrierTransIn(c *gin.Context) (interface{}, error) {
    return dtmcli.ThroughBarrierCall(sdbGet(), MustGetTrans(c), func(sdb *sql.Tx) (interface{}, error) {
        return sagaBarrierAdjustBalance(sdb, 1, reqFrom(c).Amount)
    })
}
func sagaBarrierTransInCompensate(c *gin.Context) (interface{}, error) {
    return dtmcli.ThroughBarrierCall(sdbGet(), MustGetTrans(c), func(sdb *sql.Tx) (interface{}, error) {
        return sagaBarrierAdjustBalance(sdb, 1, -reqFrom(c).Amount)
    })
}

這里的dtmcli.TroughBarrierCall調(diào)用會使用子事務(wù)屏障技術(shù)，保證第三個參數(shù)里的回調(diào)函數(shù)僅被處理一次。

您可以嘗試多次調(diào)用這個TransIn服務(wù)，僅有一次余額調(diào)整。您可以運(yùn)行以下命令，運(yùn)行新的處理方式：

go run app/main.go saga_barrier

4.3 處理回滾

假如銀行將金額準(zhǔn)備轉(zhuǎn)入用戶2時，發(fā)現(xiàn)用戶2的賬戶異常，返回失敗，會怎么樣？我們調(diào)整處理函數(shù)，讓轉(zhuǎn)入操作返回失敗

func sagaBarrierTransIn(c *gin.Context) (interface{}, error) {
    return dtmcli.ResultFailure, nil
}

我們給出事務(wù)失敗交互的時序圖

這里有一點(diǎn)，TransIn的正向操作什么都沒有做，就返回了失敗，此時調(diào)用TransIn的補(bǔ)償操作，會不會導(dǎo)致反向調(diào)整出錯了呢？

不用擔(dān)心，前面的子事務(wù)屏障技術(shù)，能夠保證TransIn的錯誤如果發(fā)生在提交之前，則補(bǔ)償為空操作；TransIn的錯誤如果發(fā)生在提交之后，則補(bǔ)償操作會將數(shù)據(jù)提交一次；如果TransIn還在進(jìn)行中，則補(bǔ)償操作會等待TransIn最終提交/回滾，然后再提交補(bǔ)償/空回滾。

您可以將返回錯誤的TransIn改成：

func sagaBarrierTransIn(c *gin.Context) (interface{}, error) {
    dtmcli.ThroughBarrierCall(sdbGet(), MustGetTrans(c), func(sdb *sql.Tx) (interface{}, error) {
        return sagaBarrierAdjustBalance(sdb, 1, 30)
    })
    return dtmcli.ResultFailure, nil
}

最后的結(jié)果余額依舊沒有問題

5、總結(jié)

本文介紹了分布式事務(wù)的一些基礎(chǔ)理論，并對常用的分布式事務(wù)方案進(jìn)行了講解；在文章的后半部分還給出了事務(wù)異常的原因、分類以及優(yōu)雅的解決方案；最后以一個可運(yùn)行的分布式事務(wù)例子，將前面介紹的內(nèi)容以簡短的程序進(jìn)行演示。

到此這篇關(guān)于關(guān)于MySQL與Golan分布式事務(wù)經(jīng)典的七種解決方案的文章就介紹到這了,更多相關(guān)分布式事務(wù)經(jīng)典的七種解決方案內(nèi)容請搜索本站以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持本站！

香港服務(wù)器租用

版權(quán)聲明：本站文章來源標(biāo)注為YINGSOO的內(nèi)容版權(quán)均為本站所有，歡迎引用、轉(zhuǎn)載，請保持原文完整并注明來源及原文鏈接。禁止復(fù)制或仿造本網(wǎng)站，禁止在非www.sddonglingsh.com所屬的服務(wù)器上建立鏡像，否則將依法追究法律責(zé)任。本站部分內(nèi)容來源于網(wǎng)友推薦、互聯(lián)網(wǎng)收集整理而來，僅供學(xué)習(xí)參考，不代表本站立場，如有內(nèi)容涉嫌侵權(quán)，請聯(lián)系alex-e#qq.com處理。