什么是數(shù)據(jù)庫(kù)事務(wù)

數(shù)據(jù)庫(kù)事務(wù)是指一組數(shù)據(jù)庫(kù)操作，這些操作必須被視為一個(gè)不可分割的單元，要么全部執(zhí)行成功，要么全部失敗回滾。事務(wù)通常由多個(gè)SQL語(yǔ)句組成，這些語(yǔ)句可以讀取、插入、更新或刪除數(shù)據(jù)庫(kù)中的數(shù)據(jù)。
事務(wù)具有ACID屬性：

• 原子性（Atomicity）：事務(wù)的所有操作被視為單個(gè)原子操作，要么全部執(zhí)行成功，要么全部執(zhí)行失敗回滾。
• 一致性（Consistency）：事務(wù)執(zhí)行的結(jié)果必須使數(shù)據(jù)庫(kù)從一個(gè)一致性狀態(tài)轉(zhuǎn)換到另一個(gè)一致性狀態(tài)，其中包括所有數(shù)據(jù)完整性和約束性規(guī)則的應(yīng)用。
• 隔離性（Isolation）：一個(gè)事務(wù)的執(zhí)行不能被其他并發(fā)執(zhí)行的事務(wù)干擾，每個(gè)事務(wù)應(yīng)該感覺自己在獨(dú)立地執(zhí)行。
• 持久性（Durability）：一旦事務(wù)提交，其結(jié)果應(yīng)該持久保存在數(shù)據(jù)庫(kù)中，即使系統(tǒng)故障也應(yīng)該如此。

通過實(shí)現(xiàn)事務(wù)，數(shù)據(jù)庫(kù)系統(tǒng)可以確保數(shù)據(jù)的完整性和一致性，以及并發(fā)訪問時(shí)的正確性。如果一個(gè)事務(wù)中的任何一個(gè)操作失敗，整個(gè)事務(wù)將被回滾到最初的狀態(tài)，這確保了數(shù)據(jù)庫(kù)的一致性。

Mysql如何保證原子性

undo log名為回滾日志，是實(shí)現(xiàn)原子性的關(guān)鍵。 InnoDB把這些為了回滾而記錄的這些東西稱之為undo log。這里需要注意的一點(diǎn)是，由于查詢操作（SELECT）并不會(huì)修改任何用戶記錄，所以在查詢操作執(zhí)行時(shí)，并不需要記錄相應(yīng)的undo log。undo log主要分為3種：

• Insert undo log ：插入一條記錄時(shí)，至少要把這條記錄的主鍵值記下來，之后回滾的時(shí)候只需要把這個(gè)主鍵值對(duì)應(yīng)的記錄刪掉就好了。

• Update undo log：修改一條記錄時(shí)，至少要把修改這條記錄前的舊值都記錄下來，這樣之后回滾時(shí)再把這條記錄更新為舊值就好了。

• Delete undo log：刪除一條記錄時(shí)，至少要把這條記錄中的內(nèi)容都記下來，這樣之后回滾時(shí)再把由這些內(nèi)容組成的記錄插入到表中就好了。

  • 刪除操作都只是設(shè)置一下老記錄的DELETED_BIT，并不真正將過時(shí)的記錄刪除。
  • 為了節(jié)省磁盤空間，InnoDB有專門的purge線程來清理DELETED_BIT為true的記錄。為了不影響MVCC的正常工作，purge線程自己也維護(hù)了一個(gè)read view（這個(gè)read view相當(dāng)于系統(tǒng)中最老活躍事務(wù)的read view）;如果某個(gè)記錄的DELETED_BIT為true，并且DB_TRX_ID相對(duì)于purge線程的read view可見，那么這條記錄一定是可以被安全清除的。

舉個(gè)栗子：

Mysql如何保證持久性

我們了解到InnoDB 為了提升讀寫效率，引入了Buffer Pool（緩存池）:

• 當(dāng)數(shù)據(jù)庫(kù)讀取數(shù)據(jù)時(shí)，會(huì)首先從緩存池中讀取
• 往數(shù)據(jù)庫(kù)寫入數(shù)據(jù)時(shí)，會(huì)先寫入緩存池
• 緩存池中更新的數(shù)據(jù)會(huì)定期刷新到磁盤中

如果MySQL宕機(jī)，緩存池中更新的數(shù)據(jù)還沒有刷回到磁盤中，就會(huì)導(dǎo)致數(shù)據(jù)丟失。于是，redo log被引入進(jìn)來解決這個(gè)問題。

• 先將原始數(shù)據(jù)從磁盤中讀入內(nèi)存中來，修改數(shù)據(jù)的內(nèi)存拷貝。
• 生成一條重做日志并寫入redo log buffer，記錄的是數(shù)據(jù)被修改后的值。
• 當(dāng)事務(wù)commit時(shí)，將redo log buffer中的內(nèi)容刷新到 redolog file，對(duì) redo log file采用追加寫的方式。
• 定期將內(nèi)存中修改的數(shù)據(jù)刷新到磁盤中。

redo與undo在一次事務(wù)操作中是如何交互的?假設(shè)有A、B兩個(gè)數(shù)據(jù)，值分別為1、2，開啟事務(wù)分別對(duì)其進(jìn)行修改A → 3，B → 4，在提交，過程如下:

MySQL怎么保證隔離性

事務(wù)在并發(fā)情形下會(huì)互相干擾到的操作大體可以分為兩類，與之相對(duì)應(yīng)地，MySQL采用了兩種方式來實(shí)現(xiàn)它們的隔離:

• 一個(gè)事務(wù)的寫操作對(duì)另一個(gè)事務(wù)的寫操作的影響:鎖機(jī)制保證隔離性
• 一個(gè)事務(wù)的寫操作對(duì)另一個(gè)事務(wù)的讀操作的影響:MVCC保證隔離性

加鎖:讀取數(shù)據(jù)之前，對(duì)其加鎖，阻止其他事務(wù)對(duì)數(shù)據(jù)進(jìn)行修改

MVCC:不加任何鎖，采用多版本并發(fā)控制實(shí)現(xiàn)，把數(shù)據(jù)庫(kù)的行鎖和行的多個(gè)版本結(jié)合起來，可以實(shí)現(xiàn)非鎖定讀，從而提高數(shù)據(jù)庫(kù)的并發(fā)性能。

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

當(dāng)數(shù)據(jù)庫(kù)上有多個(gè)事務(wù)同時(shí)執(zhí)行的時(shí)候，會(huì)帶來以下問題：

為了避免這些問題的出現(xiàn)，數(shù)據(jù)庫(kù)引入了隔離級(jí)別的概念，通過對(duì)不同隔離級(jí)別的設(shè)置，可以控制事務(wù)之間的隔離程度，從而避免并發(fā)問題的產(chǎn)生。不同的隔離級(jí)別有不同的特點(diǎn)和使用場(chǎng)景，需要根據(jù)實(shí)際情況進(jìn)行選擇。

以下是四個(gè)標(biāo)準(zhǔn)的事務(wù)隔離級(jí)別：

臟讀的解決

Innodb是通過在每行數(shù)據(jù)中增加一個(gè)隱藏的事務(wù)ID來實(shí)現(xiàn)mvcc，當(dāng)一個(gè)事物開始時(shí)他會(huì)獲取一個(gè)唯一的事務(wù)ID，該事務(wù)ID用來標(biāo)記事務(wù)做的修改。當(dāng)事務(wù)讀取一行數(shù)據(jù)時(shí)，innodb會(huì)檢查該行數(shù)據(jù)事務(wù)ID是否小于當(dāng)前事務(wù)ID，如果是說明該行數(shù)據(jù)是未提交的數(shù)據(jù)，innodb會(huì)阻止該事務(wù)讀取該行數(shù)據(jù)，從而避免了臟讀的問題。

不可重復(fù)讀的解決

innodb通過mvcc解決不可重復(fù)讀的問題，在RR數(shù)據(jù)庫(kù)隔離級(jí)別下，當(dāng)我們使用快照進(jìn)行數(shù)據(jù)讀取的時(shí)候，只會(huì)在第一次讀取的時(shí)候生成一個(gè)ReadView，后續(xù)所有快照讀都是使用同一個(gè)快照，所以就不會(huì)發(fā)生不可重復(fù)讀的問題了。

可重復(fù)讀模式下舉個(gè)栗子： 事務(wù)隔離級(jí)別為RR：

創(chuàng)建個(gè)測(cè)試表，并插入一條數(shù)據(jù)（1,1,1）

create table table1(
    id int(11) not null,
? ? a varchar(50) default null,
? ? b varchar(50) default null,
? ? primary key(id)
)ENGINE=InnoDB DEFAULT CHARSET=utf8mb4 COLLATE=utf8mb4_0900_ai_ci;

分別開啟兩個(gè)事務(wù)測(cè)試：

幻讀的解決

innodb的mvcc和間隙鎖在一定程度上避免了幻讀的發(fā)生，但是沒有辦法完全避免，當(dāng)一個(gè)事務(wù)讀的時(shí)候會(huì)導(dǎo)致幻讀的發(fā)生。

幻讀的case：

• 創(chuàng)建一個(gè)用戶表

create table user(
    id int not null,
    name varchar(50),
    age int,
    primary key(id)
);

• 插入幾條數(shù)據(jù)

insert into user values(1,'張三',10),(2,'李四',20),(3,'王二',30);

• 分別開啟兩個(gè)事務(wù)測(cè)試：

MVCC實(shí)現(xiàn)

每條記錄在更新的時(shí)候都會(huì)同時(shí)記錄一條回滾操作。同一條記錄在系統(tǒng)中可以存在多個(gè)版本，這就是數(shù)據(jù)庫(kù)的多版本并發(fā)控制（MVCC）。

MySQL中每條記錄，除了我們自定義的字段之外，還有數(shù)據(jù)庫(kù)隱藏定義的三個(gè)字段：

在 MySQL 中，實(shí)際上每條記錄在更新的時(shí)候都會(huì)同時(shí)記錄一條回滾操作。記錄上的最新值，通過回滾操作，都可以得到前一個(gè)狀態(tài)的值。

InnoDB 并不會(huì)真正地去開辟空間存儲(chǔ)多個(gè)版本的行記錄，只是借助 undo log 記錄每次寫操作的反向操作。所以B+ 索引樹上對(duì)應(yīng)的記錄只會(huì)有一個(gè)最新版本，InnoDB 可以根據(jù) undo log 得到數(shù)據(jù)的歷史版本，從而實(shí)現(xiàn)多版本控制。

Read View

什么是Read View，說白了Read View就是事務(wù)進(jìn)行快照讀操作的時(shí)候生產(chǎn)的讀視圖(Read View)，在該事務(wù)執(zhí)行的快照讀的那一刻，會(huì)生成數(shù)據(jù)庫(kù)系統(tǒng)當(dāng)前的一個(gè)快照，記錄并維護(hù)系統(tǒng)當(dāng)前活躍事務(wù)的ID(當(dāng)每個(gè)事務(wù)開啟時(shí)，都會(huì)被分配一個(gè)ID, 這個(gè)ID是遞增的，所以最新的事務(wù)，ID值越大)

所以我們知道 Read View主要是用來做可見性判斷的, 即當(dāng)我們某個(gè)事務(wù)執(zhí)行快照讀的時(shí)候，對(duì)該記錄創(chuàng)建一個(gè)Read View讀視圖，把它比作條件用來判斷當(dāng)前事務(wù)能夠看到哪個(gè)版本的數(shù)據(jù)，即可能是當(dāng)前最新的數(shù)據(jù)，也有可能是該行記錄的undo log里面的某個(gè)版本的數(shù)據(jù)。

Read View遵循一個(gè)可見性算法，主要是將要被修改的數(shù)據(jù)的最新記錄中的DB_TRX_ID（即當(dāng)前事務(wù)ID）取出來，與系統(tǒng)當(dāng)前其他活躍事務(wù)的ID去對(duì)比（由Read View維護(hù)），如果DB_TRX_ID跟Read View的屬性做了某些比較，不符合可見性，那就通過DB_ROLL_PTR回滾指針去取出Undo Log中的DB_TRX_ID再比較，即遍歷鏈表的DB_TRX_ID（從鏈?zhǔn)椎芥溛?，即從最近的一次修改查起），直到找到滿足特定條件的DB_TRX_ID, 那么這個(gè)DB_TRX_ID所在的舊記錄就是當(dāng)前事務(wù)能看見的最新老版本

假設(shè)一個(gè)值從 1 被按順序改成了 2、3、4，在回滾日志里面就會(huì)有類似下面的記錄。

當(dāng)前值是 4，但是在查詢這條記錄的時(shí)候，不同時(shí)刻啟動(dòng)的事務(wù)會(huì)有不同的 read-view。如圖中看到的，在視圖 A、B、C 里面，這一個(gè)記錄的值分別是 1、2、4，同一條記錄在系統(tǒng)中可以存在多個(gè)版本，就是數(shù)據(jù)庫(kù)的多版本并發(fā)控制（MVCC）。對(duì)于 read-view A，要得到 1，就必須將當(dāng)前值依次執(zhí)行圖中所有的回滾操作得到。同時(shí)你會(huì)發(fā)現(xiàn)，即使現(xiàn)在有另外一個(gè)事務(wù)正在將 4 改成 5，這個(gè)事務(wù)跟 read-view A、B、C 對(duì)應(yīng)的事務(wù)是不會(huì)沖突的。你一定會(huì)問，回滾日志總不能一直保留吧，什么時(shí)候刪除呢？答案是，在不需要的時(shí)候才刪除。也就是說，系統(tǒng)會(huì)判斷，當(dāng)沒有事務(wù)再需要用到這些回滾日志時(shí)，回滾日志會(huì)被刪除。什么時(shí)候才不需要了呢？就是當(dāng)系統(tǒng)里沒有比這個(gè)回滾日志更早的 read-view 的時(shí)候。

RC、RR級(jí)別下的InnoDB快照讀有什么不同？

在可重復(fù)讀隔離級(jí)別下，只需要在事務(wù)開始的時(shí)候創(chuàng)建一致性視圖，之后事務(wù)里的其他查詢都共用這個(gè)一致性視圖；

在讀提交隔離級(jí)別下，每一個(gè)語(yǔ)句執(zhí)行前都會(huì)重新算出一個(gè)新的視圖。

以上就是深入探究MySQL事務(wù)實(shí)現(xiàn)原理的詳細(xì)內(nèi)容，更多關(guān)于MySQL 事務(wù)的資料請(qǐng)關(guān)注腳本之家其它相關(guān)文章！