Spring Boot中的事務是如何實現的?懂嗎?




1. 概述

一直在用SpringBoot中的@Transactional來做事務管理,但是很少沒想過SpringBoot是如何實現事務管理的,今天從源碼入手,看看@Transactional是如何實現事務的,最後我們結合源碼的理解,自己動手寫一個類似的註解來實現事務管理,幫助我們加深理解。

閱讀說明:本文假設你具備Java基礎,同時對事務有基本的瞭解和使用。

Spring Boot中的事務是如何實現的?懂嗎?

2. 事務的相關知識

開始看源碼之前,我們先回顧下事務的相關知識。

2.1 事務的隔離級別

事務為什麼需要隔離級別呢?這是因為在併發事務情況下,如果沒有隔離級別會導致如下問題:

  • 髒讀(Dirty Read) :當A事務對數據進行修改,但是這種修改還沒有提交到數據庫中,B事務同時在訪問這個數據,由於沒有隔離,B獲取的數據有可能被A事務回滾,這就導致了數據不一致的問題。
  • 丟失修改(Lost To Modify): 當A事務訪問數據100,並且修改為100-1=99,同時B事務讀取數據也是100,修改數據100-1=99,最終兩個事務的修改結果為99,但是實際是98。事務A修改的數據被丟失了。
  • 不可重複讀(Unrepeatable Read):指A事務在讀取數據X=100的時候,B事務把數據X=100修改為X=200,這個時候A事務第二次讀取數據X的時候,發現X=200了,導致了在整個A事務期間,兩次讀取數據X不一致了,這就是不可重複讀。
  • 幻讀(Phantom Read):幻讀和不可重複讀類似。幻讀表現在,當A事務讀取表數據時候,只有3條數據,這個時候B事務插入了2條數據,當A事務再次讀取的時候,發現有5條記錄了,平白無故多了2條記錄,就像幻覺一樣。

不可重複讀 VS 幻讀

不可重複讀的重點是修改 : 同樣的條件 , 你讀取過的數據 , 再次讀取出來發現值不一樣了,重點在更新操作。 幻讀的重點在於新增或者刪除:同樣的條件 , 第 1 次和第 2 次讀出來的記錄數不一樣,重點在增刪操作。

所以,為了避免上述的問題,事務中就有了隔離級別的概念,在Spring中定義了五種表示隔離級別的常量:

常量說明TransactionDefinition.ISOLATION_DEFAULT數據庫默認的隔離級別,MySQL默認採用的 REPEATABLE_READ隔離級別TransactionDefinition.ISOLATION_READ_UNCOMMITTED最低的隔離級別,允許讀取未提交的數據變更,可能會導致髒讀、幻讀或不可重複讀

。TransactionDefinition.ISOLATION_READ_COMMITTED允許讀取併發事務已經提交的數據,可以阻止髒讀,但是幻讀或不可重複讀仍有可能發生。TransactionDefinition.ISOLATION_REPEATABLE_READ對同一字段的多次讀取結果都是一致的,除非數據是被本身事務自己所修改,可以阻止髒讀和不可重複讀,但幻讀仍有可能發生。MySQL中通過MVCC解決了該隔離級別下出現幻讀的可能。TransactionDefinition.ISOLATION_SERIALIZABLE串行化隔離級別,該級別可以防止髒讀、不可重複讀以及幻讀,但是串行化會影響性能。

2.2 Spring中事務的傳播機制

為什麼Spring中要搞一套事務的傳播機制呢?這是Spring給我們提供的事務增強工具,主要是解決方法之間調用,事務如何處理的問題。比如有方法A、方法B和方法C,在A中調用了方法B和方法C。偽代碼如下:

<code>MethodA{
MethodB;
MethodC;
}
MethodB{

}
MethodC{

}
/<code>

假設三個方法中都開啟了自己的事務,那麼他們之間是什麼關係呢?MethodA的回滾會影響MethodB和MethodC嗎?Spring中的事務傳播機制就是解決這個問題的。

Spring中定義了七種事務傳播行為:

Spring Boot中的事務是如何實現的?懂嗎?

3. 如何實現異常回滾的

回顧完了事務的相關知識,接下來我們正式來研究下Spring Boot中如何通過@Transactional來管理事務的,我們重點看看它是如何實現回滾的。

在Spring中TransactionInterceptor和PlatformTransactionManager這兩個類是整個事務模塊的核心,TransactionInterceptor負責攔截方法執行,進行判斷是否需要提交或者回滾事務。PlatformTransactionManager是Spring 中的事務管理接口,真正定義了事務如何回滾和提交。我們重點研究下這兩個類的源碼。

TransactionInterceptor類中的代碼有很多,我簡化一下邏輯,方便說明:

<code>    //以下代碼省略部分內容
public Object invoke(MethodInvocation invocation) throws Throwable {
//獲取事務調用的目標方法
Class> targetClass = (invocation.getThis() != null ? AopUtils.getTargetClass(invocation.getThis()) : null);
//執行帶事務調用
return invokeWithinTransaction(invocation.getMethod(), targetClass, invocation::proceed);
}/<code>

invokeWithinTransaction 簡化邏輯如下:

<code>    //TransactionAspectSupport.class
//省略了部分代碼
protected Object invokeWithinTransaction(Method method, @Nullable Class> targetClass,
final InvocationCallback invocation) throws Throwable {
Object retVal;
try {
//調用真正的方法體
retVal = invocation.proceedWithInvocation();
}

catch (Throwable ex) {
// 如果出現異常,執行事務異常處理
completeTransactionAfterThrowing(txInfo, ex);
throw ex;
}
finally {
//最後做一下清理工作,主要是緩存和狀態等
cleanupTransactionInfo(txInfo);
}
//如果沒有異常,直接提交事務。
commitTransactionAfterReturning(txInfo);
return retVal;

}/<code>

事務出現異常回滾的邏輯completeTransactionAfterThrowing如下:

<code>//省略部分代碼
protected void completeTransactionAfterThrowing(@Nullable TransactionInfo txInfo, Throwable ex) {
//判斷是否需要回滾,判斷的邏輯就是看有沒有聲明事務屬性,同時判斷是不是在目前的這個異常中執行回滾。
if (txInfo.transactionAttribute != null && txInfo.transactionAttribute.rollbackOn(ex)) {
//執行回滾
txInfo.getTransactionManager().rollback(txInfo.getTransactionStatus());
}
else {
//否則不需要回滾,直接提交即可。
txInfo.getTransactionManager().commit(txInfo.getTransactionStatus());

}
}
}/<code>

上面的代碼已經把Spring的事務的基本原理說清楚了,如何進行判斷執行事務,如何回滾。下面到了真正執行回滾邏輯的代碼中PlatformTransactionManager接口的子類,我們以JDBC的事務為例,DataSourceTransactionManager就是jdbc的事務管理類。跟蹤上面的代碼rollback(txInfo.getTransactionStatus())可以發現最終執行的代碼如下:

<code>@Override
protected void doRollback(DefaultTransactionStatus status) {
DataSourceTransactionObject txObject = (DataSourceTransactionObject) status.getTransaction();
Connection con = txObject.getConnectionHolder().getConnection();
if (status.isDebug()) {
logger.debug("Rolling back JDBC transaction on Connection [" + con + "]");
}
try {
//調用jdbc的 rollback進行回滾事務。
con.rollback();
}
catch (SQLException ex) {
throw new TransactionSystemException("Could not roll back JDBC transaction", ex);
}
}/<code>

3.1 小結

這裡小結下Spring 中事務的實現思路,Spring 主要依靠 TransactionInterceptor 來攔截執行方法體,判斷是否開啟事務,然後執行事務方法體,方法體中catch住異常,接著判斷是否需要回滾,如果需要回滾就委託真正的TransactionManager 比如JDBC中的DataSourceTransactionManager來執行回滾邏輯。提交事務也是同樣的道理。

這裡用個流程圖展示下思路:

Spring Boot中的事務是如何實現的?懂嗎?

4. 手寫一個註解實現事務回滾

我們弄清楚了Spring的事務執行流程,那我們可以模仿著自己寫一個註解,實現遇到指定異常就回滾的功能。這裡持久層就以最簡單的JDBC為例。我們先梳理下需求,首先註解我們可以基於Spring 的AOP來實現,接著既然是JDBC,那麼我們需要一個類來幫我們管理連接,用來判斷異常是否回滾或者提交。梳理完就開幹吧。

4.1 首先加入依賴

<code>             <dependency>
<groupid>org.springframework.boot/<groupid>
<artifactid>spring-boot-starter-jdbc/<artifactid>
/<dependency>
<dependency>
<groupid>org.springframework.boot/<groupid>
<artifactid>spring-boot-starter-aop/<artifactid>
/<dependency>/<code>

4.2 新增一個註解

<code>/**
* @description:
* @author: luozhou
* @create: 2020-03-29 17:05
**/
@Target({ElementType.METHOD})
@Retention(RetentionPolicy.RUNTIME)
@Inherited
@Documented
public @interface MyTransaction {
//指定異常回滾
Class extends Throwable>[] rollbackFor() default {};
}/<code>

4.3 新增連接管理器

該類幫助我們管理連接,該類的核心功能是把取出的連接對象綁定到線程上,方便在AOP處理中取出,進行提交或者回滾操作。

<code>/**
* @description:
* @author: luozhou
* @create: 2020-03-29 21:14
**/
@Component
public class DataSourceConnectHolder {
@Autowired
DataSource dataSource;
/**
* 線程綁定對象
*/
ThreadLocal<connection> resources = new NamedThreadLocal<>("Transactional resources");

public Connection getConnection() {
Connection con = resources.get();
if (con != null) {
return con;
}
try {
con = dataSource.getConnection();
//為了體現事務,全部設置為手動提交事務
con.setAutoCommit(false);
} catch (SQLException e) {
e.printStackTrace();
}
resources.set(con);
return con;
}

public void cleanHolder() {
Connection con = resources.get();
if (con != null) {
try {
con.close();
} catch (SQLException e) {
e.printStackTrace();
}
}
resources.remove();

}
}/<connection>/<code>

4.4 新增一個切面

這部分是事務處理的核心,先獲取註解上的異常類,然後捕獲住執行的異常,判斷異常是不是註解上的異常或者其子類,如果是就回滾,否則就提交。

<code>/**
* @description:
* @author: luozhou
* @create: 2020-03-29 17:08
**/
@Aspect
@Component
public class MyTransactionAopHandler {
@Autowired
DataSourceConnectHolder connectHolder;
Class extends Throwable>[] es;

//攔截所有MyTransaction註解的方法
@org.aspectj.lang.annotation.Pointcut("@annotation(luozhou.top.annotion.MyTransaction)")
public void Transaction() {

}

@Around("Transaction()")
public Object TransactionProceed(ProceedingJoinPoint proceed) throws Throwable {
Object result = null;
Signature signature = proceed.getSignature();
MethodSignature methodSignature = (MethodSignature) signature;
Method method = methodSignature.getMethod();
if (method == null) {
return result;
}
MyTransaction transaction = method.getAnnotation(MyTransaction.class);
if (transaction != null) {
es = transaction.rollbackFor();
}
try {
result = proceed.proceed();
} catch (Throwable throwable) {
//異常處理

completeTransactionAfterThrowing(throwable);
throw throwable;
}
//直接提交
doCommit();
return result;
}
/**
* 執行回滾,最後關閉連接和清理線程綁定
*/
private void doRollBack() {
try {
connectHolder.getConnection().rollback();
} catch (SQLException e) {
e.printStackTrace();
} finally {
connectHolder.cleanHolder();
}

}
/**
*執行提交,最後關閉連接和清理線程綁定
*/
private void doCommit() {
try {
connectHolder.getConnection().commit();
} catch (SQLException e) {
e.printStackTrace();
} finally {
connectHolder.cleanHolder();
}
}
/**
*異常處理,捕獲的異常是目標異常或者其子類,就進行回滾,否則就提交事務。
*/
private void completeTransactionAfterThrowing(Throwable throwable) {
if (es != null && es.length > 0) {
for (Class extends Throwable> e : es) {
if (e.isAssignableFrom(throwable.getClass())) {
doRollBack();
}
}
}

doCommit();
}
}/<code>

4.5 測試驗證

創建一個tb_test表,表結構如下:

<code>SET NAMES utf8mb4;
SET FOREIGN_KEY_CHECKS = 0;

-- ----------------------------
-- Table structure for tb_test
-- ----------------------------
DROP TABLE IF EXISTS `tb_test`;
CREATE TABLE `tb_test` (
`id` int(11) NOT NULL,
`email` varchar(255) DEFAULT NULL,
PRIMARY KEY (`id`)
) ENGINE=InnoDB DEFAULT CHARSET=latin1;

SET FOREIGN_KEY_CHECKS = 1;/<code>

4.5.1 編寫一個Service

saveTest方法調用了2個插入語句,同時聲明瞭@MyTransaction事務註解,遇到NullPointerException就進行回滾,最後我們執行了除以0操作,會拋出ArithmeticException。我們用單元測試看看數據是否會回滾。

<code>/**
* @description:
* @author: luozhou [email protected]
* @create: 2020-03-29 22:05
**/
@Service
public class MyTransactionTest implements TestService {
@Autowired
DataSourceConnectHolder holder;
//一個事務中執行兩個sql插入
@MyTransaction(rollbackFor = NullPointerException.class)
@Override
public void saveTest(int id) {
saveWitharamters(id, "[email protected]");

saveWitharamters(id + 10, "[email protected]");
int aa = id / 0;
}
//執行sql
private void saveWitharamters(int id, String email) {
String sql = "insert into tb_test values(?,?)";
Connection connection = holder.getConnection();
PreparedStatement stmt = null;
try {
stmt = connection.prepareStatement(sql);
stmt.setInt(1, id);
stmt.setString(2, email);
stmt.executeUpdate();
} catch (SQLException e) {
e.printStackTrace();
}
}

}/<code>

4.5.2 單元測試

<code>@SpringBootTest
@RunWith(SpringRunner.class)
class SpringTransactionApplicationTests {
@Autowired
private TestService service;

@Test
void contextLoads() throws SQLException {
service.saveTest(1);
}

}/<code>
Spring Boot中的事務是如何實現的?懂嗎?

上圖代碼聲明瞭事務對NullPointerException異常進行回滾,運行中遇到了ArithmeticException異常,所以是不會回滾的,我們在右邊的數據庫中刷新發現數據正常插入成功了,說明並沒有回滾。

Spring Boot中的事務是如何實現的?懂嗎?

我們把回滾的異常類改為ArithmeticException,把原數據清空再執行一次,出現了ArithmeticException異常,這個時候查看數據庫是沒有記錄新增成功了,這說明事物進行回滾了,表明我們的註解起作用了。

5. 總結

本文最開始回顧了事務的相關知識,併發事務會導致髒讀丟失修改不可重複讀幻讀,為了解決這些問題,數據庫中就引入了事務的隔離級別,隔離級別包括:讀未提交讀提交可重複讀串行化

Spring中增強了事務的概念,為了解決方法A、方法B和方法C之間的事務關係,引入了事務傳播機制的概念。

Spring中的@Transactional註解的事務實現主要通過TransactionInterceptor攔截器來進行實現的,攔截目標方法,然後判斷異常是不是目標異常,如果是目標異常就行進行回滾,否則就進行事務提交。

最後我們自己通過JDBC結合Spring的AOP自己寫了個@MyTransactional的註解,實現了遇到指定異常回滾的功能。

原文鏈接鏈接:https://juejin.im/post/5e7ef0bae51d4546f16bb3fb


分享到:


相關文章: