詳解 SQL 事務和 ACID 屬性

引言:SQL中的事務
想象一下一個使用SQL作為數據庫的銀行系統。用戶A想將一些錢存入用戶B的賬戶。如果他們發送了錢,我們從他們的賬戶余額中扣除了這筆錢,并且我們想要將這筆錢存入用戶B的賬戶,但突然間我們的數據庫崩潰了。

這是否意味著我們從用戶A的余額中扣除的錢消失了?嗯,并不是在SQL數據庫中,因為它們使用SQL事務來處理這些情況。
事務和ACID屬性
事務是一系列作為單一原子單元執行的一個或多個SQL操作。其目的是確保數據庫中的數據一致性。事務具有以下屬性,通常被稱為ACID屬性的首字母縮寫:
- 原子性(Atomicity): 整個事務被視為單個單元,要么完全成功,要么完全失敗。
- 一致性(Consistency): 事務將數據庫從一個有效狀態轉換為另一個有效狀態,保持數據庫的不變性。
- 隔離性(Isolation): 并發事務的修改在它們提交之前被隔離開來。
- 持久性(Durability): 一旦事務已經提交,即使系統發生故障,它也將保持提交狀態。

SQL事務中的關鍵命令
我們使用 BEGIN TRANSACTION 關鍵字標記SQL事務的開始。

為了保存事務中進行的所有更改,我們將更改 COMMIT 到數據庫。

如果在事務中發生了錯誤,我們可以使用 ROLLBACK 命令回滾事務中進行的所有更改,將數據庫恢復到事務開始時的狀態。

示例:
讓我們回到我們簡單的銀行應用程序示例,其中您需要從賬戶A轉賬100美元到賬戶B。這涉及兩個步驟:
- 從賬戶A的余額中扣除金額
- 將其添加到賬戶B中
為了使事務成功,必須完成這兩個步驟。下面是如何將其寫為SQL事務的示例:
BEGIN TRANSACTION;
-- 扣除賬戶A的余額100美元
UPDATE Accounts
SET balance = balance - 100
WHERE account_id = 'A';
-- 檢查賬戶A是否有足夠的余額,如果沒有就回滾
IF @@ROWCOUNT = 0
ROLLBACK;
-- 將100美元添加到賬戶B的余額
UPDATE Accounts
SET balance = balance + 100
WHERE account_id = 'B';
-- 如果一切正常,則提交事務
COMMIT;此事務執行以下操作:
- 啟動事務 以確保以下操作是單個原子過程的一部分。
- 從賬戶A中扣除100美元: 假設有一個名為 accounts 的表,其中包含列 account_id 和 balance。
- 檢查賬戶A是否有足夠的資金: 如果賬戶A沒有足夠的錢,使用 ROLLBACK TRANSACTION 回滾事務,取消所有更改。
- 將100美元添加到賬戶B中: 如果賬戶A有足夠的錢,就向賬戶B添加100美元。
- 提交事務: 如果兩次更新都成功,則執行 COMMIT TRANSACTION 命令,將在此事務期間進行的更改永久應用到數據庫。
這確保了要么兩個賬戶都適當地更新,要么在任何一點出現問題時都不應用任何更改,從而保持數據的完整性。
SQL事務的隔離層級
數據庫事務的隔離級別確定事務的完整性如何維護以及在多大程度上每個事務與其他事務隔離。
SQL標準定義了四個隔離級別,它們在一致性和性能之間進行權衡。
(1) 讀未提交(Read Uncommitted)
- 描述: 隔離級別最低。事務甚至可以看到其他事務尚未提交的更改。
- 對示例的影響: 在轉賬過程中,如果另一個事務正在更新賬戶A或B的余額,這個事務可能讀取這些尚未提交的值。這可能導致看到一個實際上并不存在的余額(如果其他事務失敗并回滾)。
(2) 讀提交(Read Committed)
- 描述: 確保事務只能讀取已提交的數據。
- 對示例的影響: 通過確保只讀取已提交的賬戶A和B余額,避免了“讀未提交”的問題。然而,在事務內多次讀取余額時,如果其他事務正在修改數據,它可能看到不同的值(不可重復讀)。
(3) 可重復讀(Repeatable Read)
- 描述: 確保如果事務第二次讀取數據,它將找到相同的數據值(避免不可重復讀)。
- 對示例的影響: 這個級別防止事務在事務內多次讀取相同數據時看到其他事務所做的更改。在余額檢查和更新操作期間,它有助于保持一致的讀取結果。然而,它可能不會阻止幻讀(其他事務添加的新行)。
(4) 可序列化(Serializable)
- 描述: 最高級別的隔離。事務完全與其他事務隔離,就像它們是串行執行的一樣。
- 對示例的影響: 這確保完全隔離。沒有其他事務可以干擾轉賬過程。它阻止所有并發問題(臟讀、不可重復讀和幻讀),但以減少并發性和可能引起鎖定的性能問題為代價。
使用不同的隔離級別,可能會發生幾種現象,比如臟讀、不可重復讀或幻讀。讓我們看看這些術語的含義.
臟讀
臟讀發生在一個事務讀取由并發未提交事務寫入的數據時。因此,如果其他事務回滾,第一個事務將讀取從未正式提交到數據庫中的數據。
示例:
- 事務1開始并從賬戶A轉賬100美元到賬戶B。
- 在事務1提交之前,事務2開始并讀取賬戶A的余額。
- 如果事務1失敗并回滾,事務2已讀取一個從未正式提交的余額。

不可重復讀(讀未提交)
當事務在其過程中兩次檢索同一行時,并且兩次讀取之間行內的值發生更改時,就會發生不可重復讀。實質上,另一個事務在兩次讀取之間修改了該行。
示例:
- 事務1開始并讀取賬戶A的余額。
- 事務2從賬戶A轉賬100美元到賬戶B并提交。
- 事務1再次讀取賬戶A的余額,并看到與之前不同的余額。

幻讀
幻讀發生在一個事務期間,另一個事務通過添加(或刪除)行到正在讀取的記錄中來更改數據。這意味著事務中的后續讀取可能返回包含新添加行的一組行,或者不包括原始讀取的已刪除行。
示例:
- 事務1開始查詢賬戶A的交易數量。
- 事務2為賬戶A插入了一條新的交易記錄并提交。
- 事務1再次查詢賬戶A的交易數量,發現比之前多出了一些交易。

顯然,更高的隔離級別減少了可能發生的現象類型,但以減少并發性和潛在的性能影響為代價。



























