Spring事務嵌套

Spring事務嵌套

以下引用
PROPAGATION_REQUIRED -- 支持當前事務，如果當前沒有事務，就新建一個事務。這是最常見的選擇。
PROPAGATION_SUPPORTS -- 支持當前事務，如果當前沒有事務，就以非事務方式執行。
PROPAGATION_MANDATORY -- 支持當前事務，如果當前沒有事務，就拋出異常。
PROPAGATION_REQUIRES_NEW -- 新建事務，如果當前存在事務，把當前事務掛起。
PROPAGATION_NOT_SUPPORTED -- 以非事務方式執行操作，如果當前存在事務，就把當前事務掛起。
PROPAGATION_NEVER -- 以非事務方式執行，如果當前存在事務，則拋出異常。
PROPAGATION_NESTED -- 如果當前存在事務，則在嵌套事務內執行。如果當前沒有事務，則進行與PROPAGATION_REQUIRED類似的操作。
前六個策略類似於EJB CMT，第七個（PROPAGATION_NESTED）是Spring所提供的一個特殊變量。
它要求事務管理器或者使用JDBC 3.0 Savepoint API提供嵌套事務行為（如Spring的DataSourceTransactionManager）

  在我所見過的誤解中, 最常見的是下面這種:

引用
假如有兩個業務接口 ServiceA 和 ServiceB, 其中 ServiceA 中有一個方法實現如下

/**
* 事務屬性配置為 PROPAGATION_REQUIRED
*/
void methodA() {
// 調用 ServiceB 的方法
ServiceB.methodB();
}

那麼如果 ServiceB 的 methodB 如果配置了事務, 就必須配置為 PROPAGATION_NESTED
 

這種想法可能害了不少人, 認為 Service 之間應該避免互相調用, 其實根本不用擔心這點，PROPAGATION_REQUIRED 已經說得很明白,
如果當前線程中已經存在事務, 方法調用會加入此事務, 果當前沒有事務，就新建一個事務, 所以 ServiceB#methodB() 的事務只要遵循最普通的規則配置為 PROPAGATION_REQUIRED 即可, 如果 ServiceB#methodB (我們稱之為內部事務, 為下文打下基礎) 拋了異常, 那麼 ServiceA#methodA(我們稱之為外部事務) 如果沒有特殊配置此異常時事務提交 (即 +MyCheckedException的用法), 那麼整個事務是一定要 rollback 的, 什麼 Service 只能調 Dao 之類的言論純屬無稽之談, spring 只負責配置了事務屬性方法的攔截, 它怎麼知道你這個方法是在 Service 還是 Dao 裡 ?

說了這麼半天, 那到底什麼是真正的事務嵌套呢, 解釋之前我們來看一下 Juergen Hoeller 的原話

Juergen Hoeller 寫道  
PROPAGATION_REQUIRES_NEW starts a new, independent "inner" transaction for the given scope. This transaction will be committed or rolled back completely independent from the outer transaction, having its own isolation scope, its own set of locks, etc. The outer transaction will get suspended at the beginning of the inner one, and resumed once the inner one has completed.

Such independent inner transactions are for example used for id generation through manual sequences, where the access to the sequence table should happen in its own transactions, to keep the lock there as short as possible. The goal there is to avoid tying the sequence locks to the (potentially much longer running) outer transaction, with the sequence lock not getting released before completion of the outer transaction.

PROPAGATION_NESTED on the other hand starts a "nested" transaction, which is a true subtransaction of the existing one. What will happen is that a savepoint will be taken at the start of the nested transaction. íf the nested transaction fails, we will roll back to that savepoint. The nested transaction is part of of the outer transaction, so it will only be committed at the end of of the outer transaction.

Nested transactions essentially allow to try some execution subpaths as subtransactions: rolling back to the state at the beginning of the failed subpath, continuing with another subpath or with the main execution path there - all within one isolated transaction, and not losing any previous work done within the outer transaction.

For example, consider parsing a very large input file consisting of account transfer blocks: The entire file should essentially be parsed within one transaction, with one single commit at the end. But if a block fails, its transfers need to be rolled back, writing a failure marker somewhere. You could either start over the entire transaction every time a block fails, remembering which blocks to skip - or you mark each block as a nested transaction, only rolling back that specific set of operations, keeping the previous work of the outer transaction. The latter is of course much more efficient, in particular when a block at the end of the file fails.
 

Juergen Hoeller 寫道  
Rolling back the entire transaction is the choice of the demarcation code/config that started the outer transaction.

So if an inner transaction throws an exception and is supposed to be rolled back (according to the rollback rules), the transaction will get rolled back to the savepoint taken at the start of the inner transaction. The immediate calling code can then decide to catch the exception and proceed down some other path within the outer transaction.

If the code that called the inner transaction lets the exception propagate up the call chain, the exception will eventually reach the demarcation code of the outer transaction. At that point, the rollback rules of the outer transaction decide whether to trigger a rollback. That would be a rollback of the entire outer transaction then.

So essentially, it depends on your exception handling. If you catch the exception thrown by the inner transaction, you can proceed down some other path within the outer transaction. If you let the exception propagate up the call chain, it's eventually gonna cause a rollback of the entire outer transaction.
 

也就是說, 最容易弄混淆的其實是 PROPAGATION_REQUIRES_NEW 和 PROPAGATION_NESTED, 那麼這兩種方式又有何區別呢? 我簡單的翻譯一下 Juergen Hoeller 的話 :

PROPAGATION_REQUIRES_NEW 啟動一個新的, 不依賴於環境的 "內部" 事務. 這個事務將被完全 commited 或 rolled back 而不依賴於外部事務, 它擁有自己的隔離范圍, 自己的鎖, 等等. 當內部事務開始執行時, 外部事務將被掛起, 內務事務結束時, 外部事務將繼續執行.


另一方面, PROPAGATION_NESTED 開始一個 "嵌套的" 事務, 它是已經存在事務的一個真正的子事務. 潛套事務開始執行時, 它將取得一個 savepoint. 如果這個嵌套事務失敗, 我們將回滾到此 savepoint. 潛套事務是外部事務的一部分, 只有外部事務結束後它才會被提交.

由此可見, PROPAGATION_REQUIRES_NEW 和 PROPAGATION_NESTED 的最大區別在於, PROPAGATION_REQUIRES_NEW 完全是一個新的事務, 而 PROPAGATION_NESTED 則是外部事務的子事務, 如果外部事務 commit, 潛套事務也會被 commit, 這個規則同樣適用於 roll back.


那麼外部事務如何利用嵌套事務的 savepoint 特性呢, 我們用代碼來說話

Java代碼    

1. ServiceA{
2.  
3. /**
4. *事務屬性配置為PROPAGATION_REQUIRED
5. */
6. voidmethodA(){
7. ServiceB.methodB();
8. }
9.  
10. }
11.  
12. ServiceB{
13.  
14. /**
15. *事務屬性配置為PROPAGATION_REQUIRES_NEW
16. */
17. voidmethodB(){
18. }
19.  
20. }  
    
    這種情況下, 因為 ServiceB#methodB 的事務屬性為 PROPAGATION_REQUIRES_NEW, 所以兩者不會發生任何關系, ServiceA#methodA 和 ServiceB#methodB 不會因為對方的執行情況而影響事務的結果, 因為它們根本就是兩個事務, 在 ServiceB#methodB 執行時 ServiceA#methodA 的事務已經掛起了 (關於事務掛起的內容已經超出了本文的討論范圍, 有時間我會再寫一些掛起的文章) .
    
    那麼 PROPAGATION_NESTED 又是怎麼回事呢? 繼續看代碼
    
    Java代碼    
    1. ServiceA{
    2.  
    3. /**
    4. *事務屬性配置為PROPAGATION_REQUIRED
    5. */
    6. voidmethodA(){
    7. ServiceB.methodB();
    8. }
    9.  
    10. }
    11.  
    12. ServiceB{
    13.  
    14. /**
    15. *事務屬性配置為PROPAGATION_NESTED
    16. */
    17. voidmethodB(){
    18. }
    19.  
    20. }  
        
        現在的情況就變得比較復雜了, ServiceB#methodB 的事務屬性被配置為 PROPAGATION_NESTED, 此時兩者之間又將如何協作呢? 從 Juergen Hoeller 的原話中我們可以找到答案, ServiceB#methodB 如果 rollback, 那麼內部事務(即 ServiceB#methodB) 將回滾到它執行前的 SavePoint(注意, 這是本文中第一次提到它, 潛套事務中最核心的概念), 而外部事務(即 ServiceA#methodA) 可以有以下兩種處理方式:
        
        1. 改寫 ServiceA 如下
        Java代碼    
        1. ServiceA{
        2.  
        3. /**
        4. *事務屬性配置為PROPAGATION_REQUIRED
        5. */
        6. voidmethodA(){
        7. try{
        8. ServiceB.methodB();
        9. }catch(SomeException){
        10. //執行其他業務,如ServiceC.methodC();
        11. }
        12. }
        13.  
        14. }  
            
            這種方式也是潛套事務最有價值的地方, 它起到了分支執行的效果, 如果 ServiceB.methodB 失敗, 那麼執行 ServiceC.methodC(), 而 ServiceB.methodB 已經回滾到它執行之前的 SavePoint, 所以不會產生髒數據(相當於此方法從未執行過), 這種特性可以用在某些特殊的業務中, 而 PROPAGATION_REQUIRED 和 PROPAGATION_REQUIRES_NEW 都沒有辦法做到這一點. (題外話 : 看到這種代碼, 似乎似曾相識, 想起了 prototype.js 中的 Try 函數 )
            
            2. 代碼不做任何修改, 那麼如果內部事務(即 ServiceB#methodB) rollback, 那麼首先 ServiceB.methodB 回滾到它執行之前的 SavePoint(在任何情況下都會如此),
            外部事務(即 ServiceA#methodA) 將根據具體的配置決定自己是 commit 還是 rollback (+MyCheckedException).
            
            
            上面大致講述了潛套事務的使用場景, 下面我們來看如何在 spring 中使用 PROPAGATION_NESTED, 首先來看 AbstractPlatformTransactionManager
            
            Java代碼    
            1. /**
            2. *CreateaTransactionStatusforanexistingtransaction.
            3. */
            4. privateTransactionStatushandleExistingTransaction(
            5. TransactionDefinitiondefinition,Objecttransaction,booleandebugEnabled)
            6. throwsTransactionException{
            7.  
            8. ...省略
            9.  
            10. if(definition.getPropagationBehavior()==TransactionDefinition.PROPAGATION_NESTED){
            11. if(!isNestedTransactionAllowed()){
            12. thrownewNestedTransactionNotSupportedException(
            13. "Transactionmanagerdoesnotallownestedtransactionsbydefault-"+
            14. "specify'nestedTransactionAllowed'propertywithvalue'true'");
            15. }
            16. if(debugEnabled){
            17. logger.debug("Creatingnestedtransactionwithname["+definition.getName()+"]");
            18. }
            19. if(useSavepointForNestedTransaction()){
            20. //CreatesavepointwithinexistingSpring-managedtransaction,
            21. //throughtheSavepointManagerAPIimplementedbyTransactionStatus.
            22. //UsuallyusesJDBC3.0savepoints.NeveractivatesSpringsynchronization.
            23. DefaultTransactionStatusstatus=
            24. newTransactionStatus(definition,transaction,false,false,debugEnabled,null);
            25. status.createAndHoldSavepoint();
            26. returnstatus;
            27. }
            28. else{
            29. //Nestedtransactionthroughnestedbeginandcommit/rollbackcalls.
            30. //UsuallyonlyforJTA:Springsynchronizationmightgetactivatedhere
            31. //incaseofapre-existingJTAtransaction.
            32. doBegin(transaction,definition);
            33. booleannewSynchronization=(this.transactionSynchronization!=SYNCHRONIZATION_NEVER);
            34. returnnewTransactionStatus(definition,transaction,true,newSynchronization,debugEnabled,null);
            35. }
            36. }
            37. }  
                1. 我們要設置 transactionManager 的 nestedTransactionAllowed 屬性為 true, 注意, 此屬性默認為 false!!!
                
                再看 AbstractTransactionStatus#createAndHoldSavepoint() 方法
                
                Java代碼    
                1. /**
                2. *Createasavepointandholditforthetransaction.
                3. *@throwsorg.springframework.transaction.NestedTransactionNotSupportedException
                4. *iftheunderlyingtransactiondoesnotsupportsavepoints
                5. */
                6. publicvoidcreateAndHoldSavepoint()throwsTransactionException{
                7. setSavepoint(getSavepointManager().createSavepoint());
                8. }  
                   
                   可以看到 Savepoint 是 SavepointManager.createSavepoint 實現的, 再看 SavepointManager 的層次結構, 發現
                   其 Template 實現是 JdbcTransactionObjectSupport, 常用的 DatasourceTransactionManager, HibernateTransactionManager
                   中的 TransactonObject 都是它的子類
                   JdbcTransactionObjectSupport 告訴我們必須要滿足兩個條件才能 createSavepoint :
                   
                   2. java.sql.Savepoint 必須存在, 即 jdk 版本要 1.4+
                   3. Connection.getMetaData().supportsSavepoints() 必須為 true, 即 jdbc drive 必須支持 JDBC 3.0
                   
                   確保以上條件都滿足後, 你就可以嘗試使用 PROPAGATION_NESTED 了