分佈式事務的典型處理方式:2PC、TCC、異步確保和最大努力型

1. 柔性事務和剛性事務
2. 兩階段提交（2PC）型
2、事務補償型（TCC事務）：
3、異步確保型
4、最大努力型
1. 柔性事務和剛性事務

柔性事務滿足BASE理論（基本可用，最終一致）剛性事務滿足ACID理論

本文主要圍繞分佈式事務當中的柔性事務的處理方式進行討論。

柔性事務分爲
兩階段型
補償型
異步確保型
最大努力通知型幾種。

由於支付寶整個架構是SOA架構，因此傳統單機環境下數據庫的ACID事務滿足了分佈式環境下的業務需要，以上幾種事務類似就是針對分佈式環境下業務需要設定的。

2. 兩階段提交（2PC）型

兩階段型：就是分佈式事務兩階段提交，對應技術上的XA、JTA/JTS。這是分佈式環境下事務處理的典型模式

2、事務補償型（TCC事務）：

TCC型事務（Try/Confirm/Cancel）可以歸爲補償型。補償型的例子，在一個長事務（ long-running ）中，一個由兩臺服務器一起參與的事務，服務器A發起事務，服務器B參與事務，B的事務需要人工參與，所以處理時間可能很長。如果按照ACID的原則，要保持事務的隔離性、一致性，服務器A中發起的事務中使用到的事務資源將會被鎖定，不允許其他應用訪問到事務過程中的中間結果，直到整個事務被提交或者回滾。這就造成事務A中的資源被長時間鎖定，系統的可用性將不可接受。WS-BusinessActivity提供了一種基於補償的long-running的事務處理模型。還是上面的例子，服務器A的事務如果執行順利，那麼事務A就先行提交，如果事務B也執行順利，則事務B也提交，整個事務就算完成。但是如果事務B執行失敗，事務B本身回滾，這時事務A已經被提交，所以需要執行一個補償操作，將已經提交的事務A執行的操作作反操作，恢復到未執行前事務A的狀態。這樣的SAGA事務模型，是犧牲了一定的隔離性和一致性的，但是提高了long-running事務的可用性。例子來源：OASIS的WS-BusinessActivity文檔