事物概念

事物特性(ACID)

原子性（A）

所謂的原子性就是說，在整個事務中的所有操作，要麼全部完成，要麼全部不做，沒有中間狀態。對於事務在執行中發生錯誤，所有的操作都會被回滾，整個事務就像從沒被執行過一樣。

一致性（C）

事務的執行必須保證系統的一致性，就拿轉賬為例，A有500元，B有300元，如果在一個事務裡A成功轉給B50元，那麼不管併發多少，不管發生什麼，只要事務執行成功了，那麼最後A賬戶一定是450元，B賬戶一定是350元。

隔離性（I）

所謂的隔離性就是說，事務與事務之間不會互相影響，一個事務的中間狀態不會被其他事務感知。

永續性（D）

所謂的永續性，就是說一單事務完成了，那麼事務對資料所做的變更就完全儲存在了資料庫中，即使發生停電，系統宕機也是如此。

這種特性 簡稱 剛性事物

分散式事物

分散式事物產生原因

分散式事物產生的原因

分散式事務產生的場景

在分散式系統，都會垂直拆分資料庫，分為支付資料庫、訂單資料庫、積分資料庫、優惠全資料庫等，業務組成，分為多個數據源，會產生分散式事物問題。

spring事務和分散式事務的區別是什麼?
spring事務，本地事務
分散式事務是跨服務間的通訊（不同的資料庫連線）

分散式理論知識

CPA理論

CAP由Eric Brewer在2000年PODC會議上提出[1][2]，是Eric Brewer在Inktomi[3]期間研發搜尋引擎、分散式web快取時得出的關於資料一致性(consistency)、服務可用性(availability)、分割槽容錯性(partition-tolerance)的猜想：

• 資料一致性(consistency)：如果系統對一個寫操作返回成功，那麼之後的讀請求都必須讀到這個新資料；如果返回失敗，那麼所有讀操作都不能讀到這個資料，對呼叫者而言資料具有強一致性(strong consistency) (又叫原子性 atomic、線性一致性 linearizable consistency)[5]

• 服務可用性(availability)：所有讀寫請求在一定時間內得到響應，可終止、不會一直等待

• 分割槽容錯性(partition-tolerance)：在網路分割槽的情況下，被分隔的節點仍能正常對外服務

Base理論

BASE理論是指，Basically Available（基本可用）、Soft-state（ 軟狀態/柔性事務）、Eventual Consistency（最終一致性）。是基於CAP定理演化而來，是對CAP中一致性和可用性權衡的結果。核心思想：即使無法做到強一致性，但每個業務根據自身的特點，採用適當的方式來使系統達到最終一致性。

1、基本可用：指分散式系統在出現故障的時候，允許損失部分可用性，保證核心可用。但不等價於不可用。比如：搜尋引擎0.5秒返回查詢結果，但由於故障，2秒響應查詢結果；網頁訪問過大時，部分使用者提供降級服務，等。

2、軟狀態：軟狀態是指允許系統存在中間狀態，並且該中間狀態不會影響系統整體可用性。即允許系統在不同節點間副本同步的時候存在延時。

3、最終一致性：

系統中的所有資料副本經過一定時間後，最終能夠達到一致的狀態，不需要實時保證系統資料的強一致性。最終一致性是弱一致性的一種特殊情況。BASE理論面向的是大型高可用可擴充套件的分散式系統，通過犧牲強一致性來獲得可用性。ACID是傳統資料庫常用的概念設計，追求強一致性模型。

ACID，指資料庫事務正確執行的四個基本要素的縮寫。包含：原子性（Atomicity）、一致性（Consistency）、隔離性（Isolation）、永續性（Durability）。

柔性事務和剛性事務

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

剛性事務滿足ACID理論

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

柔性事務分為

1. 兩階段型

2. 補償型

3. 非同步確保型

4. 最大努力通知型幾種。 由於支付寶整個架構是SOA架構，因此傳統單機環境下資料庫的ACID事務滿足了分散式環境下的業務需要，以上幾種事務類似就是針對分散式環境下業務需要設定的。

什麼是XA介面

XA是一個分散式事務協議，由Tuxedo提出。XA中大致分為兩部分：事務管理器和本地資源管理器。其中本地資源管理器往往由資料庫實現，比如Oracle、DB2這些商業資料庫都實現了XA介面，而事務管理器作為全域性的排程者，負責各個本地資源的提交和回滾。XA實現分散式事務的原理如下：

什麼是Jta

作為java平臺上事務規範JTA（Java Transaction API）也定義了對XA事務的支援，實際上，JTA是基於XA架構上建模的，在JTA 中，事務管理器抽象為javax.transaction.TransactionManager介面，並通過底層事務服務（即JTS）實現。像很多其他的java規範一樣，JTA僅僅定義了介面，具體的實現則是由供應商(如J2EE廠商)負責提供，目前JTA的實現主要由以下幾種：

1.J2EE容器所提供的JTA實現(JBoss)
2.獨立的JTA實現:如JOTM，Atomikos.這些實現可以應用在那些不使用J2EE應用伺服器的環境裡用以提供分佈事事務保證。如Tomcat,Jetty以及普通的java應用。

基於XA協議的兩階段（2PC）提交

所謂的兩個階段是指：第一階段：準備階段(投票階段)和第二階段：提交階段（執行階段）。

XA一般由兩階段完成，稱為two-phase commit(2PC)。

階段一為準備階段，即所有的參與者準備執行事務並鎖住需要的資源。參與者ready時，向transaction manager彙報自己已經準備好。

階段二為提交階段。當transaction manager確認所有參與者都ready後，向所有參與者傳送commit命令。

如下圖所示：

XA的效能問題

XA的效能很低。一個數據庫的事務和多個數據庫間的XA事務效能對比可發現，效能差10倍左右。因此要儘量避免XA事務，例如可以將資料寫入本地，用高效能的訊息系統分發資料。或使用資料庫複製等技術。

只有在這些都無法實現，且效能不是瓶頸時才應該使用XA。

分散式事物解決方案

分散式事物問題，在網際網路公司比較常見，例如“”分散式事物解決方案 可以使用全域性事物2pc（兩段提交協議）、3pc(三段提交協議)，訊息中介軟體、tcc、gts、提供回滾介面、分散式資料庫

使用LCN框架解決分散式事務

什麼是LCN框架

LCN分散式事務框架v4.0 https://www.txlcn.org
"LCN並不生產事務，LCN只是本地事務的搬運工"

框架特點

相容SpringCloud、Dubbo

使用簡單，低依賴，程式碼完全開源

基於切面的強一致性事務框架

高可用，模組可以依賴Dubbo或SpringCloud的叢集方式做叢集化，TxManager也可以做叢集化

支援本地事務和分散式事務共存

事務補償機制，服務故障或掛機再啟動時可恢復事務

LCN框架原理

lcn框架原理

核心步驟

建立事務組 是指在事務發起方開始執行業務程式碼之前先呼叫TxManager建立事務組物件，然後拿到事務標示GroupId的過程。

新增事務組 新增事務組是指參與方在執行完業務方法以後，將該模組的事務資訊新增通知給TxManager的操作。

關閉事務組 是指在發起方執行完業務程式碼以後，將發起方執行結果狀態通知給TxManager的動作。當執行完關閉事務組的方法以後，TxManager將根據事務組資訊來通知相應的參與模組提交或回滾事務。