上次我們?cè)谧詈笠徊糠?#xff0c;給出了一個(gè)事務(wù)操作的模型和內(nèi)部簡(jiǎn)單實(shí)現(xiàn)的方式，以期讓大家能針對(duì)事務(wù)有一個(gè)比較簡(jiǎn)單的印象。今天，我就嘗試針對(duì)事務(wù)的基本特性做一個(gè)簡(jiǎn)單的概述。當(dāng)然，因?yàn)槿匀皇歉攀?#xff0c;所以不會(huì)特別深入的去介紹和分析內(nèi)部的機(jī)制，只希望能夠?qū)⒁恍╇y以理解的概念，用舉例子的方式協(xié)助大家能夠更容易的理解事務(wù)的基本概念。

談到事務(wù)，我們要做的第一件事，就是理解，什么叫做事務(wù)，以及為什么要有事務(wù)。

事務(wù)這個(gè)概念的產(chǎn)生，仍然是為了解決我們?cè)谥疤岬降拇蜃謾C(jī)問(wèn)題:
(

http://blog.sina.com.cn/s/blog_693f08470101l1n1.html)

像我們?cè)谏衔闹刑岬降?#xff0c;計(jì)算機(jī)只是一個(gè)圖靈機(jī)，所以，如果計(jì)算機(jī)要實(shí)現(xiàn)我們現(xiàn)實(shí)的世界的一些操作模式，只能靠模擬的方式進(jìn)行。上次我們是使用鎖來(lái)處理一次寫請(qǐng)求過(guò)程里面對(duì)應(yīng)的多次計(jì)算機(jī)操作的時(shí)候怎么看起來(lái)像是一次整體的操作。而在這里我們要解決的問(wèn)題是，一組用戶的多次寫入和讀取操作，怎么能夠被看起來(lái)像是一次整體的操作呢？首先，讓我用個(gè)例子來(lái)看看為什么需要這樣做。

為了后面敘述方便，讓我們先設(shè)定一個(gè)實(shí)際的環(huán)境場(chǎng)景：梅梅給李雷打了一個(gè)電話，說(shuō)最近想買一本英語(yǔ)書，需要一百元，李雷得知梅梅的請(qǐng)求，二話不說(shuō)就開(kāi)始操作他的網(wǎng)銀給梅梅做了轉(zhuǎn)賬付款：
假定李雷賬戶是pk=1,韓梅梅的賬戶是pk=2
begintransaction;
{查看李雷是否有一百元}
selectcashfromTwherepk=1;A操作
{確定有足夠的錢，減少李雷的錢}
updateTsetcash=cach-100wherepk=1;B操作
{給韓梅梅增加一百元}
updateTsetcach=cash+100wherepk=2;C操作
commit;好，我想我針對(duì)事務(wù)場(chǎng)景的場(chǎng)景應(yīng)該描述清楚了。

首先我們來(lái)介紹原子性

從業(yè)務(wù)需求來(lái)說(shuō)，我們必須保證，只要李雷的賬戶減少了100塊，那么這一百塊必須能夠加到韓梅梅的賬戶里。如果中間有任何一個(gè)操作失敗，系統(tǒng)不能夠憑空多出一百元（李雷沒(méi)有減錢，韓梅梅卻加了錢），也不能憑空少了一百元（李雷減少了一百元，韓梅梅賬戶卻沒(méi)增加）。
為了做到這個(gè)特性，就必須保證李雷賬戶減錢與韓梅梅賬戶加錢這兩件事，要么同時(shí)成功，要么同時(shí)不成功。
這就是事務(wù)中的第一個(gè)重要的概念：原子性的含義

下面我們來(lái)介紹一致性
當(dāng)看到自己的賬戶減少了一百塊以后，李雷問(wèn)電話那頭的梅梅：“梅梅，我看我這里操作成功了，你那里收到錢了沒(méi)？”。如果這時(shí)候梅梅跟李雷說(shuō)：”雷~我沒(méi)看見(jiàn)我賬戶的錢有變化啊“。
想一想，這時(shí)候李雷會(huì)是什么感覺(jué)？他的心里一定會(huì)”咯噔“一下，錢不會(huì)是丟了吧？趕緊給支付寶打電話確認(rèn)怎么回事！

這里的這種情況，就是一致性沒(méi)有保證而可能出現(xiàn)的一種情況，簡(jiǎn)單來(lái)說(shuō)，就是其他用戶看到了事務(wù)三步操作過(guò)程中的中間狀態(tài)信息，這種信息是明顯反用戶常識(shí)的，所以應(yīng)該盡可能被避免。
因此我做個(gè)簡(jiǎn)單小結(jié)，這里我們需要能夠保證，當(dāng)李雷看到自己賬戶減少了100元的時(shí)候，韓梅梅的賬戶里也必須能夠看到增加了一百元。
這種要么同時(shí)出現(xiàn)，要么同時(shí)消失的保證，就是事務(wù)一致性。在看到這里的時(shí)候，相信一定會(huì)有人來(lái)問(wèn)，這個(gè)一致性和原子性，看起來(lái)都是要么成功，要么不成功的感覺(jué)，那么這兩個(gè)概念有什么差異呢？

恩，下面我就來(lái)嘗試解決這個(gè)疑惑吧～
區(qū)分這倆概念的關(guān)鍵，其實(shí)在一個(gè)”看”字，一致性約束的是一個(gè)用戶寫入并提交數(shù)據(jù)之后，其他用戶去去讀這條記錄的時(shí)候，要么看到的是李雷還沒(méi)有給韓梅梅轉(zhuǎn)賬的那個(gè)狀態(tài)，要么就是李雷已經(jīng)成功轉(zhuǎn)賬給了韓梅梅的狀態(tài)，而在這兩個(gè)狀態(tài)之間的事務(wù)狀態(tài)，比如李雷減少了100元，但韓梅梅還沒(méi)加上這一百塊的這個(gè)中間狀態(tài)則不能夠被其他人看到。而原子性只需要保證操作要么”最終“全部成功，要么”最終“全部失敗而已。原子性不約束可見(jiàn)性，只保證操作的邏輯性。
這，就是一致性和原子性保證的差別。

最后，我們來(lái)介紹持久性
我想，任何用戶都一定不希望下述的這種情況發(fā)生：李雷和韓梅梅都已經(jīng)確認(rèn)這次轉(zhuǎn)賬成功了。然而過(guò)了5分鐘，韓梅梅想用這充滿了感情的100元去買他想要的英語(yǔ)書的時(shí)候，卻發(fā)現(xiàn)錢不翼而飛了！？于是趕緊給支付寶打電話詢問(wèn)，支付寶卻回答說(shuō)：對(duì)不起您那賬戶的數(shù)據(jù)庫(kù)服務(wù)器重啟了，丟失了一部分的數(shù)據(jù)，您賬戶里的那個(gè)錢正好在丟失范圍內(nèi)，請(qǐng)節(jié)哀。
我想這時(shí)候應(yīng)該有(bi….)的動(dòng)機(jī)了吧:)

于是，這里就需要做一個(gè)很基礎(chǔ)的保證：如果一個(gè)事務(wù)結(jié)束后，已經(jīng)被其他人看到了，那么就不能夠回退到事務(wù)之前的狀態(tài)了。
這就是事務(wù)的第三個(gè)重要的概念：持久性的含義

好了，我們介紹了三個(gè)關(guān)鍵的概念，原子性A，一致性C，持久性D。下課~

可能有看過(guò)其他數(shù)據(jù)庫(kù)書籍的人會(huì)問(wèn)了：”等等，你這不對(duì)吧？事務(wù)不是四個(gè)特性么？別忽悠我們啊，我們明天面試還得背這些概念呢，要不找不到工作啊～”

好好好，我馬上來(lái)介紹隔離性。。。

其實(shí)，我將隔離性從上面幾個(gè)屬性中剝離出來(lái)，是有我自己的考慮的，主要原因是我個(gè)人認(rèn)為，隔離性從邏輯概念上不與上面介紹的ACD平級(jí)。為什么這么說(shuō)呢？我的理由是，如果要模擬現(xiàn)實(shí)中發(fā)生的各種操作，只需要保證ACD三個(gè)屬性，就能夠完美的完成一次事務(wù)操作了，隔離性則明顯是多余的。。

”那么，既然多余，去掉不就好了。。還留著他干啥？不知道這個(gè)隔離性是最（biiiii…）復(fù)雜的概念么，上次面試就因?yàn)闆](méi)說(shuō)明白這貨所以面試被鄙視了呢！”

唉，這還真去不掉，因?yàn)槿サ袅?#xff0c;數(shù)據(jù)庫(kù)的事務(wù)就慢的受不了了。。所以數(shù)據(jù)庫(kù)開(kāi)山的那批大牛也就不顧邏輯的清晰不清晰了，把這個(gè)概念加入了事務(wù)的四大要素。

從這件事，我們也就能感受到這個(gè)概念對(duì)性能的重要性了吧。。甚至可以說(shuō)，數(shù)據(jù)庫(kù)事務(wù)性能是否能夠提升，關(guān)鍵就看你能接受哪個(gè)隔離級(jí)別了呢！

咋樣？是不是對(duì)這個(gè)概念肅然起敬了？好，那么我們就來(lái)看看隔離性是個(gè)什么東西。

首先，明確隔離性要解決的問(wèn)題域，與上面為了保證一次事務(wù)提交邏輯上的正確性不同的，隔離性主要解決的問(wèn)題是性能，或者更直接點(diǎn)，就是盡可能的降低受到鎖影響的事務(wù)進(jìn)程的個(gè)數(shù)的。

然后，看他解決問(wèn)題的方法：
在之前我們提到，一致性要保證數(shù)據(jù)被其他人看到的時(shí)候必須是一個(gè)完整的數(shù)據(jù)狀態(tài)，數(shù)據(jù)更新過(guò)程中的中間狀態(tài)則不能被看到。
好了，大牛們剛剛說(shuō)了限定條件，下面立馬給自己來(lái)了個(gè)響亮的自抽。。

隔離性的最低級(jí)別，就是讀未提交
什么叫讀未提交呢？我們來(lái)抄維基。。
讀未提交，可能出現(xiàn)臟讀，當(dāng)一個(gè)事務(wù)試圖讀取另一個(gè)還未提交的事務(wù)正在修改的某一行數(shù)據(jù)時(shí)，骯臟讀取(dirtyreads)就會(huì)發(fā)生。

簡(jiǎn)單來(lái)說(shuō)，就是一個(gè)事務(wù)，需要同時(shí)更新兩張表的數(shù)據(jù)，而另一個(gè)人去讀這兩張表的數(shù)據(jù)的時(shí)候，可能能夠讀到一張表的新值和另外一張表的老值！
這明顯就違反了一致性不是：）

其實(shí)，從我上面舉出的例子，你就能感受到，一致性和隔離性應(yīng)該被一起考慮，一致性描述的是理想的事務(wù)過(guò)程應(yīng)該怎樣，而理想的事務(wù)因?yàn)殒i的范圍太大以至于性能難以接受，所以就使用隔離性的多個(gè)隔離級(jí)別來(lái)破壞一致性應(yīng)該給出的保證，以換取更小的鎖范圍，從而獲取更高的性能。

在這一篇，我不會(huì)擴(kuò)展隔離性這個(gè)概念，因?yàn)槿绻宦?lián)系實(shí)際的數(shù)據(jù)庫(kù)實(shí)現(xiàn)而死記硬背各種隔離級(jí)別的概念，我覺(jué)得太難理解這個(gè)概念了。

因此，我將在后面展開(kāi)討論事務(wù)和分布式事務(wù)的章節(jié)再來(lái)關(guān)注隔離性的四個(gè)級(jí)別的問(wèn)題。在這里，如果你回顧本篇的時(shí)候，如果能回想起原子，一致，持久這三個(gè)特性產(chǎn)生的原因，然后又能理解到隔離性主要解決的問(wèn)題域，以及從最低級(jí)別：讀未提交，到最高級(jí)別：可序列化，隔離性的本質(zhì)就是一個(gè)鎖的范圍逐漸擴(kuò)大，性能逐漸降低，但能提供更強(qiáng)級(jí)別的一致性保證的這么一個(gè)特征。那么我的目標(biāo)也就達(dá)到了。

隨著隔離性概要介紹的完結(jié)，數(shù)據(jù)庫(kù)系統(tǒng)概述這一章也就隨著這篇概述的結(jié)束而結(jié)束了，在本章，我寫作的主要目標(biāo)就是，用盡可能具象化的例子來(lái)對(duì)一個(gè)數(shù)據(jù)庫(kù)系統(tǒng)做了一個(gè)概要性的描述。
下面，我會(huì)在后面的章節(jié)開(kāi)始深入到分布式存儲(chǔ)的一些重要的領(lǐng)域進(jìn)行更深入的探討。

enjoy～

轉(zhuǎn)載于:https://blog.51cto.com/aliapp/1325377

總結(jié)

以上是生活随笔為你收集整理的李雷和韩梅梅的一次转账事务–事务系统概述的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問(wèn)題。

如果覺(jué)得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。