一、背景介紹

Spring 框架應該是每一個人 javaer 都必須接觸和學習的技術(shù)，Spring 公司所提供的各種框架是 Java 開發(fā)行業(yè)可參考的重要標準之一。

Spring 中有 7 種類型的事務傳播行為。事務傳播行為是 Spring 框架提供的一種事務管理方式，它是 Spring 框架之中非常重要的一個技術(shù)點，畢竟事務關系到應用程序和數(shù)據(jù)庫的交互，而數(shù)據(jù)更是互聯(lián)網(wǎng)行業(yè)最為重要的資源。

平時開發(fā)過程中事務都會有使用，但是沒有真正地總結(jié)過，尤其是事務中嵌套事務的場景，此篇基礎知識文在此做一個簡單的學習總結(jié)，

二、事務

1、事務的特征

• 原子性：一個事務中所有對數(shù)據(jù)庫的操作是一個不可分割的操作序列，要么全做要么全不做
• 一致性：數(shù)據(jù)不會因為事務的執(zhí)行而遭到破壞
• 隔離性：一個事物的執(zhí)行，不受其他事務的干擾，即并發(fā)執(zhí)行的事物之間互不干擾
• 持久性：一個事物一旦提交，它對數(shù)據(jù)庫的改變就是永久的

2、事務的隔離級別

1. read_uncommitted：讀未提交，一個事務可以感知或者操作另外一個未提交的事務，可能會出現(xiàn)臟讀、不可重復讀、幻讀
2. read_committed：讀已提交，一個事務只能感知或者操作另一個已經(jīng)提交的事務，可能會出現(xiàn)不可重復讀、幻讀
3. repeatable_read：可重復讀，能夠避免臟讀，不可重復讀，不能避免幻讀
4. serializable：串行化，隔離級別最高，消耗資源最低，代價最高，能夠防止臟讀， 不可重復讀，幻讀。

mysql 默認的事務隔離級別是 repeatable_read

3、Spring 事務的傳播行為

1. Propagation.REQUIRED（默認）：如果當前存在事務，則加入該事務，如果當前不存在事務，則創(chuàng)建一個新的事務。
2. Propagation.SUPPORTS：如果當前存在事務，則加入該事務；如果當前不存在事務，則以非事務的方式繼續(xù)運行。
3. Propagation.MANDATORY：如果當前存在事務，則加入該事務；如果當前不存在事務，則拋出異常。
4. Propagation.REQUIRES_NEW：重新創(chuàng)建一個新的事務，如果當前存在事務，延緩當前的事務。
5. Propagation.NOT_SUPPORTED：以非事務的方式運行，如果當前存在事務，暫停當前的事務。
6. Propagation.NEVER：以非事務的方式運行，如果當前存在事務，則拋出異常。
7. Propagation.NESTED：如果沒有，就新建一個事務；如果有，就在當前事務中嵌套其他事務。

三、代碼演示

準備動作：新建一個 spring 項目，數(shù)據(jù)庫腳本見：

SET NAMES utf8mb4;
SET FOREIGN_KEY_CHECKS = 0;

-- ----------------------------
-- Table structure for customer
-- ----------------------------
DROP TABLE IF EXISTS `customer`;
CREATE TABLE `customer` (
 `id` int(11) NOT NULL AUTO_INCREMENT,
 `name` varchar(255) COLLATE utf8mb4_bin DEFAULT NULL,
 `remark` varchar(255) COLLATE utf8mb4_bin DEFAULT NULL,
 PRIMARY KEY (`id`)
) ENGINE=InnoDB AUTO_INCREMENT=4 DEFAULT CHARSET=utf8mb4 COLLATE=utf8mb4_bin;

-- ----------------------------
-- Records of customer
-- ----------------------------
BEGIN;
INSERT INTO `customer` VALUES (1, 'A', 'a');
INSERT INTO `customer` VALUES (2, 'B', 'b');
INSERT INTO `customer` VALUES (3, 'C', 'c');
COMMIT;

SET FOREIGN_KEY_CHECKS = 1;

測試步驟為：方法 A 中調(diào)用方法 B 和 方法 C，三個方法各自操作數(shù)據(jù)庫中的一條數(shù)據(jù)，然后方法 A、B、C 組合添加事務

偽代碼為：

function A(){ // 方法 A
 functionB(); // 方法 B
 functionC(); // 方法 C
}

① Propagation.REQUIRED（默認）

步驟：

@Transactional
function A(){ // 有事務
 functionB(); // 無事務，代碼正常
 functionC(); // 無事務，代碼拋異常
}

結(jié)果：

數(shù)據(jù)庫中無數(shù)據(jù)

說明：

方法 B 和方法 C 雖然沒有自己的事務，但是外層的方法 A 是有事務的，由于默認的事務傳播機制，所以方法 B 和 C 都加入到了 A 的事務之中，所以當 C 報錯時，B 也隨著回滾了。

② Propagation.SUPPORTS

步驟：

@Transactional
function A(){ // 有事務
 functionB(); // 無事務，代碼正常
 functionC(); // 無事務，代碼拋異常
}

結(jié)果：

數(shù)據(jù)庫中有兩條數(shù)據(jù)

說明：

Propagation.SUPPORTS 的意思是當前有事務則加入，沒有則不添加事務，所以，由于 A 是沒有事務的，那么 B 和 C 自然而然也就不加入事務中，而 C 中的報錯了，那么自然而然也就不會進行數(shù)據(jù)回滾。

③ Propagation.MANDATORY

步驟：

@Transactional
function A(){ // 有事務
 functionB(); // 無事務，代碼正常
 functionC(); // 無事務，代碼拋異常
}

結(jié)果：

不僅數(shù)據(jù)庫中無數(shù)據(jù)，而且運行時報錯：

org.springframework.transaction.IllegalTransactionStateException: No existing transaction found for transaction marked with propagation 'mandatory'

說明：

Propagation.MANDATORY 的意思是當前有事務則加入，沒有事務則拋出異常。所以上述代碼在運行時拋出了 IllegalTransactionStateException 異常。

④ Propagation.REQUIRES_NEW

步驟：

function A(){ // 有事務
 insert one data;
 
 functionB(); // 有事務，代碼正常，事務為：@Transactional(propagation = Propagation.REQUIRES_NEW)
 functionC(); // 有事務，代碼拋異常，事務為：@Transactional(propagation = Propagation.REQUIRES_NEW)
}

結(jié)果：

數(shù)據(jù)庫中僅有方法 B 的一條數(shù)據(jù)。

說明：

Propagation.REQUIRES_NEW 的意思是重新創(chuàng)建一個新的事務，如果當前存在事務，延緩當前的事務。

這個理解起來有點拗。結(jié)合上述代碼案例來看，首先 B 和 C 都是有各自的事務的，所以在 C 拋出異常后，C 會回滾，而 B 則會正常插入一條數(shù)據(jù)，畢竟兩者的事務的獨立的，但是此時 A 也是有事務的，并且 A 的事務是在 B 和 C 之后再執(zhí)行的，所以當 C 拋出異常之后，A 自然而然也就捕獲到了，那么 A 的事務也會回滾，所以數(shù)據(jù)庫中 A 插入的數(shù)據(jù)也被回滾掉了。

⑤ Propagation.NOT_SUPPORTED

步驟：

function A(){ // 有事務
 functionB(); // 無事務，代碼正常，添加注解：@Transactional(propagation = Propagation.NOT_SUPPORTED)
 functionC(); // 無事務，代碼拋異常，添加注解：@Transactional(propagation = Propagation.NOT_SUPPORTED)
}

結(jié)果：

數(shù)據(jù)庫中有 B 和 C 兩條數(shù)據(jù)。

說明：

Propagation.NOT_SUPPORTED 的意思是當前代碼以非事務的方式運行，就算有事務，而已暫停當前事務。

結(jié)合上面的偽代碼來看，雖然 A 是有事務的，但是 B 和 c 的注解為 NOT_SUPPORTED，意思是我這個方法是不需要加入事務中的，所以 B 和 C 是沒有加入 A 的事務中去的，所以哪怕 B 拋出異常，由于不參會事務，所以 B 和 C 的數(shù)據(jù)都是不會回滾的，所以數(shù)據(jù)庫中就會有 B 和 C 兩條數(shù)據(jù)。

⑥ Propagation.NEVER

步驟：

function A(){ // 有事務
 functionB(); // 無事務，代碼正常，添加注解：@Transactional(propagation = Propagation.NEVER)
 functionC(); // 無事務，代碼拋異常，添加注解：@Transactional(propagation = Propagation.NEVER)
}

結(jié)果：

數(shù)據(jù)庫中無數(shù)據(jù)，并且運行時報錯

org.springframework.transaction.IllegalTransactionStateException: Existing transaction found for transaction marked with propagation 'never'

說明：

Propagation.NEVER 的意思是以非事務的方式去運行，如果有事務，則拋出異常。

上述偽代碼中，A 是有事務的，但是 B 和 C 添加了 NEVER 的事務，意思是別給我加事務，我拒絕，你要是給我加了事務我就給你拋異常。

⑦ Propagation.NESTED

步驟：

function A(){ // 有事務
 insert one data;
 
 functionB(); // 有事務，代碼正常，事務為：@Transactional(propagation = Propagation.NESTED)
 functionC(); // 有事務，代碼拋異常，事務為：@Transactional(propagation = Propagation.NESTED)
 
 throw exception;
}

結(jié)果：

結(jié)果就是沒有結(jié)果，因為 JPA 是不支持這種循環(huán)嵌套事務的，所以在運行的時候就會拋出異常：

org.springframework.transaction.NestedTransactionNotSupportedException: JpaDialect does not support savepoints - check your JPA provider's capabilities

說明：

Propagation.NESTED 的意思是如果外層沒有事務，則內(nèi)層會添加一個，而如果外層有事務，則內(nèi)層會嵌套一層事務，即內(nèi)層是有兩層事務的。

四、其他

demo 的源碼見： 【GitHub 地址】

總結(jié)

以上就是這篇文章的全部內(nèi)容了，希望本文的內(nèi)容對大家的學習或者工作具有一定的參考學習價值，謝謝大家對腳本之家的支持。

最新評論