Spring事務的本質其實就是數據庫對事務的支持,沒有數據庫的事務支持,spring是沒法提供事務功能的。對於純JDBC操做數據庫,想要用到事務,能夠按照如下步驟進行:java
使用Spring的事務管理功能後,咱們能夠再也不寫步驟 2 和 4 的代碼,而是由Spirng 自動完成。那麼Spring是如何在咱們書寫的 CRUD 以前和以後開啓事務和關閉事務的呢?解決這個問題,也就能夠從總體上理解Spring的事務管理實現原理了。下面簡單地介紹下,註解方式爲例子spring
全部的數據訪問技術都有事務處理機制,這些技術提供了API用來開啓事務、提交事務來完成數據操做,或者在發生錯誤的時候回滾數據。數據庫
而Spring的事務機制是用統一的機制來處理不一樣數據訪問技術的事務處理。Spring的事務機制提供了一個PlatformTransactionManager接口,不一樣的數據訪問技術的事務使用不一樣的接口實現,如表所示。併發
數據訪問技術及實現分佈式
數據訪問技術 | 實現 |
---|---|
JDBC | DataSourceTransactionManager |
JPA | JapTransactionManager |
Hibernate | HibernateTransactionManager |
JDO | JdoTransactionManager |
分佈式事務 | JtaTransactionManager |
在程序中定義事務管理器的代碼以下:函數
@Bean public PlatformTransactionManager transactionManager() { JpaTransactionManager transactionManager = new JpaTransactionManager(); transactionManager.setDataSource(dataSource()); return transactionManager; }
Spring支持聲名式事務,即便用註解來選擇須要使用事務的方法,它使用@Transactional註解在方法上代表該方法須要事務支持。這是一個基於AOP的實現操做。性能
@Transactional public void saveSomething(Long id, String name) { //數據庫操做 }
在此處須要特別注意的是,此@Transactional註解來自org.springframework.transaction.annotation包,而不是javax.transaction。測試
具體有以下四步驟:優化
cglib(Code Generation Library)是一個強大的,高性能,高質量的Code生成類庫。它能夠在運行期擴展Java類與實現Java接口。spa
java動態代理是利用反射機制生成一個實現代理接口的匿名類,在調用具體方法前調用InvokeHandler來處理。而cglib動態代理是利用asm開源包,對代理對象類的class文件加載進來,經過修改其字節碼生成子類來處理。
若是是類內部方法直接不是走代理,這個時候能夠經過維護一個自身實例的代理。
@Service public class PersonServiceImpl implements PersonService { @Autowired PersonRepository personRepository; // 注入自身代理對象,在本類內部方法調用事務的傳遞性纔會生效 @Autowired PersonService selfProxyPersonService; /** * 測試事務的傳遞性 * * @param person * @return */ @Transactional public Person save(Person person) { Person p = personRepository.save(person); try { // 新開事務 獨立回滾 selfProxyPersonService.delete(); } catch (Exception e) { e.printStackTrace(); } try { // 使用當前事務 所有回滾 selfProxyPersonService.save2(person); } catch (Exception e) { e.printStackTrace(); } personRepository.save(person); return p; } @Transactional public void save2(Person person) { personRepository.save(person); throw new RuntimeException(); } @Transactional(propagation = Propagation.REQUIRES_NEW) public void delete() { personRepository.delete(1L); throw new RuntimeException(); } }
所謂spring事務的傳播屬性,就是定義在存在多個事務同時存在的時候,spring應該如何處理這些事務的行爲。這些屬性在TransactionDefinition中定義,具體常量的解釋見下表:
常量名稱 | 常量解釋 |
---|---|
PROPAGATION_REQUIRED | 支持當前事務,若是當前沒有事務,就新建一個事務。這是最多見的選擇,也是 Spring 默認的事務的傳播。 |
PROPAGATION_REQUIRES_NEW | 新建事務,若是當前存在事務,把當前事務掛起。新建的事務將和被掛起的事務沒有任何關係,是兩個獨立的事務,外層事務失敗回滾以後,不能回滾內層事務執行的結果,內層事務失敗拋出異常,外層事務捕獲,也能夠不處理回滾操做 |
PROPAGATION_SUPPORTS | 支持當前事務,若是當前沒有事務,就以非事務方式執行。 |
PROPAGATION_MANDATORY | 支持當前事務,若是當前沒有事務,就拋出異常。 |
PROPAGATION_NOT_SUPPORTED | 以非事務方式執行操做,若是當前存在事務,就把當前事務掛起。 |
PROPAGATION_NEVER | 以非事務方式執行,若是當前存在事務,則拋出異常。 |
PROPAGATION_NESTED | 若是一個活動的事務存在,則運行在一個嵌套的事務中。若是沒有活動事務,則按REQUIRED屬性執行。它使用了一個單獨的事務,這個事務擁有多個能夠回滾的保存點。內部事務的回滾不會對外部事務形成影響。它只對DataSourceTransactionManager事務管理器起效。 |
隔離級別 | 隔離級別的值 | 致使的問題 |
---|---|---|
Read-Uncommitted | 0 | 致使髒讀 |
Read-Committed | 1 | 避免髒讀,容許不可重複讀和幻讀 |
Repeatable-Read | 2 | 避免髒讀,不可重複讀,容許幻讀 |
Serializable | 3 | 串行化讀,事務只能一個一個執行,避免了髒讀、不可重複讀、幻讀。執行效率慢,使用時慎重 |
髒讀:一事務對數據進行了增刪改,但未提交,另外一事務能夠讀取到未提交的數據。若是第一個事務這時候回滾了,那麼第二個事務就讀到了髒數據。
不可重複讀:一個事務中發生了兩次讀操做,第一次讀操做和第二次操做之間,另一個事務對數據進行了修改,這時候兩次讀取的數據是不一致的。
幻讀:第一個事務對必定範圍的數據進行批量修改,第二個事務在這個範圍增長一條數據,這時候第一個事務就會丟失對新增數據的修改。
總結:
隔離級別越高,越能保證數據的完整性和一致性,可是對併發性能的影響也越大。
大多數的數據庫默認隔離級別爲 Read Commited,好比 SqlServer、Oracle
少數數據庫默認隔離級別爲:Repeatable Read 好比: MySQL InnoDB
常量 | 解釋 |
---|---|
ISOLATION_DEFAULT | 這是個 PlatfromTransactionManager 默認的隔離級別,使用數據庫默認的事務隔離級別。另外四個與 JDBC 的隔離級別相對應。 |
ISOLATION_READ_UNCOMMITTED | 這是事務最低的隔離級別,它充許另一個事務能夠看到這個事務未提交的數據。這種隔離級別會產生髒讀,不可重複讀和幻像讀。 |
ISOLATION_READ_COMMITTED | 保證一個事務修改的數據提交後才能被另一個事務讀取。另一個事務不能讀取該事務未提交的數據。 |
ISOLATION_REPEATABLE_READ | 這種事務隔離級別能夠防止髒讀,不可重複讀。可是可能出現幻像讀。 |
ISOLATION_SERIALIZABLE | 這是花費最高代價可是最可靠的事務隔離級別。事務被處理爲順序執行。 |
經過上面的理論知識的鋪墊,咱們大體知道了數據庫事務和spring事務的一些屬性和特色,接下來咱們經過分析一些嵌套事務的場景,來深刻理解spring事務傳播的機制。
假設外層事務 Service A 的 Method A() 調用 內層Service B 的 Method B()
若是ServiceB.methodB() 的事務級別定義爲 PROPAGATION_REQUIRED,那麼執行 ServiceA.methodA() 的時候spring已經起了事務,這時調用 ServiceB.methodB(),ServiceB.methodB() 看到本身已經運行在 ServiceA.methodA() 的事務內部,就再也不起新的事務。
假如 ServiceB.methodB() 運行的時候發現本身沒有在事務中,他就會爲本身分配一個事務。
這樣,在 ServiceA.methodA() 或者在 ServiceB.methodB() 內的任何地方出現異常,事務都會被回滾。
好比咱們設計 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() 事務仍然可能提交(主要看B拋出的異常是否是A會回滾的異常)。
假設ServiceB.methodB() 的事務級別爲 PROPAGATION_SUPPORTS,那麼當執行到ServiceB.methodB()時,若是發現ServiceA.methodA()已經開啓了一個事務,則加入當前的事務,若是發現ServiceA.methodA()沒有開啓事務,則本身也不開啓事務。這種時候,內部方法的事務性徹底依賴於最外層的事務。
如今的狀況就變得比較複雜了, ServiceB.methodB() 的事務屬性被配置爲 PROPAGATION_NESTED, 此時二者之間又將如何協做呢? ServiceB#methodB 若是 rollback, 那麼內部事務(即 ServiceB#methodB) 將回滾到它執行前的 SavePoint 而外部事務(即 ServiceA#methodA) 能夠有如下兩種處理方式:
a、捕獲異常,執行異常分支邏輯
void methodA() { try { ServiceB.methodB(); } catch (SomeException) { // 執行其餘業務, 如 ServiceC.methodC(); } }
這種方式也是嵌套事務最有價值的地方, 它起到了分支執行的效果, 若是 ServiceB.methodB 失敗, 那麼執行 ServiceC.methodC(), 而 ServiceB.methodB 已經回滾到它執行以前的 SavePoint, 因此不會產生髒數據(至關於此方法從未執行過), 這種特性能夠用在某些特殊的業務中, 而 PROPAGATION_REQUIRED 和 PROPAGATION_REQUIRES_NEW 都沒有辦法作到這一點。
b、 外部事務回滾/提交 代碼不作任何修改, 那麼若是內部事務(ServiceB#methodB) rollback, 那麼首先 ServiceB.methodB 回滾到它執行以前的 SavePoint(在任何狀況下都會如此), 外部事務(即 ServiceA#methodA) 將根據具體的配置決定本身是 commit 仍是 rollback
另外三種事務傳播屬性基本用不到,在此不作分析。
對於項目中須要使用到事務的地方,我建議開發者仍是使用spring的TransactionCallback接口來實現事務,不要盲目使用spring事務註解,若是必定要使用註解,那麼必定要對spring事務的傳播機制和隔離級別有個詳細的瞭解,不然極可能發生意想不到的效果。
經過org.springframework.boot.autoconfigure.transaction.TransactionAutoConfiguration類。咱們能夠看出Spring Boot自動開啓了對註解事務的支持
Spring
從這一點設置的時間點開始(時間點a)到這個事務結束的過程當中,其餘事務所提交的數據,該事務將看不見!(查詢中不會出現別人在時間點a以後提交的數據)。
@Transcational(readOnly=true) 這個註解通常會寫在業務類上,或者其方法上,用來對其添加事務控制。當括號中添加readOnly=true, 則會告訴底層數據源,這個是一個只讀事務,對於JDBC而言,只讀事務會有必定的速度優化。而這樣寫的話,事務控制的其餘配置則採用默認值,事務的隔離級別(isolation) 爲DEFAULT,也就是跟隨底層數據源的隔離級別,事務的傳播行爲(propagation)則是REQUIRED,因此仍是會有事務存在,一代在代碼中拋出RuntimeException,依然會致使事務回滾。
【注意是一次執行屢次查詢來統計某些信息,這時爲了保證數據總體的一致性,要用只讀事務】