數(shù)據(jù)庫(kù)事務(wù)隔離的級(jí)別-創(chuàng)新互聯(lián)

本篇內(nèi)容介紹了“數(shù)據(jù)庫(kù)事務(wù)隔離的級(jí)別”的有關(guān)知識(shí)，在實(shí)際案例的操作過(guò)程中，不少人都會(huì)遇到這樣的困境，接下來(lái)就讓小編帶領(lǐng)大家學(xué)習(xí)一下如何處理這些情況吧！希望大家仔細(xì)閱讀，能夠?qū)W有所成！

成都創(chuàng)新互聯(lián)長(zhǎng)期為千余家客戶提供的網(wǎng)站建設(shè)服務(wù)，團(tuán)隊(duì)從業(yè)經(jīng)驗(yàn)10年，關(guān)注不同地域、不同群體，并針對(duì)不同對(duì)象提供差異化的產(chǎn)品和服務(wù)；打造開(kāi)放共贏平臺(tái)，與合作伙伴共同營(yíng)造健康的互聯(lián)網(wǎng)生態(tài)環(huán)境。為甘州企業(yè)提供專業(yè)的成都網(wǎng)站設(shè)計(jì)、網(wǎng)站制作、外貿(mào)營(yíng)銷網(wǎng)站建設(shè)，甘州網(wǎng)站改版等技術(shù)服務(wù)。擁有十余年豐富建站經(jīng)驗(yàn)和眾多成功案例,為您定制開(kāi)發(fā)。

1 概述與背景

這是數(shù)據(jù)庫(kù)事務(wù)原理和工程實(shí)踐系列文章的第一篇，本文主要在Jim Gray的論文<A Critique of ANSI SQL Isolation Levels>基礎(chǔ)上分析關(guān)系數(shù)據(jù)庫(kù)的事務(wù)隔離級(jí)別標(biāo)準(zhǔn)和不同隔離級(jí)別情況下的行為。第2節(jié)主要討論ANSI標(biāo)準(zhǔn)的下的隔離級(jí)別，第3節(jié)主要討論基于悲觀鎖實(shí)現(xiàn)的事務(wù)隔離級(jí)別，第4節(jié)主要討論基于多版本技術(shù)的事務(wù)隔離，最后總結(jié)排序本文討論到的各個(gè)隔離級(jí)別。

ACID是關(guān)系數(shù)據(jù)庫(kù)的一組重要特性，其中Isolation（隔離性）描述了數(shù)據(jù)庫(kù)允許多個(gè)并發(fā)事務(wù)同時(shí)對(duì)其數(shù)據(jù)進(jìn)行讀寫(xiě)和修改的能力，隔離性可以防止多個(gè)事務(wù)并發(fā)時(shí)由于交錯(cuò)執(zhí)行而導(dǎo)致數(shù)據(jù)的不一致。在最極端的情況下，數(shù)據(jù)庫(kù)完全串行化執(zhí)行每一個(gè)事務(wù)，所有事務(wù)之間遵守全序關(guān)系，在這種情況下，不存在并發(fā)事務(wù)間的隔離問(wèn)題，但是在實(shí)際工程實(shí)踐中，處于對(duì)數(shù)據(jù)庫(kù)性能吞吐量的考慮，允許多個(gè)事務(wù)之間按照一定的規(guī)則，打破串行話的全序關(guān)系，ANSI SQL Isolation Levels即規(guī)定了這種“規(guī)則”，通過(guò)將隔離性劃分為4個(gè)級(jí)別，來(lái)?yè)Q取多層級(jí)的事務(wù)間并發(fā)能力（即數(shù)據(jù)庫(kù)的吞吐能力）。

注，本文內(nèi)容融入了作者個(gè)人的理解，并沒(méi)有嚴(yán)格遵守<A Critique of ANSI SQL Isolation Levels>原文的內(nèi)容；其中cursor stability隔離級(jí)別將在后續(xù)文章中討論，快照隔離級(jí)別與ANSI標(biāo)準(zhǔn)異象的比較也有所不同。

2 ANSI事務(wù)隔離級(jí)別

ANSI SQL-92標(biāo)準(zhǔn)(http://www.contrib.andrew.cmu.edu/~shadow/sql/sql1992.txt)將數(shù)據(jù)庫(kù)并發(fā)事務(wù)間的隔離性行為劃分為3種"異象(phenomena)"，從低到高的自然語(yǔ)言定義依次為：

1. P1 臟讀 ("Dirty read"): SQL-transaction T1 modifies a row. SQL- transaction T2 then reads that row before T1 performs a COMMIT. If T1 then performs a ROLLBACK, T2 will have read a row that was never committed and that may thus be considered to have never existed. 

2. P2 不可重復(fù)讀 ("Non-repeatable read"): SQL-transaction T1 reads a row. SQL- transaction T2 then modifies or deletes that row and performs a COMMIT. If T1 then attempts to reread the row, it may receive the modified value or discover that the row has been deleted. 

3. P3 幻讀 ("Phantom"): SQL-transaction T1 reads the set of rows N that satisfy some <search condition>. SQL-transaction T2 then executes SQL-statements that generate one or more rows that satisfy the <search condition> used by SQL-transaction T1. If SQL-transaction T1 then repeats the initial read with the same <search condition>, it obtains a different collection of rows.

通過(guò)依次禁止這三種異象，ANSI確定了4種標(biāo)準(zhǔn)隔離級(jí)別，如下表所示：

級(jí)別	P1(臟讀)	P2(不可重復(fù)讀)	P3(幻讀)
Read Uncommitted	允許	允許	允許
Read Committed	禁止	允許	允許
Repeatable Read	禁止	禁止	允許
(Anomaly) Serializable	禁止	禁止	禁止
Note: The exclusion of these penomena or SQL-transactions executing at isolation level SERIALIZABLE is a consequence of the requirement that such transactions be serializable.

如標(biāo)準(zhǔn)文檔所述，禁止了P1/P2/P3異象的事務(wù)即滿足Serializable級(jí)別，但矛盾的是，標(biāo)準(zhǔn)文檔中對(duì)Serializable又做了如下說(shuō)明：

The execution of concurrent SQL-transactions at isolation level SERIALIZABLE is guaranteed to be serializable. A serializable execution is defined to be an execution of the operations of concurrently executing SQL-transactions that produces the same effect as some serial execution of those same SQL-transactions

它要求多個(gè)并發(fā)事務(wù)執(zhí)行的效果與某種串行化執(zhí)行的效果一致，但是僅僅禁止P1/P2/P3異象，并不一定能夠保證“serial execution”的效果，因此論文中將ANSI Serializable稱為Anomaly Serializable。

P1/P2/P3的形式化描述

根據(jù)標(biāo)準(zhǔn)文檔的定義，可以將這三種異象使用形式化語(yǔ)言描述如下，稱為A1/A2/A3（其中w1[x]表示事務(wù)1寫(xiě)入記錄x，r1表示事務(wù)1讀取記錄x，c1表示事務(wù)1提交，a1表示事務(wù)1回滾，r1[P]表示事務(wù)1按照謂詞P的條件讀取若干條記錄，w1[y in P]表示事務(wù)1寫(xiě)入記錄y滿足謂詞P的條件）：

• A1 臟讀：w1[x] ... r2[x] ... (a1 and c2 in any order)
  

• A2 不可重復(fù)讀：r1[x] ... w2[x] ... c2 ... r1[x] ... c1
  

• A3 幻讀：r1[P] ... w2[y in P] ... c2 ... r1[P] ... c1
  

上述A1/A2/A3形式化描述，根據(jù)標(biāo)準(zhǔn)定義的P1/P2/P3異象的自然語(yǔ)言描述轉(zhuǎn)化而來(lái)，但是ANSI標(biāo)準(zhǔn)定義的異象只針對(duì)了單個(gè)記錄或謂詞描述，對(duì)于多條記錄需滿足業(yè)務(wù)一致性的場(chǎng)景并未能覆蓋（比如兩個(gè)賬戶間轉(zhuǎn)賬要求余額總和不變），舉例如下：

• H1：r1[x=50]w1[x=10] r2[x=10]r2[y=50]c2 r1[y=50]w1[y=90] c1

• 事務(wù)1執(zhí)行賬戶x向賬戶y轉(zhuǎn)賬40，事務(wù)2讀取到了進(jìn)行到了一半的事務(wù)1（Read Uncommitted），破壞了余額總和的一致性

• 因?yàn)槭聞?wù)1并未回滾，H1的行為并不符合A1的形式化定義

• H2：r1[x=50]
  

  Read Lock	Write Lock
  Locking Read Uncommited	none required	Well-formed Writes, Long duration Write locks
  Locking Read Commited	Well-formed Reads, Short duration read lock	Well-formed Writes, Long duration Write locks
  Locking Repeatable Read	Well-formed Reads, Long duration data-item Read locks, Short duration Read Predicate locks	Well-formed Writes Long duration Write locks
  Locking Serializable	Well-formed Reads, Long duration Read locks	Well-formed Writes Long duration Write locks

  將locking標(biāo)記的四種隔離級(jí)別與ANSI隔離級(jí)別對(duì)比：

• Well-formed Reads, Short duration read lockRead Uncommitted < Read Committed < (Repeatable Read >< Snapshot) < Serializable

  本文首先介紹了ANSI基于“異象”的隔離級(jí)別標(biāo)準(zhǔn)，并分析了其狹義和廣義的描述；然后介紹了基于鎖的隔離級(jí)別標(biāo)準(zhǔn)，與ANSI隔離級(jí)別進(jìn)行了比較；最后分析快照隔離級(jí)別，在ANSI隔離級(jí)別標(biāo)準(zhǔn)基礎(chǔ)上，提出了兩種新的“異象”，得出快照隔離在幾種標(biāo)準(zhǔn)隔離級(jí)別特性中的位置。

“數(shù)據(jù)庫(kù)事務(wù)隔離的級(jí)別”的內(nèi)容就介紹到這里了，感謝大家的閱讀。如果想了解更多行業(yè)相關(guān)的知識(shí)可以關(guān)注創(chuàng)新互聯(lián)-成都網(wǎng)站建設(shè)公司網(wǎng)站，小編將為大家輸出更多高質(zhì)量的實(shí)用文章！

文章名稱：數(shù)據(jù)庫(kù)事務(wù)隔離的級(jí)別-創(chuàng)新互聯(lián)
網(wǎng)站鏈接：http://bm7419.com/article36/ceodpg.html

成都網(wǎng)站建設(shè)公司_創(chuàng)新互聯(lián)，為您提供網(wǎng)站排名、標(biāo)簽優(yōu)化、網(wǎng)站策劃、Google、面包屑導(dǎo)航、網(wǎng)頁(yè)設(shè)計(jì)公司

廣告

聲明：本網(wǎng)站發(fā)布的內(nèi)容（圖片、視頻和文字）以用戶投稿、用戶轉(zhuǎn)載內(nèi)容為主，如果涉及侵權(quán)請(qǐng)盡快告知，我們將會(huì)在第一時(shí)間刪除。文章觀點(diǎn)不代表本網(wǎng)站立場(chǎng)，如需處理請(qǐng)聯(lián)系客服。電話：028-86922220；郵箱：631063699@qq.com。內(nèi)容未經(jīng)允許不得轉(zhuǎn)載，或轉(zhuǎn)載時(shí)需注明來(lái)源： 創(chuàng)新互聯(lián)