什么是事務指么？
事務是一組原子性的sql語句旬薯，或者說是一個獨立的工作單元效诅。事務有四個特性布隔，原子性(Atomicity),一致性(Consistency),隔離型(Isolation)以及持久性(Durability)。今天想跟大家一起研究下事務內(nèi)部到底是怎么實現(xiàn)的澎迎。
事務無非是要做到可靠性以及并發(fā)處理
可靠性：數(shù)據(jù)庫要保證當insert或update操作時拋異陈睿或者數(shù)據(jù)庫crash的時候需要保障數(shù)據(jù)的操作前后的一致，想要做到這個夹供，我需要知道我修改之前和修改之后的狀態(tài)灵份，所以就有了undo log和redo log。
并發(fā)處理：也就是說當多個并發(fā)請求過來罩引，并且其中有一個請求是對數(shù)據(jù)修改操作的時候會有影響各吨，為了避免讀到臟數(shù)據(jù)枝笨，所以需要對事務之間的讀寫進行隔離袁铐，至于隔離到啥程度得看業(yè)務系統(tǒng)的場景了，實現(xiàn)這個就得用MySQL 的隔離級別横浑。
下面我首先講實現(xiàn)事務功能的三個技術剔桨，分別是日志文件(redo log 和 undo log)，鎖技術以及MVCC徙融，然后再講事務的實現(xiàn)原理洒缀，包括原子性是怎么實現(xiàn)的，隔離型是怎么實現(xiàn)的等等欺冀。最后在做一個總結(jié)树绩，希望大家能夠耐心看完
redo log與undo log介紹
mysql鎖技術以及MVCC基礎
事務的實現(xiàn)原理
總結(jié)

一、redo log 與 undo log介紹

1.redo log
什么是redo log ?
redo log叫做重做日志隐轩，用來實現(xiàn)事務的持久性饺饭。該日志文件由兩部分組成：重做日志緩沖（redo log buffer）以及重做日志文件（redo log）,前者是在內(nèi)存中，后者在磁盤中职车。當事務提交之后會把所有修改信息都會存到該日志中瘫俊。
redo log 有什么作用？
mysql 為了提升性能不會把每次的修改都實時同步到磁盤悴灵，而是會先存到Boffer Pool(緩沖池)里頭扛芽，把這個當作緩存來用。然后使用后臺線程去做緩沖池和磁盤之間的同步积瞒。
那么問題來了川尖，如果還沒來的同步的時候宕機或斷電了怎么辦？還沒來得及執(zhí)行上面圖中紅色的操作茫孔。這樣會導致丟部分已提交事務的修改信息叮喳！
所以引入了redo log來記錄已成功提交事務的修改信息庐船，并且會把redo log持久化到磁盤，系統(tǒng)重啟之后在讀取redo log恢復最新數(shù)據(jù)嘲更。
總結(jié)：
redo log是用來恢復數(shù)據(jù)的用于保障筐钟，已提交事務的持久化特性
2.undo log
什么是 undo log ？
undo log 叫做回滾日志赋朦，用于記錄數(shù)據(jù)被修改前的信息篓冲。他正好跟前面所說的重做日志所記錄的相反，重做日志記錄數(shù)據(jù)被修改后的信息宠哄。undo log主要記錄的是數(shù)據(jù)的邏輯變化壹将，為了在發(fā)生錯誤時回滾之前的操作，需要將之前的操作都記錄下來毛嫉，然后在發(fā)生錯誤時才可以回滾诽俯。
undo log 有什么作用？
undo log 記錄事務修改之前版本的數(shù)據(jù)信息承粤，因此假如由于系統(tǒng)錯誤或者rollback操作而回滾的話可以根據(jù)undo log的信息來進行回滾到?jīng)]被修改前的狀態(tài)暴区。
總結(jié)：
undo log是用來回滾數(shù)據(jù)的用于保障未提交事務的原子性

二、mysql鎖技術以及MVCC基礎

1.mysql鎖技術
當有多個請求來讀取表中的數(shù)據(jù)時可以不采取任何操作辛臊，但是多個請求里有讀請求仙粱，又有修改請求時必須有一種措施來進行并發(fā)控制。不然很有可能會造成不一致彻舰。
讀寫鎖
解決上述問題很簡單伐割，只需用兩種鎖的組合來對讀寫請求進行控制即可，這兩種鎖被稱為：
共享鎖(shared lock),又叫做"讀鎖"
讀鎖是可以共享的刃唤，或者說多個讀請求可以共享一把鎖讀數(shù)據(jù)隔心，不會造成阻塞。
排他鎖(exclusive lock),又叫做"寫鎖"
寫鎖會排斥其他所有獲取鎖的請求尚胞，一直阻塞硬霍，直到寫入完成釋放鎖。

image.png

image.png

三：事務的實現(xiàn)

前面講的重做日志，回滾日志以及鎖技術就是實現(xiàn)事務的基礎谤牡。
事務的原子性是通過undo log來實現(xiàn)的副硅。
事務的持久性是通過redo log來實現(xiàn)的。
事務的隔離性是通過 (讀寫鎖+MVCC)來實現(xiàn)的翅萤。
事務的一致性是通過原子性恐疲，持久性，隔離性來實現(xiàn)的Ｌ酌础Ｅ嗉骸！
1.原子性的實現(xiàn)
什么是原子性：
一個事務必須被視為不可分割的最小工作單位违诗，一個事務中的所有操作要么全部成功提交漱凝，要么全部失敗回滾疮蹦，對于一個事務來說不可能只執(zhí)行其中的部分操作诸迟，這就是事務的原子性。
上面這段話取自《高性能MySQL》這本書對原子性的定義愕乎，原子性可以概括為就是要實現(xiàn)要么全部失敗阵苇，要么全部成功。
以上概念相信大家伙兒都了解感论，那么數(shù)據(jù)庫是怎么實現(xiàn)的呢绅项？ 就是通過回滾操作。 所謂回滾操作就是當發(fā)生錯誤異潮纫蓿或者顯式的執(zhí)行rollback語句時需要把數(shù)據(jù)還原到原先的模樣快耿，所以這時候就需要用到undo log來進行回滾，接下來看一下undo log在實現(xiàn)事務原子性時怎么發(fā)揮作用的
1.1 undo log 的生成
假設有兩個表 bank和finance芳绩，表中原始數(shù)據(jù)如圖所示掀亥，當進行插入，刪除以及更新操作時生成的undo log如下面圖所示：

image.png

image.png

image.png

image.png

image.png

image.png

image.png

image.png

image.png

image.png