資料庫事務的四大特性以及事務的隔離級別-與-Spring事務傳播機制&隔離級別

来源:https://www.cnblogs.com/jiuya/archive/2018/11/22/10004556.html
-Advertisement-
Play Games

資料庫事務的四大特性以及事務的隔離級別 本篇講訴資料庫中事務的四大特性(ACID),並且將會詳細地說明事務的隔離級別。 如果一個資料庫聲稱支持事務的操作,那麼該資料庫必須要具備以下四個特性: ⑴ 原子性(Atomicity) 原子性是指事務包含的所有操作要麼全部成功,要麼全部失敗回滾,這和前面兩篇博 ...


資料庫事務的四大特性以及事務的隔離級別

 

  本篇講訴資料庫中事務的四大特性(ACID),並且將會詳細地說明事務的隔離級別。

  如果一個資料庫聲稱支持事務的操作,那麼該資料庫必須要具備以下四個特性:

⑴ 原子性(Atomicity)

  原子性是指事務包含的所有操作要麼全部成功,要麼全部失敗回滾,這和前面兩篇博客介紹事務的功能是一樣的概念,因此事務的操作如果成功就必須要完全應用到資料庫,如果操作失敗則不能對資料庫有任何影響。

⑵ 一致性(Consistency)

  一致性是指事務必須使資料庫從一個一致性狀態變換到另一個一致性狀態,也就是說一個事務執行之前和執行之後都必須處於一致性狀態。

  拿轉賬來說,假設用戶A和用戶B兩者的錢加起來一共是5000,那麼不管A和B之間如何轉賬,轉幾次賬,事務結束後兩個用戶的錢相加起來應該還得是5000,這就是事務的一致性。

⑶ 隔離性(Isolation)

  隔離性是當多個用戶併發訪問資料庫時,比如操作同一張表時,資料庫為每一個用戶開啟的事務,不能被其他事務的操作所干擾,多個併發事務之間要相互隔離。

  即要達到這麼一種效果:對於任意兩個併發的事務T1和T2,在事務T1看來,T2要麼在T1開始之前就已經結束,要麼在T1結束之後才開始,這樣每個事務都感覺不到有其他事務在併發地執行。

  關於事務的隔離性資料庫提供了多種隔離級別,稍後會介紹到。

⑷ 持久性(Durability)

  持久性是指一個事務一旦被提交了,那麼對資料庫中的數據的改變就是永久性的,即便是在資料庫系統遇到故障的情況下也不會丟失提交事務的操作。

  例如我們在使用JDBC操作資料庫時,在提交事務方法後,提示用戶事務操作完成,當我們程式執行完成直到看到提示後,就可以認定事務以及正確提交,即使這時候資料庫出現了問題,也必須要將我們的事務完全執行完成,否則就會造成我們看到提示事務處理完畢,但是資料庫因為故障而沒有執行事務的重大錯誤。

  

  以上介紹完事務的四大特性(簡稱ACID),現在重點來說明下事務的隔離性,當多個線程都開啟事務操作資料庫中的數據時,資料庫系統要能進行隔離操作,以保證各個線程獲取數據的準確性,在介紹資料庫提供的各種隔離級別之前,我們先看看如果不考慮事務的隔離性,會發生的幾種問題:

1,臟讀

  臟讀是指在一個事務處理過程里讀取了另一個未提交的事務中的數據。

  當一個事務正在多次修改某個數據,而在這個事務中這多次的修改都還未提交,這時一個併發的事務來訪問該數據,就會造成兩個事務得到的數據不一致。例如:用戶A向用戶B轉賬100元,對應SQL命令如下

    update account set money=money+100 where name=’B’;  (此時A通知B)

    update account set money=money - 100 where name=’A’;

  當只執行第一條SQL時,A通知B查看賬戶,B發現確實錢已到賬(此時即發生了臟讀),而之後無論第二條SQL是否執行,只要該事務不提交,則所有操作都將回滾,那麼當B以後再次查看賬戶時就會發現錢其實並沒有轉。

2,不可重覆讀

  不可重覆讀是指在對於資料庫中的某個數據,一個事務範圍內多次查詢卻返回了不同的數據值,這是由於在查詢間隔,被另一個事務修改並提交了。

  例如事務T1在讀取某一數據,而事務T2立馬修改了這個數據並且提交事務給資料庫,事務T1再次讀取該數據就得到了不同的結果,發送了不可重覆讀。

  不可重覆讀和臟讀的區別是,臟讀是某一事務讀取了另一個事務未提交的臟數據,而不可重覆讀則是讀取了前一事務提交的數據。

  在某些情況下,不可重覆讀並不是問題,比如我們多次查詢某個數據當然以最後查詢得到的結果為主。但在另一些情況下就有可能發生問題,例如對於同一個數據A和B依次查詢就可能不同,A和B就可能打起來了……

3,虛讀(幻讀)

  幻讀是事務非獨立執行時發生的一種現象。例如事務T1對一個表中所有的行的某個數據項做了從“1”修改為“2”的操作,這時事務T2又對這個表中插入了一行數據項,而這個數據項的數值還是為“1”並且提交給資料庫。而操作事務T1的用戶如果再查看剛剛修改的數據,會發現還有一行沒有修改,其實這行是從事務T2中添加的,就好像產生幻覺一樣,這就是發生了幻讀。

  幻讀和不可重覆讀都是讀取了另一條已經提交的事務(這點就臟讀不同),所不同的是不可重覆讀查詢的都是同一個數據項,而幻讀針對的是一批數據整體(比如數據的個數)。

 

  現在來看看MySQL資料庫為我們提供的四種隔離級別:

  ① Serializable (串列化):可避免臟讀、不可重覆讀、幻讀的發生。

  ② Repeatable read (可重覆讀):可避免臟讀、不可重覆讀的發生。

  ③ Read committed (讀已提交):可避免臟讀的發生。

  ④ Read uncommitted (讀未提交):最低級別,任何情況都無法保證。

 

  以上四種隔離級別最高的是Serializable級別,最低的是Read uncommitted級別,當然級別越高,執行效率就越低。像Serializable這樣的級別,就是以鎖表的方式(類似於Java多線程中的鎖)使得其他的線程只能在鎖外等待,所以平時選用何種隔離級別應該根據實際情況。在MySQL資料庫中預設的隔離級別為Repeatable read (可重覆讀)。

  在MySQL資料庫中,支持上面四種隔離級別,預設的為Repeatable read (可重覆讀);而在Oracle資料庫中,只支持Serializable (串列化)級別和Read committed (讀已提交)這兩種級別,其中預設的為Read committed級別。

  在MySQL資料庫中查看當前事務的隔離級別:

    select @@tx_isolation;

  在MySQL資料庫中設置事務的隔離 級別:

    set  [glogal | session]  transaction isolation level 隔離級別名稱;

    set tx_isolation=’隔離級別名稱;’

例1:查看當前事務的隔離級別:

  

例2:將事務的隔離級別設置為Read uncommitted級別:

  

或:

  

記住:設置資料庫的隔離級別一定要是在開啟事務之前!

  如果是使用JDBC對資料庫的事務設置隔離級別的話,也應該是在調用Connection對象的setAutoCommit(false)方法之前。調用Connection對象的setTransactionIsolation(level)即可設置當前鏈接的隔離級別,至於參數level,可以使用Connection對象的欄位:

  

在JDBC中設置隔離級別的部分代碼:

  

  後記:隔離級別的設置只對當前鏈接有效。對於使用MySQL命令視窗而言,一個視窗就相當於一個鏈接,當前視窗設置的隔離級別隻對當前視窗中的事務有效;對於JDBC操作資料庫來說,一個Connection對象相當於一個鏈接,而對於Connection對象設置的隔離級別隻對該Connection對象有效,與其他鏈接Connection對象無關。

原地址:https://www.cnblogs.com/fjdingsd/p/5273008.html

 

 

 

Spring七種事務的傳播屬性,五個隔離級別:
	七個事務傳播屬性
		 propagation_required -- 支持當前事務,如果當前沒有事務,就新建一個事務。這是最常見的選擇。
		 propagation_supports -- 支持當前事務,如果當前沒有事務,就以非事務方式執行。
		 propagation_mandatory -- 支持當前事務,如果當前沒有事務,就拋出異常。
		 propagation_requires_new -- 新建事務,如果當前存在事務,把當前事務掛起。
		 propagation_not_supported -- 以非事務方式執行操作,如果當前存在事務,就把當前事務掛起。
		 propagation_never -- 以非事務方式執行,如果當前存在事務,則拋出異常。
		 propagation_nested--如果當前存在事務,則在嵌套事務內執行。如果當前沒有事務,則進行與propagation_required類似的操作。

			1: PROPAGATION_REQUIRED
			加入當前正要執行的事務不在另外一個事務里,那麼就起一個新的事務
			比如說,ServiceB.methodB的事務級別定義為PROPAGATION_REQUIRED, 那麼由於執行ServiceA.methodA的時候,
			ServiceA.methodA已經起了事務,這時調用ServiceB.methodB,ServiceB.methodB看到自己已經運行在ServiceA.methodA
			的事務內部,就不再起新的事務。而假如ServiceA.methodA運行的時候發現自己沒有在事務中,他就會為自己分配一個事務。
			這樣,在ServiceA.methodA或者在ServiceB.methodB內的任何地方出現異常,事務都會被回滾。即使ServiceB.methodB的事務已經被
			提交,但是ServiceA.methodA在接下來fail要回滾,ServiceB.methodB也要回滾

			2: PROPAGATION_SUPPORTS
			如果當前在事務中,即以事務的形式運行,如果當前不再一個事務中,那麼就以非事務的形式運行

			3: PROPAGATION_MANDATORY
			必須在一個事務中運行。也就是說,他只能被一個父事務調用。否則,他就要拋出異常

			4: PROPAGATION_REQUIRES_NEW
			這個就比較繞口了。 比如我們設計ServiceA.methodA的事務級別為PROPAGATION_REQUIRED,ServiceB.methodB的事務級別為PROPAGATION_REQUIRES_NEW,
			那麼當執行到ServiceB.methodB的時候,ServiceA.methodA所在的事務就會掛起,ServiceB.methodB會起一個新的事務,等待ServiceB.methodB的事務完成以後,
			他才繼續執行。他與PROPAGATION_REQUIRED 的事務區別在於事務的回滾程度了。因為ServiceB.methodB是新起一個事務,那麼就是存在
			兩個不同的事務。如果ServiceB.methodB已經提交,那麼ServiceA.methodA失敗回滾,ServiceB.methodB是不會回滾的。如果ServiceB.methodB失敗回滾,
			如果他拋出的異常被ServiceA.methodA捕獲,ServiceA.methodA事務仍然可能提交。

			5: PROPAGATION_NOT_SUPPORTED
			當前不支持事務。比如ServiceA.methodA的事務級別是PROPAGATION_REQUIRED ,而ServiceB.methodB的事務級別是PROPAGATION_NOT_SUPPORTED ,
			那麼當執行到ServiceB.methodB時,ServiceA.methodA的事務掛起,而他以非事務的狀態運行完,再繼續ServiceA.methodA的事務。

			6: PROPAGATION_NEVER
			不能在事務中運行。假設ServiceA.methodA的事務級別是PROPAGATION_REQUIRED, 而ServiceB.methodB的事務級別是PROPAGATION_NEVER ,
			那麼ServiceB.methodB就要拋出異常了。

			7: PROPAGATION_NESTED
			理解Nested的關鍵是savepoint。他與PROPAGATION_REQUIRES_NEW的區別是,PROPAGATION_REQUIRES_NEW另起一個事務,將會與他的父事務相互獨立,
			而Nested的事務和他的父事務是相依的,他的提交是要等和他的父事務一塊提交的。也就是說,如果父事務最後回滾,他也要回滾的。
			而Nested事務的好處是他有一個savepoint。

			*****************************************
			ServiceA {

			/**
			* 事務屬性配置為 PROPAGATION_REQUIRED
			*/
			void methodA() {
			try {
			//savepoint
			ServiceB.methodB(); //PROPAGATION_NESTED 級別
			} catch (SomeException) {
			// 執行其他業務, 如 ServiceC.methodC();
			}
			}

			}
			********************************************
			也就是說ServiceB.methodB失敗回滾,那麼ServiceA.methodA也會回滾到savepoint點上,ServiceA.methodA可以選擇另外一個分支,比如
			ServiceC.methodC,繼續執行,來嘗試完成自己的事務。
			但是這個事務並沒有在EJB標準中定義。



	五種隔離級別
		isolation_default   這是一個platfromtransactionmanager預設的隔離級別,使用資料庫預設的事務隔離級別.另外四個與jdbc的隔離級別相對應;
		isolation_read_uncommitted  這是事務最低的隔離級別,它充許別外一個事務可以看到這個事務未提交的數據。這種隔離級別會產生臟讀,不可重覆讀和幻像讀。
		isolation_read_committed	保證一個事務修改的數據提交後才能被另外一個事務讀取。另外一個事務不能讀取該事務未提交的數據。這種事務隔離級別可以避免臟讀出現,但是可能會出現不可重覆讀和幻像讀。
		isolation_repeatable_read	這種事務隔離級別可以防止臟讀,不可重覆讀。但是可能出現幻像讀。它除了保證一個事務不能讀取另一個事務未提交的數據外,還保證了避免下麵的情況產生(不可重覆讀)。
		isolation_serializable		這是花費最高代價但是最可靠的事務隔離級別。事務被處理為順序執行。除了防止臟讀,不可重覆讀外,還避免了幻像讀。

  

 

看到這裡資料庫的4大特性, 原子性,一致性,隔離性,持久性.  隔離性有臟讀,不可重覆讀,幻讀. mysql提供了4種隔離級別防止臟讀之類的發生.  spring比mysql多例一種default, 

 


您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • 昨天是感恩節,上幼兒園的女兒在老師的叮囑下,晚上為我和老婆洗了腳(形式上的^_^),還給我們每人端了一杯水。看著孩子一天天的長大,懂事,感覺很開心。話說咱們程式員這麼辛苦是為了什麼?不就是為了老婆,孩子,熱炕頭,有一個溫暖幸福的家庭,再捎帶著用代碼改變一下世界嗎?想到這裡,頓時覺得學習,創作博客的勁... ...
  • 有人說,你應該關註時事、財經,甚至流行的電影、電視劇,才有可能趁著熱點寫出爆文;有人說,你別再寫“無聊”的技術文了,因為程式員的圈子真的很小,即便是像鴻祥那樣的招牌大牛,文章是那麼的乾貨,瀏覽量有多少?不到萬吧;有人說,你別妄想在寫作上面知識變現了,因為你寫的文章真的很不優秀,我都不愛看! 我想說, ...
  • Django中每一個模型model都對應於資料庫中的一張表,每個模型中的欄位都對應於資料庫表的列。方便的是,django可以自動生成這些create table, alter table, drop table的操作。其次Django為咱們也提供了後臺管理模塊(Django-Admin),主要功能是 ...
  • 原地址:https://www.cnblogs.com/hongten/p/hongten_java_sleep_wait.html ...
  • 1.網路通信協議 osi七層模型:按照分工不同把互聯網協議從邏輯上劃分了層級 socket層 2.理解socket: Socket是應用層與TCP/IP協議族通信的中間軟體抽象層,它是一組介面。在設計模式中,Socket其實就是一個門面模式,它把複雜的TCP/IP協議族隱藏在Socket介面後面,對 ...
  • 正常情況下,新激活的goroutine的結束過程是不可控制的,唯一可以保證終止goroutine的行為是main goroutine的終止。也就是說,我們並不知道哪個goroutine什麼時候結束。 但很多情況下,我們正需要知道goroutine是否完成。這需要藉助sync包的WaitGroup來實 ...
  • 1.C/S架構 C/S架構:Client與Server ,中文意思:客戶端與伺服器端架構,這種架構也是從用戶層面(也可是物理層面)來劃分的。這裡客戶端一般指需先安裝再執行的應用程式,對操作系統依賴性較大;服務端即是這類程式對應的伺服器。 B/S架構:browser/server,瀏覽器端與伺服器端架 ...
  • worker pool簡介 worker pool其實就是線程池thread pool。對於go來說,直接使用的是goroutine而非線程,不過這裡仍然以線程來解釋線程池。 線上程池模型中, 有2個隊列一個池子:任務隊列、已完成任務隊列和線程池 。其中已完成任務隊列可能存在也可能不存在,依據實際需 ...
一周排行
    -Advertisement-
    Play Games
  • 移動開發(一):使用.NET MAUI開發第一個安卓APP 對於工作多年的C#程式員來說,近來想嘗試開發一款安卓APP,考慮了很久最終選擇使用.NET MAUI這個微軟官方的框架來嘗試體驗開發安卓APP,畢竟是使用Visual Studio開發工具,使用起來也比較的順手,結合微軟官方的教程進行了安卓 ...
  • 前言 QuestPDF 是一個開源 .NET 庫,用於生成 PDF 文檔。使用了C# Fluent API方式可簡化開發、減少錯誤並提高工作效率。利用它可以輕鬆生成 PDF 報告、發票、導出文件等。 項目介紹 QuestPDF 是一個革命性的開源 .NET 庫,它徹底改變了我們生成 PDF 文檔的方 ...
  • 項目地址 項目後端地址: https://github.com/ZyPLJ/ZYTteeHole 項目前端頁面地址: ZyPLJ/TreeHoleVue (github.com) https://github.com/ZyPLJ/TreeHoleVue 目前項目測試訪問地址: http://tree ...
  • 話不多說,直接開乾 一.下載 1.官方鏈接下載: https://www.microsoft.com/zh-cn/sql-server/sql-server-downloads 2.在下載目錄中找到下麵這個小的安裝包 SQL2022-SSEI-Dev.exe,運行開始下載SQL server; 二. ...
  • 前言 隨著物聯網(IoT)技術的迅猛發展,MQTT(消息隊列遙測傳輸)協議憑藉其輕量級和高效性,已成為眾多物聯網應用的首選通信標準。 MQTTnet 作為一個高性能的 .NET 開源庫,為 .NET 平臺上的 MQTT 客戶端與伺服器開發提供了強大的支持。 本文將全面介紹 MQTTnet 的核心功能 ...
  • Serilog支持多種接收器用於日誌存儲,增強器用於添加屬性,LogContext管理動態屬性,支持多種輸出格式包括純文本、JSON及ExpressionTemplate。還提供了自定義格式化選項,適用於不同需求。 ...
  • 目錄簡介獲取 HTML 文檔解析 HTML 文檔測試參考文章 簡介 動態內容網站使用 JavaScript 腳本動態檢索和渲染數據,爬取信息時需要模擬瀏覽器行為,否則獲取到的源碼基本是空的。 本文使用的爬取步驟如下: 使用 Selenium 獲取渲染後的 HTML 文檔 使用 HtmlAgility ...
  • 1.前言 什麼是熱更新 游戲或者軟體更新時,無需重新下載客戶端進行安裝,而是在應用程式啟動的情況下,在內部進行資源或者代碼更新 Unity目前常用熱更新解決方案 HybridCLR,Xlua,ILRuntime等 Unity目前常用資源管理解決方案 AssetBundles,Addressable, ...
  • 本文章主要是在C# ASP.NET Core Web API框架實現向手機發送驗證碼簡訊功能。這裡我選擇是一個互億無線簡訊驗證碼平臺,其實像阿裡雲,騰訊雲上面也可以。 首先我們先去 互億無線 https://www.ihuyi.com/api/sms.html 去註冊一個賬號 註冊完成賬號後,它會送 ...
  • 通過以下方式可以高效,並保證數據同步的可靠性 1.API設計 使用RESTful設計,確保API端點明確,並使用適當的HTTP方法(如POST用於創建,PUT用於更新)。 設計清晰的請求和響應模型,以確保客戶端能夠理解預期格式。 2.數據驗證 在伺服器端進行嚴格的數據驗證,確保接收到的數據符合預期格 ...