事務機制 · 語雀 (yuque.com)

介紹事務

技術是為瞭解決問題而生的，通過事務我們可以解決以下問題：

• 多個操作不是一個整體操作，出現了部分執行成功的情況，導致數據的狀態不一致問題（原子性）
• 一組操作只有部分完成，沒有全部完成，但是此時可以訪問到數據的不一致狀態問題（可見性問題，隔離性）
• 兩組操作併發執行，導致的併發問題
• ......

事務存在的意義：保證系統中的數據是正確的，不同數據間不會產生矛盾，也就是保證數據狀態的一致性。

事務是什麼（事務的概念）：事務是一個或多個操作的組合操作，並且事務對這個組合操作提供一個保證，如果這個組合操作執行之前的數據是一致的（即正確的），那麼執行組合操作之後的數據也應該是一致的。不論這個組合操作執行的過程中，發生了系統故障，還是在這個組合操作執行的過程中，是否與其他事務一起執行。（這也對應了上面提到的事務要解決的問題）

即使沒有事務支持， 或許上層應用依然可以工作， 然而在沒有原子性保證時， 錯誤處理就會異常複雜， 而缺乏隔離性則容易出現併發性方面的各種奇怪問題。

如果我們期望多個操作同時成功或者失敗，並且期望多組操作之間相互隔離（不相互影響），那麼就需要通過一個事務來執行。

Oracle 是支持事務的。而 MySQL 中只有 InnoDB 存儲引擎支持事務，MyISAM、Memory、Merge 等存儲引擎都不支持事務。

對事務進行控制

使用事務有兩種方式，分別為：隱式事務和顯式事務。

隱式事務

隱式事務又稱自動提交事務，顧名思義就是當執行完一條 SQL 語句後，會自動 commit 提交。

MySQL 預設使用的就是隱式事務。

顯式事務

如果我們想關閉自動提交，可以使用下邊的兩種方法之一：

• 顯式的的使用 start transaction 或者 begin 語句開啟一個事務。這樣，在本次事務提交或者回滾之前會暫時關閉自動提交功能。
• 把系統變數 autocommit 的值設置為 off 或者 0：set autocommit = off。這樣，本次會話將關閉自動提交功能。不論是否顯式的開啟一個事務，每次執行事務都需要使用 commit 進行提交讓事務生效，使用 rollback 對事務進行回滾。

需要註意的是：設置 autocommit 的值，只針對當前會話有效。

autocommit 參數的取值有 2 種可能：

• autocommit = 0：取消自動提交功能
• autocommit = 1：使用自動提交功能（預設值）

start transaction 比 begin 語句強大的一點是：可以在 start transaction 語句後面跟隨幾個修飾符，用來設置事務的訪問模式，修飾符如下所示：

• read only：標識當前事務是一個只讀事務。即該事務內的操作只能讀取數據，而不能修改數據。
• read write：標識當前事務是一個讀寫事務。即該事務內的操作既可以讀取數據，也可以修改數據。
• with consistent snapshot：啟動一致性讀。即執行該命令後立即生成 ReadView，而不用等到第一條 select 語句執行。

如果我們想在 start transaction 後面跟隨多個修飾符的話，使用逗號將修飾符分開即可，

如果不顯式的指定事務的訪問模式，那麼該事務的訪問模式預設為：讀寫模式。

保存點 savepoint

可以用 savepoint 保存點名稱; 語句創建保存點，方便後續回滾到指定保存點。

保存點就是在事務對應的資料庫語句中打幾個點，我們在調用 rollback 語句時，可以回滾到指定的保存點，保留部分操作而非回滾到事務執行之前的狀態。

當我們想回滾到指定的保存點時，可以使用這個語句：rollback [work] to [savepoint] 保存點名稱;（單詞 work 和 savepoint 可有可無）。

如果 rollback 語句後沒有跟隨保存點名稱的話，會直接回滾到事務執行之前的狀態。

如果我們想刪除某個保存點，可以使用這個語句：release savepoint 保存點名稱;

completion_type 參數

MySQL 中 completion_type 參數的取值有 3 種可能：

• completion=0（no_chain），這種情況下，當我們執行 commit 的時候會提交事務，在執行下一個事務時，還是需要我們使用 start transaction 或者 begin 來開啟事務。（參數的預設值）
• completion=1（chain），這種情況下，當我們提交事務時，相當於執行了 commit and chain，也就是開啟一個鏈式事務；即當我們提交事務之後，會開啟一個相同隔離級別的事務。
• completion=2（release），這種情況下，當我們提交事務時，相當於執行了 commit and release；即當我們事務之後，會自動與伺服器斷開連接。

事務的特性：ACID

事務的特性分別是：原子性 (Atomicity)、一致性 (Consistency)、隔離性 (Isolation)、持久性 (Durability)。

下麵我們分別介紹這四個特性。

一致性：一個事務能夠正確地將數據從一個一致性的狀態，轉換到另一個一致性的狀態。

數據的一致性狀態是指數據滿足我們事先定義好的約束規則。也就是在事務執行的過程中，不論出現什麼問題（比如停電、宕機），最終的執行結果都是滿足我們事先定義好的約束規則的。

數據的一致性就是正確性。

原子性：一個事務中包含的所有操作，要麼全部執行，要麼一個都不執行，即 all-or nothing。

事務在執行過程中出現故障（宕機、斷電、進程崩潰、某種完整性約束被違反），導致操作不能全部執行時，事務會被回滾 (Rollback) 到事務開始前的狀態，就像這個事務從來沒有執行過一樣。

隔離性：如果多個事務併發執行，事務之間不應該出現相互影響的情況，它其實就是資料庫的併發控制。

資料庫試圖通過事務隔離來對應用開發者隱藏，事務併發時可能出現的各種異常情況。

在實踐中，由於考慮到性能的問題，會在高性能與正確性之間做一個權衡。使用者可以根據自己的業務場景，選擇一個合適的隔離級別。

持久性：如果一個事務已經提交成功，那麼不論出現什麼問題（比如停電、宕機、存儲介質發生故障、資料庫崩潰），事務所寫入的任何數據都不會丟失。

參考資料

掘金小冊《MySQL 是怎樣運行的：從根兒上理解 MySQL》

14丨什麼是事務處理，如何使用COMMIT和ROLLBACK進行操作？-極客時間 (geekbang.org)

本文來自博客園，作者：真正的飛魚，轉載請註明原文鏈接：https://www.cnblogs.com/feiyu2/p/16654663.html