摘要

本文摘抄了Spring事務相關的一些理論，主要講述事務的特性、事務的傳播行為、事務的隔離規則。
關鍵詞：事務特性,事務傳播，事務隔離

一、什麼是事務

事務是用來保證數據的完整性和一致性，正如金錢轉賬，金錢總數不會增加也不會減少。
資料庫 事務管理有四個特性（ACID）：

二、Spring事務管理器

1. 事務管理介面

Spring中定義了事務管理的總介面PlatformTransactionManager，該介面定義了以下幾個介面來管理事務：

• getTransaction() - 獲取事務狀態（TransactionStatus），該事務由（TransactionDefinition定義）
• commit() - 提交事務
• rollback() - 回滾事務

Spring不直接管理事務，而是提供一個事務管理介面，由其他平臺（如JDBC、Hibernate）自己實現事務管理。

幾個具體的事務：

關於JTA，參考Java中的事務——JDBC事務和JTA事務

（Spring事務管理器）

2. 事務管理與AOP

Spring通過AOP攔截所有需要事務管理的業務處理方法。

三、Spring事務屬性

Spring事務有幾個屬性，TransactionDefinition介面可以體現出來：

public interface 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;
    // 事務隔離級別定義
    int ISOLATION_DEFAULT = -1;
    int ISOLATION_READ_UNCOMMITTED = Connection.TRANSACTION_READ_UNCOMMITTED;
    int ISOLATION_READ_COMMITTED = Connection.TRANSACTION_READ_COMMITTED;
    int ISOLATION_REPEATABLE_READ = Connection.TRANSACTION_REPEATABLE_READ;
    int ISOLATION_SERIALIZABLE = Connection.TRANSACTION_SERIALIZABLE;
    // 預設超時時間
    int TIMEOUT_DEFAULT = -1;

    // 獲取事務傳播行為
    int getPropagationBehavior();
    // 獲取事務隔離級別
    int getIsolationLevel();
    // 獲取事務超時時間
    int getTimeout();
    // 獲取事務是否只讀
    boolean isReadOnly();
    // 獲取事務名字
    String getName();
}

介面的定義加上回滾規則，事務可以有以下五個基本配置：事務傳播行為、事務隔離級別、事務超時、事務只讀、回滾規則

1. 傳播行為

所謂傳播行為(propagation behavior)指一個事務方法被另一個事務方法調用時，事務應該如何處理。被調用的方法可能在現有事務中運行，或者啟動一個新的事務，在自己事務內運行。

2. 隔離規則

事務的執行會存在併發的，隔離級別定義了一個事務受其它併發事務影響的程度。

有兩個表格：

併發事務引起的問題

隔離級別

3. 事務超時

給定事務一個超時時間，如果特定時間事務沒有執行完畢，事務會自動回滾。

4. 是否只讀？

設置了只讀事務，那麼在此事務執行過程中，其它事務對資料庫的修改對於該事務來說是透明的，即看不到其它事務修改後的數據。這通常用於執行多次查詢來統計信息時，能夠保證數據的整體一致性。

5. 回滾規則

回滾規則定義了哪些異常，事務會進行回滾。預設情況下，事務只有遇到運行時異常才會回滾，而在遇到檢查型異常時不會回滾。

四、Spring事務管理形式

1. 編程式事務

使用TransactionTemplate或PlatformTransactionManager

TransactionTemplate tt = new TransactionTemplate();
tt.execute(status -> {
    // 執行操作
    doSth();
    // 返回操作結果
    return obj;
});

2. 聲明式事務

參考：Spring事務配置的五種方式

六、總結

1. Spring定義了事務管理器的介面，具體實現由特定平臺來實現；
2. Spring事務有五個屬性：事務傳播行為、事務隔離級別、事務超時、事務只讀、回滾規則；
3. 傳播行為：required、supports、mandatory、required_new、not_support、never、nested；
4. 隔離級別：default、read_uncommited、read_committed、repeatable_read、serializable；

參考資料

1. Spring事務管理（詳解+實例）
2. Spring 事務管理原理探究