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文檔
3、異步確保型
將一些同步阻塞的事務操作變為異步的操作，避免對數據庫事務的爭用，典型例子是熱點賬戶異步記賬、批量記賬的處理。
4、最大努力型
PPT中提到的例子交易的消息通知（例如商戶交易結果通知重試、補單重試）
如果有技術背景，可以參考另外一個文檔 大規模SOA系統中的分布事務處事 ，對支付寶分布式事務處理機制有較為詳細描述。
更詳細的也可以參考OASIS的相關資料。