事務是指對系統進行的一組操作,為了保證系統的完整性,事務需要具有acid特性,具體如下:
1. 原子性(atomic)
乙個事務包含多個操作,這些操作要麼全部執行,要麼全都不執行。實現事務的原子性,要支援回滾操作,在某個操作失敗後,回滾到事務執行之前的狀態。
回滾實際上是乙個比較高層抽象的概念,大多數db在實現事務時,是在事務操作的資料快照上進行的(比如,mvcc),並不修改實際的資料,如果有錯並不會提交,所以很自然的支援回滾。
而在其他支援簡單事務的系統中,不會在快照上更新,而直接操作實際資料。可以先預演一邊所有要執行的操作,如果失敗則這些操作不會被執行,通過這種方式很簡單的實現了原子性。
2. 一致性(consistency)
一致性是指事務使得系統從乙個一致的狀態轉換到另乙個一致狀態。事務的一致性決定了乙個系統設計和實現的複雜度。事務可以不同程度的一致性:
強一致性
:讀操作可以立即讀到提交的更新操作。
弱一致性
:提交的更新操作,不一定立即會被讀操作讀到,此種情況會存在乙個不一致視窗,指的是讀操作可以讀到最新值的一段時間。
最終一致性
:是弱一致性的特例。事務更新乙份資料,最終一致性保證在沒有其他事務更新同樣的值的話,最終所有的事務都會讀到之前事務更新的最新值。如果沒有錯誤發生,不一致視窗的大小依賴於:通訊延遲,系統負載等。
其他一致性變體還有:
單調一致性
:如果乙個程序已經讀到乙個值,那麼後續不會讀到更早的值。
會話一致性
:保證客戶端和伺服器互動的會話過程中,讀操作可以讀到更新操作後的最新值。
3. 隔離性(isolation)
併發事務之間互相影響的程度,比如乙個事務會不會讀取到另乙個未提交的事務修改的資料。在事務併發操作時,可能出現的問題有:
髒讀
:事務a修改了乙個資料,但未提交,事務b讀到了事務a未提交的更新結果,如果事務a提交失敗,事務b讀到的就是髒資料。
不可重複讀
:在同乙個事務中,對於同乙份資料讀取到的結果不一致。比如,事務b在事務a提交前讀到的結果,和提交後讀到的結果可能不同。
不可重複讀出現的原因就是事務併發修改記錄
,要避免這種情況,最簡單的方法就是對要修改的記錄加鎖,這回導致鎖競爭加劇,影響效能。另一種方法是通過mvcc可以在無鎖的情況下,避免不可重複讀。
幻讀
:在同乙個事務中,同乙個查詢多次返回的結果不一致。事務a新增了一條記錄,事務b在事務a提交前後各執行了一次查詢操作,發現後一次比前一次多了一條記錄。
幻讀是由於併發事務增加記錄導致的
,這個不能像不可重複讀通過記錄加鎖解決,因為對於新增的記錄根本無法加鎖。需要將事務序列化,才能避免幻讀。
事務的隔離級別從低到高有:
read uncommitted
:最低的隔離級別,什麼都不需要做,乙個事務可以讀到另乙個事務未提交的結果。所有的併發事務問題都會發生。
read committed
:只有在事務提交後,其更新結果才會被其他事務看見。
可以解決髒讀問題。
repeated read
:在乙個事務中,對於同乙份資料的讀取結果總是相同的,無論是否有其他事務對這份資料進行操作,以及這個事務是否提交。
可以解決髒讀、不可重複讀。
serialization
:事務序列化執行,隔離級別最高,犧牲了系統的併發性。
可以解決併發事務的所有問題。
通常,在工程實踐中,為了效能的考慮會對隔離性進行折中。
4. 永續性(durability)
事務提交後,對系統的影響是永久的。
事務四大特性
1 原子性 將事務中所做的操作 成乙個原子單元,即對於事務所進行的資料修改等操作,要麼全部執行,要麼全部不執行。2 一致性 事務執行的結果必須是使資料庫從乙個一致性狀態變到另乙個一致性狀態。事務在完成時,必須使所有的資料都保持一致狀態,而且在相關資料中,所有規則都必須應用於事務的修改,以保持所有資料...
事務四大特性
資料庫事務有四大特性,分別是 原子性 一致性 隔離性和永續性。原子性 atomicity 事務是資料庫的邏輯工作單位,它對資料庫的修改要麼全部執行,要麼全部不執行。一致性 consistemcy 事務前後,資料庫的狀態都滿足所有的完整性約束。隔離性 isolation 併發執行的事務是隔離的,乙個不...
事務四大特性
事務四大特性 acid 1 原子性 atomicity 化學中的原子指不可再分的基本微粒,資料庫中原子性強調事務是乙個不可分割的整體,事務開始後所有操作要麼全部成功,要麼全部失敗,不可能停滯在中間某個環節。如果事務執行過程 錯就會回滾到事務開始前的狀態,所有的操作就像沒有發生一樣不會對資料庫有任何影...