事務的傳播行爲（講得比較好）

文章一：

我們都知道事務的概念，那麼事務的傳播特性是什麼呢？(此處着重介紹傳播特性的概念，關於傳播特性的相關配置就不介紹了，可以查看spring的官方文檔) 
在我們用SSH開發項目的時候，我們一般都是將事務設置在Service層 那麼當我們調用Service層的一個方法的時候它能夠保證我們的這個方法中執行的所有的對數據庫的更新操作保持在一個事務中，在事務層裏面調用的這些方法要麼全部成功，要麼全部失敗。那麼事務的傳播特性也是從這裏說起的。 
如果你在你的Service層的這個方法中，除了調用了Dao層的方法之外，還調用了本類的其他的Service方法，那麼在調用其他的Service方法的時候，這個事務是怎麼規定的呢，我必須保證我在我方法裏掉用的這個方法與我本身的方法處在同一個事務中，否則如果保證事物的一致性。事務的傳播特性就是解決這個問題的，“事務是會傳播的”在Spring中有針對傳播特性的多種配置我們大多數情況下只用其中的一種:PROPGATION_REQUIRED：這個配置項的意思是說當我調用service層的方法的時候開啓一個事務(具體調用那一層的方法開始創建事務，要看你的aop的配置),那麼在調用這個service層裏面的其他的方法的時候,如果當前方法產生了事務就用當前方法產生的事務，否則就創建一個新的事務。這個工作使由Spring來幫助我們完成的。 
以前沒有Spring幫助我們完成事務的時候我們必須自己手動的控制事務，例如當我們項目中僅僅使用hibernate，而沒有集成進spring的時候，我們在一個service層中調用其他的業務邏輯方法，爲了保證事物必須也要把當前的hibernate session傳遞到下一個方法中，或者採用ThreadLocal的方法，將session傳遞給下一個方法，其實都是一個目的。現在這個工作由spring來幫助我們完成，就可以讓我們更加的專注於我們的業務邏輯。而不用去關心事務的問題。 

默認情況下當發生RuntimeException的情況下，事務纔會回滾，所以要注意一下 如果你在程序發生錯誤的情況下，有自己的異常處理機制定義自己的Exception，必須從RuntimeException類繼承 這樣事務纔會回滾！

文章二：

事務的傳播行爲和隔離級別[transaction behavior and isolated level]

Spring中事務的定義：
一、Propagation ：

　　key屬性確定代理應該給哪個方法增加事務行爲。這樣的屬性最重要的部份是傳播行爲。有以下選項可供使用：

PROPAGATION_REQUIRED--支持當前事務，如果當前沒有事務，就新建一個事務。這是最常見的選擇。 
PROPAGATION_SUPPORTS--支持當前事務，如果當前沒有事務，就以非事務方式執行。 
PROPAGATION_MANDATORY--支持當前事務，如果當前沒有事務，就拋出異常。 
PROPAGATION_REQUIRES_NEW--新建事務，如果當前存在事務，把當前事務掛起。 
PROPAGATION_NOT_SUPPORTED--以非事務方式執行操作，如果當前存在事務，就把當前事務掛起。 
PROPAGATION_NEVER--以非事務方式執行，如果當前存在事務，則拋出異常。 

很多人看到事務的傳播行爲屬性都不甚瞭解，我昨晚看了j2ee without ejb的時候，看到這裏也不瞭解，甚至重新翻起數據庫系統的教材書，但是也沒有找到對這個的分析。今天搜索，找到一篇極好的分析文章，雖然這篇文章是重點分析PROPAGATION_REQUIRED 和 PROPAGATION_REQUIRED_NESTED的
解惑 spring 嵌套事務

********TransactionDefinition 接口定義*******************

     int PROPAGATION_REQUIRED = 0;   
  
    

 

     int PROPAGATION_SUPPORTS = 1;   

     int PROPAGATION_MANDATORY = 2;   
  
 

 

     int PROPAGATION_REQUIRES_NEW = 3;   
  
   

     int PROPAGATION_NOT_SUPPORTED = 4;   
  

     int PROPAGATION_NEVER = 5;   
  
 

     int PROPAGATION_NESTED = 6;   

*************************************************************************
在這篇文章裏，他用兩個嵌套的例子輔助分析，我這裏直接引用了。

********************sample***********************
ServiceA {   
       
       
     void methodA() {   
         ServiceB.methodB();   
     }   
  
}   
  
ServiceB {   
       
         
     void methodB() {   
     }   
       
}      

*************************************************
我們這裏一個個分析吧
1： PROPAGATION_REQUIRED 
加入當前正要執行的事務不在另外一個事務裏，那麼就起一個新的事務
比如說，ServiceB.methodB的事務級別定義爲PROPAGATION_REQUIRED, 那麼由於執行ServiceA.methodA的時候，
         ServiceA.methodA已經起了事務，這時調用ServiceB.methodB，ServiceB.methodB看到自己已經運行在ServiceA.methodA
的事務內部，就不再起新的事務。而假如ServiceA.methodA運行的時候發現自己沒有在事務中，他就會爲自己分配一個事務。
這樣，在ServiceA.methodA或者在ServiceB.methodB內的任何地方出現異常，事務都會被回滾。即使ServiceB.methodB的事務已經被
提交，但是ServiceA.methodA在接下來fail要回滾，ServiceB.methodB也要回滾

2：   PROPAGATION_SUPPORTS
如果當前在事務中，即以事務的形式運行，如果當前不再一個事務中，那麼就以非事務的形式運行
這就跟平常用的普通非事務的代碼只有一點點區別了。不理這個，因爲我也沒有覺得有什麼區別

3：   PROPAGATION_MANDATORY
必須在一個事務中運行。也就是說，他只能被一個父事務調用。否則，他就要拋出異常。

4：   PROPAGATION_REQUIRES_NEW
這個就比較繞口了。 比如我們設計ServiceA.methodA的事務級別爲PROPAGATION_REQUIRED，ServiceB.methodB的事務級別爲PROPAGATION_REQUIRES_NEW，
那麼當執行到ServiceB.methodB的時候，ServiceA.methodA所在的事務就會掛起，ServiceB.methodB會起一個新的事務，等待ServiceB.methodB的事務完成以後，
他才繼續執行。他與PROPAGATION_REQUIRED 的事務區別在於事務的回滾程度了。因爲ServiceB.methodB是新起一個事務，那麼就是存在
兩個不同的事務。如果ServiceB.methodB已經提交，那麼ServiceA.methodA失敗回滾，ServiceB.methodB是不會回滾的。如果ServiceB.methodB失敗回滾，
如果他拋出的異常被ServiceA.methodA捕獲，ServiceA.methodA事務仍然可能提交。

5：   PROPAGATION_NOT_SUPPORTED 
當前不支持事務。比如ServiceA.methodA的事務級別是PROPAGATION_REQUIRED ，而ServiceB.methodB的事務級別是PROPAGATION_NOT_SUPPORTED ，
那麼當執行到ServiceB.methodB時，ServiceA.methodA的事務掛起，而他以非事務的狀態運行完，再繼續ServiceA.methodA的事務。

6：   PROPAGATION_NEVER 
不能在事務中運行。假設ServiceA.methodA的事務級別是PROPAGATION_REQUIRED， 而ServiceB.methodB的事務級別是PROPAGATION_NEVER ，
那麼ServiceB.methodB就要拋出異常了。

7：   PROPAGATION_NESTED 
理解Nested的關鍵是savepoint。他與PROPAGATION_REQUIRES_NEW的區別是，PROPAGATION_REQUIRES_NEW另起一個事務，將會與他的父事務相互獨立，
而Nested的事務和他的父事務是相依的，他的提交是要等和他的父事務一塊提交的。也就是說，如果父事務最後回滾，他也要回滾的。
而Nested事務的好處是他有一個savepoint。
*****************************************
ServiceA {   
       
       
     void methodA() {   
         try {
      //savepoint   
             ServiceB.methodB();    //PROPAGATION_NESTED 級別
         } catch (SomeException) {   
             // 執行其他業務, 如 ServiceC.methodC();   
         }   
     }   
  
}   
********************************************
也就是說ServiceB.methodB失敗回滾，那麼ServiceA.methodA也會回滾到savepoint點上，ServiceA.methodA可以選擇另外一個分支，比如
ServiceC.methodC，繼續執行，來嘗試完成自己的事務。
但是這個事務並沒有在EJB標準中定義。

二、Isolation Level(事務隔離等級):
1、Serializable：最嚴格的級別，事務串行執行，資源消耗最大；

2、REPEATABLE READ：保證了一個事務不會修改已經由另一個事務讀取但未提交（回滾）的數據。避免了“髒讀取”和“不可重複讀取”的情況，但是帶來了更多的性能損失。

3、READ COMMITTED:大多數主流數據庫的默認事務等級，保證了一個事務不會讀到另一個並行事務已修改但未提交的數據，避免了“髒讀取”。該級別適用於大多數系統。

4、Read Uncommitted：保證了讀取過程中不會讀取到非法數據。

隔離級別在於處理多事務的併發問題。
我們知道並行可以提高數據庫的吞吐量和效率，但是並不是所有的併發事務都可以併發運行，這需要查看數據庫教材的可串行化條件判斷了。
這裏就不闡述。
我們首先說併發中可能發生的3中不討人喜歡的事情
1：   Dirty reads--讀髒數據。也就是說，比如事務A的未提交（還依然緩存）的數據被事務B讀走，如果事務A失敗回滾，會導致事務B所讀取的的數據是錯誤的。

2：   non-repeatable reads--數據不可重複讀。比如事務A中兩處讀取數據-total-的值。在第一讀的時候，total是100，然後事務B就把total的數據改成200，事務A再讀一次，結果就發現，total竟然就變成200了，造成事務A數據混亂。

3：   phantom reads--幻象讀數據，這個和non-repeatable reads相似，也是同一個事務中多次讀不一致的問題。但是non-repeatable reads的不一致是因爲他所要取的數據集被改變了（比如total的數據），但是phantom reads所要讀的數據的不一致卻不是他所要讀的數據集改變，而是他的條件數據集改變。比如Select account.id where account.name="ppgogo*",第一次讀去了6個符合條件的id，第二次讀取的時候，由於事務b把一個帳號的名字由"dd"改成"ppgogo1"，結果取出來了7個數據。

                          Dirty reads          non-repeatable reads            phantom reads
Serializable                     不會                   不會                           不會
REPEATABLE READ           不會                   不會                            會
READ COMMITTED            不會                    會                             會
Read Uncommitted            會