1. 程式人生 > >事務的特性

事務的特性

沒有 完整性 屬性 整體 需要 -1 arc 修改 數據庫的操作

事務應該具有4個屬性(ACID):

  • 原子性(A):事務作為一個整體被執行,包含在其中的對數據庫的操作要麽全部被執行,要麽都不執行。
  • 一致性(C):事務應確保數據庫的狀態從一個一致狀態轉變為另一個一致狀態。一致狀態的含義是數據庫中的數據應滿足完整性約束。
  • 隔離性(I):多個事務並發執行時,一個事務的執行不應影響其他事務的執行。
  • 持久性(D):一個事務一旦提交,他對數據庫的修改應該永久保存在數據庫中。

舉例


用一個常用的“A賬戶向B賬號匯錢”的例子來說明如何通過數據庫事務保證數據的準確性和完整性。熟悉關系型數據庫事務的都知道從帳號A到帳號B需要6個操作:

1、從A賬號中把余額讀出來(500)。
2、對A賬號做減法操作(500-100)。
3、把結果寫回A賬號中(400)。
4、從B賬號中把余額讀出來(500)。
5、對B賬號做加法操作(500+100)。
6、把結果寫回B賬號中(600)。

原子性:

保證1-6所有過程要麽都執行,要麽都不執行。一旦在執行某一步驟的過程中發生問題,就需要執行回滾操作。 假如執行到第五步的時候,B賬戶突然不可用(比如被註銷),那麽之前的所有操作都應該回滾到執行事務之前的狀態。

一致性

在轉賬之前,A和B的賬戶中共有500+500=1000元錢。在轉賬之後,A和B的賬戶中共有400+600=1000元。也就是說,數據的狀態在執行該事務操作之後從一個狀態改變到了另外一個狀態。同時一致性還能保證賬戶余額不會變成負數等。

隔離性

在A向B轉賬的整個過程中,只要事務還沒有提交(commit),查詢A賬戶和B賬戶的時候,兩個賬戶裏面的錢的數量都不會有變化。
如果在A給B轉賬的同時,有另外一個事務執行了C給B轉賬的操作,那麽當兩個事務都結束的時候,B賬戶裏面的錢應該是A轉給B的錢加上C轉給B的錢再加上自己原有的錢。

持久性

一旦轉賬成功(事務提交),兩個賬戶的裏面的錢就會真的發生變化(會把數據寫入數據庫做持久化保存)!

來源:http://www.hollischuang.com/archives/898

事務的特性