知識星球來自：程式設計新說
Spring和事務的關係
關係型資料庫、某些訊息佇列等產品或中介軟體稱為事務性資源，因為它們本身支援事務，也能夠處理事務。
Spring很顯然不是事務性資源，但是它可以管理事務性資源，所以Spring和事務之間是管理關係。
就像Jack Ma雖然不會寫程式碼，但是他卻管理者一大批會寫程式碼的碼農。
Spring事務三要素
資料源：表示具體的事務性資源，是事務的真正處理者，如MySQL等。
事務管理器：像一個大管家，從整體上管理事務的處理過程，如開啟、提交、回滾等。
事務應用和屬性配置：像一個識別符號，表明哪些方法要參與事務，如何參與事務，以及一些相關屬性如隔離級別、超時時間等。
Spring事務的註解配置
把一個DataSource（如DruidDataSource）作為一個@Bean註冊到Spring容器中，配置好事務性資源。
把一個@EnableTransactionManagement註解放到一個@Configuration類上，配置好事務管理器，並啟用事務管理。
把一個@Transactional註解放到類上或方法上，可以設定註解的屬性，表明該方法按配置好的屬性參與到事務中。
事務註解的本質
@Transactional這個註解僅僅是一些（和事務相關的）元資料，在執行時被事務基礎設施讀取消費，並使用這些元資料來配置bean的事務行為。
大致來說具有兩方面功能，一是表明該方法要參與事務，二是配置相關屬性來定製事務的參與方式和執行行為。
Spring宣告式事務實現原理
宣告式事務成為可能，主要得益於Spring AOP。使用一個事務攔截器，在方法呼叫的前後/周圍進行事務性增強（advice），來驅動事務完成。
如何回滾一個事務
就是在一個事務背景關係中當前正在執行的程式碼裡丟擲一個異常，事務基礎設施程式碼會捕獲任何未處理的異常，並且做出決定是否標記這個事務為回滾。
預設回滾規則
預設只把runtime, unchecked exceptions標記為回滾，即RuntimeException及其子類，Error預設也導致回滾。Checked exceptions預設不導致回滾。這些規則和EJB是一樣的。
如何配置回滾異常
使用@Transactional註解的rollbackFor/rollbackForClassName屬性，可以精確配置導致回滾的異常型別，包括checked exceptions。
noRollbackFor/noRollbackForClassName屬性，可以配置不導致回滾的異常型別，當遇到這樣的未處理異常時，照樣提交相關事務。
事務註解在類/方法上
@Transactional註解既可以標註在類上，也可以標註在方法上。當在類上時，預設應用到類裡的所有方法。如果此時方法上也標註了，則方法上的優先順序高。
事務註解在類上的繼承性
@Transactional註解的作用可以傳播到子類，即如果父類標了子類就不用標了。但倒過來就不行了。
子類標了，並不會傳到父類，所以父類方法不會有事務。父類方法需要在子類中重新宣告而參與到子類上的註解，這樣才會有事務。
事務註解在介面/類上
@Transactional註解可以用在介面上，也可以在類上。在介面上時，必須使用基於介面的代理才行，即JDK動態代理。
事實是Java的註解不能從介面繼承，如果你使用基於類的代理，即CGLIB，或基於織入方面，即AspectJ，事務設定不會被代理和織入基礎設施認出來，標的物件不會被包裝到一個事務代理中。
Spring團隊建議註解標註在類上而非介面上。
只在public方法上生效？
當採用代理來實現事務時，（註意是代理），@Transactional註解只能應用在public方法上。當標記在protected、private、package-visible方法上時，不會產生錯誤，但也不會表現出為它指定的事務配置。可以認為它作為一個普通的方法參與到一個public方法的事務中。
如果想在非public方法上生效，考慮使用AspectJ（織入方式）。
標的類裡的自我呼叫沒有事務？
在代理樣式中（這是預設的），只有從外部的方法呼叫進入透過代理會被攔截，這意味著自我呼叫（實際就是，標的物件中的一個方法呼叫標的物件的另一個方法）在執行時不會導致一個實際的事務，即使被呼叫的方法標有註解。
如果你希望自我呼叫也使用事務來包裝，考慮使用AspectJ的方式。在這種情況下，首先是沒有代理。相反，標的類被織入（即它的位元組碼被修改）來把@Transactional加入到執行時行為，在任何種類的方法上都可以。
事務與執行緒
和JavaEE事務背景關係一樣，Spring事務和一個執行緒的執行相關聯，底層是一個ThreadLocal
邏輯事務與物理事務
事務性資源實際開啟的事務就是物理事務，如資料庫的Connection開啟的事務。Spring會為每個@Transactional方法建立一個事務範圍，可以理解為是邏輯事務。
在邏輯事務中，大範圍的事務稱為外圍事務，小範圍的事務稱為內部事務，外圍事務可以包含內部事務，但在邏輯上是互相獨立的。每一個這樣的邏輯事務範圍，都能夠單獨地決定rollback-only狀態。
那麼如何處理邏輯事務和物理事務之間的關聯關係呢，這就是傳播特性解決的問題。
事務的傳播特性
REQUIRED，SUPPORTS，MANDATORY，REQUIRES_NEW，NOT_SUPPORTED，NEVER，NESTED
REQUIRED
強制要求要有一個物理事務。如果沒有已經存在的事務，就專門開啟一個事務用於當前範圍。或者參與到一個已存在的更大範圍的外圍事務中。在相同的執行緒中，這是一種很好的預設方式安排。（例如，一個service外觀/門面代理到若干個倉儲方法，所有底層資源必須參與到service級別的事務裡）
在標準的REQUIRED行為情況下，所有這樣的邏輯事務範圍對映到同一個物理事務。因此，在內部事務範圍設定了rollback-only標記，確實會影響外圍事務進行實際提交的機會。
註：預設，一個參與到外圍事務的事務，會使用外圍事務的特性，安靜地忽略掉自己的隔離級別，超時值，只讀標識等設定。當然可以在事務管理器上設定validateExistingTransactions標識為true，這樣當你自己的事務和參與到的外圍事務設定不一樣時會被拒絕。
REQUIRES_NEW
與REQUIRED相比，總是使用一個獨立的物理事務用於每一個受影響的邏輯事務範圍，從來不參與到一個已存在的外圍事務範圍。這樣安排的話，底層的事務資源是不同的，因此，可以獨立地提交或回滾。外圍事務不會被內部事務的回滾狀態影響。這樣一個獨立的內部事務可以宣告自己的隔離級別，超時時間和只讀設定，並不繼承外圍事務的特性。
NESTED
使用同一個物理事務，帶有多個儲存點，可以回滾到這些儲存點，可以認為是部分回滾，這樣一個內部事務範圍觸發了一個回滾，外圍事務能夠繼續這個物理事務，儘管有一些操作已經被回滾。典型地，它對應於JDBC的儲存點，所以只對JDBC事務資源起作用。
SUPPORTS
支援當前事務。如果當前有事務，就參與進來，如果沒有，就以非事務的方式執行。這樣的一個邏輯事務範圍，它背後可能沒有實際的物理事務，此時的事務也成為空事務。
NOT_SUPPORTED
不支援當前事務。總是以非事務方式執行。當前的事務會被掛起，併在適合的時候恢復。
MANDATORY
支援當前事務。如果當前沒有事務存在，就丟擲異常。
NEVER
不支援當前事務。如果當前有事務存在，就丟擲異常。
事務的隔離級別
DEFAULT，READ_UNCOMMITTED，READ_COMMITTED，REPEATABLE_READ，SERIALIZABLE
臟讀
一個事務修改了一行資料但沒有提交，第二個事務可以讀取到這行被修改的資料，如果第一個事務回滾，第二個事務獲取到的資料將是無效的。
不可重覆讀
一個事務讀取了一行資料，第二個事務修改了這行資料，第一個事務重新讀取這行資料，將獲得到不同的值。
幻讀
一個事務按照一個where條件讀取所有符合的資料行，第二個事務插入了一行資料且恰好也滿足這個where條件，第一個事務再以這個where條件重新讀取，將會獲取額外多出來的這一行。
幫助記憶：
寫讀是臟讀，讀寫讀是不可重覆讀，where insert where是幻讀。
DEFAULT
使用底層資料儲存的預設隔離級別。MySQL的預設隔離級別是REPEATABLE-READ。
READ_UNCOMMITTED
讀未提交。臟讀、不可重覆讀、幻讀都會發生。
READ_COMMITTED
讀已提交。臟讀不會發生，不可重覆讀、幻讀都會發生。
REPEATABLE_READ
可重覆讀。臟讀、不可重覆讀都不會發生，幻讀會發生。
SERIALIZABLE
可序列化。臟讀、不可重覆讀、幻讀都不會發生。
