最近在讀PostgreSQL的官方文檔,PostgreSQL支持SQL標準定義的讀未提交、讀已提交、可重復讀、可串行化這4個事務隔離級別。而內(nèi)部其實只有讀已提交,可重復讀和可串行化這3種獨立的隔離級別,所以文檔里只說明了這3種隔離級別。問題是文檔里的說明比較生硬,看完似懂非懂。有沒有哪位大神幫我通俗的解釋一下這4個事務隔離級別啊?
我認為要理解事務隔離級別,就必須先理解"臟讀","不可重復讀"和"幻讀"這三個現(xiàn)象。因此我會以下表為例直觀說明這三種讀的具體現(xiàn)象。
這種現(xiàn)象出現(xiàn)在事物間的隔離級別最差的場景下,寫事務對一個元組的更新尚未提交時就被另一個事務讀到了。如果在一個業(yè)務應用中,寫事務后面沒提交而是回滾了,那么可以預見這個讀事務讀到的這個未提交的更新在某些業(yè)務場景下可能會帶來一些困擾。
這種現(xiàn)象比上面的臟讀好一點,只有當寫事務提交后,這個更新才會被讀事務讀取到。但是考慮到如上圖所示,在同一個事務中的不同時間點意圖讀取同一個元組卻讀到了不同的數(shù)據(jù),在某些業(yè)務場景下可能也會帶來一些困擾。
劃重點: "臟讀"和"不可重復讀"這兩個現(xiàn)象針對的是對于表中的同一個邏輯上的元組而言.引發(fā)"臟讀"和"不可重復讀"這兩個現(xiàn)象的寫事務的操作通常是UPDATE
幻讀這一現(xiàn)象針對的已不是表中的單一元組而言,而是指讀事務在對表中的某個范圍多個元組而言的一種現(xiàn)象,引發(fā)幻讀的寫事務對應的操作通常是INSERT或DELETE。如下圖所示:
在同一個讀事務中,對于同一個過濾條件查詢出了不同的結果集,這在某些業(yè)務場景下也有可能帶來一定的困擾。
上面這些就是關于"臟讀","不可重復讀"以及"幻讀"這三個現(xiàn)象的介紹。除此之外,這邊還需要再強調(diào)兩個注意點:
但事實上,它并非"不可重復讀"的例子。因為在會話2中沒有開啟顯式事務,因此兩個SELECT語句分屬于不同事務。"臟讀","不可重復讀"以及"幻讀"的概念不適用于不同的事務之間的讀操作。
理解清楚了以上的這三個"讀"的概念后,就可以很容易的理解事務隔離級別了。因為事務隔離級別的設置本質(zhì)上就意味著讓你控制并發(fā)事務之間的寫事務帶來的數(shù)據(jù)更新的可見性——即,你允許業(yè)務中的并發(fā)事務之間出現(xiàn)怎樣的都現(xiàn)象. 由于"臟讀","不可重復讀"以及"幻讀"的概念是一種層層遞進的概念,因此事務隔離級別從"Read Uncommited"到"Serializable"也是一個比一個嚴格。
隔離級別 | 臟讀 | 不可重復讀 | 幻讀 |
---|---|---|---|
READ UNCOMMITTED | 允許 | 可能 | 可能 |
READ COMMITTED | 不允許 | 可能 | 可能 |
REPEATABLE READ | 不允許 | 不允許 | 可能 |
SERIALIZABLE | 不允許 | 不允許 | 不允許 |
需要注意的是,SQL標準中對于這些隔離級別定義中約束的"不允許"現(xiàn)象是強制要求的。數(shù)據(jù)庫廠商在宣稱支持某個隔離級別時,必須將上表中對應隔離級別的"不允許"進行實現(xiàn)。但是對于"可能"項則不代表你必須實現(xiàn)成具備某種都現(xiàn)象。在PostgreSQL中,由于其MVCC的實現(xiàn),REPEATABLE READ
對于讀事務的行為實現(xiàn)也和SERIALIZABLE
一樣是不會出現(xiàn)幻讀的,而REPEATABLE READ
和SERIALIZABLE
的區(qū)別,主要體現(xiàn)在下文所述的對更新操作的約束力度上。
此外,需要特別說明一下SERIALIZABLE這個隔離級別對于并發(fā)寫事務有所約束:
在其他隔離級別中,如果并發(fā)的兩個事務同時意圖對同一個元組進行更新時, 后更新的事務會等待直到先更新的事務提交后在繼續(xù)執(zhí)行其更新操作。 但是在SERIALIZABLE的情況下,由于此時事務隔離級別最強,會對有可能對讀一致性帶來影響的寫操作必須按照事務的串行執(zhí)行。在PG的實現(xiàn)中,這表現(xiàn)為嘗試對于同一元組進行更新的并發(fā)事務會在等待完先更新的事務提交后自己報個錯:
在SERIALIZABLE隔離級別下,對于上圖中的兩個更新事務若都希望成功,需要保證右邊會話的更新操作所屬事務的START TRANSACTION
必須發(fā)生在左邊會話的更新事務COMMIT
之后。
以上,就是關于事務隔離級別的那點兒事,希望我這個回答能夠幫題主解惑。
北大青鳥APTECH成立于1999年。依托北京大學優(yōu)質(zhì)雄厚的教育資源和背景,秉承“教育改變生活”的發(fā)展理念,致力于培養(yǎng)中國IT技能型緊缺人才,是大數(shù)據(jù)專業(yè)的國家
北大青鳥中博軟件學院創(chuàng)立于2003年,作為華東區(qū)著名互聯(lián)網(wǎng)學院和江蘇省首批服務外包人才培訓基地,中博成功培育了近30000名軟件工程師走向高薪崗位,合作企業(yè)超4
中公教育集團創(chuàng)建于1999年,經(jīng)過二十年潛心發(fā)展,已由一家北大畢業(yè)生自主創(chuàng)業(yè)的信息技術與教育服務機構,發(fā)展為教育服務業(yè)的綜合性企業(yè)集團,成為集合面授教學培訓、網(wǎng)
達內(nèi)教育集團成立于2002年,是一家由留學海歸創(chuàng)辦的高端職業(yè)教育培訓機構,是中國一站式人才培養(yǎng)平臺、一站式人才輸送平臺。2014年4月3日在美國成功上市,融資1
曾工作于聯(lián)想擔任系統(tǒng)開發(fā)工程師,曾在博彥科技股份有限公司擔任項目經(jīng)理從事移動互聯(lián)網(wǎng)管理及研發(fā)工作,曾創(chuàng)辦藍懿科技有限責任公司從事總經(jīng)理職務負責iOS教學及管理工作。
浪潮集團項目經(jīng)理。精通Java與.NET 技術, 熟練的跨平臺面向對象開發(fā)經(jīng)驗,技術功底深厚。 授課風格 授課風格清新自然、條理清晰、主次分明、重點難點突出、引人入勝。
精通HTML5和CSS3;Javascript及主流js庫,具有快速界面開發(fā)的能力,對瀏覽器兼容性、前端性能優(yōu)化等有深入理解。精通網(wǎng)頁制作和網(wǎng)頁游戲開發(fā)。
具有10 年的Java 企業(yè)應用開發(fā)經(jīng)驗。曾經(jīng)歷任德國Software AG 技術顧問,美國Dachieve 系統(tǒng)架構師,美國AngelEngineers Inc. 系統(tǒng)架構師。