昨天面試當(dāng)中一個小伙認(rèn)為MVCC可以解決RR中的幻讀問題， 先說結(jié)論信姓， MVCC不能解決幻讀，很遺憾還是得用鎖绸罗。 下面詳細(xì)描述一下意推。
InnoDB的MVCC, 實(shí)現(xiàn)的是基于多版本的并發(fā)控制協(xié)議——MVCC (Multi-Version Concurrency Control) (注：與MVCC相對的，是基于鎖的并發(fā)控制珊蟀，Lock-Based Concurrency Control)菊值， 用于支持RC和RR隔離級別的實(shí)現(xiàn)。 在一個支持MVCC的并發(fā)系統(tǒng)中系洛， 我們需要支持兩種讀俊性， 一個是快照讀， 一個是當(dāng)前讀描扯。
快照讀：簡單的select操作定页，屬于快照讀，不加鎖绽诚。
當(dāng)前讀：特殊的讀操作典徊，插入/更新/刪除操作，屬于當(dāng)前讀恩够，需要加鎖卒落， 讀取的是最新數(shù)據(jù)。
在innodb中蜂桶，MVCC其實(shí)是通過undo log來實(shí)現(xiàn)的儡毕， 解釋起來會比較復(fù)雜， 不過我在別的博客看到一個很簡潔的解釋方式， 理解起來可以認(rèn)為是通過在每行記錄后面保存兩個隱藏的列來實(shí)現(xiàn)的,這兩個列腰湾，分別保存了這個行的創(chuàng)建時間雷恃，一個保存的是行的刪除時間。這里存儲的并不是實(shí)際的時間值,而是系統(tǒng)版本號(可以理解為事務(wù)的ID)费坊，每開始一個新的事務(wù)倒槐，系統(tǒng)版本號就會自動遞增，事務(wù)開始時刻的系統(tǒng)版本號會作為事務(wù)的ID.
以下內(nèi)容取RR隔離級別附井， 當(dāng)然RC也是同理讨越，只不過select的選定范圍不同。
對應(yīng)在數(shù)據(jù)中的表如下(后面兩列是隱藏列,我們通過查詢語句并看不到)
| id | name | 創(chuàng)建時間(事務(wù)ID) | 刪除時間(事務(wù)ID) |
|---|---|---|---|
| 1 | yang | 1 | undefined |
| 2 | long | 1 | undefined |
| 3 | fei | 1 | undefined |
SELECT
InnoDB會根據(jù)以下兩個條件檢查每行記錄:
InnoDB只會查找版本早于當(dāng)前事務(wù)版本的數(shù)據(jù)行(也就是,行的系統(tǒng)版本號小于或等于事務(wù)的系統(tǒng)版本號)永毅，這樣可以確保事務(wù)讀取的行把跨，要么是在事務(wù)開始前已經(jīng)存在的，要么是事務(wù)自身插入或者修改過的.
行的刪除版本要么未定義,要么大于當(dāng)前事務(wù)版本號(這可以確保事務(wù)讀取到的行卷雕，在事務(wù)開始之前未被刪除)节猿，
只有條件1、2同時滿足的記錄漫雕，才能返回作為查詢結(jié)果.
DELETE
InnoDB會為刪除的每一行保存當(dāng)前系統(tǒng)的版本號(事務(wù)的ID)作為刪除標(biāo)識.
看下面的具體例子分析: 第二個事務(wù),ID為2:
start transaction;
select * from yang;
select * from yang;
commit;
假設(shè)1:
假設(shè)在執(zhí)行這個事務(wù)ID為2的過程中,剛執(zhí)行到(1),這時,有另一個事務(wù)ID為3往這個表里插入了一條數(shù)據(jù); 第三個事務(wù)ID為3;
start transaction;
insert into yang values(NULL,'tian');
commit;
這時表中的數(shù)據(jù)如下:
| id | name | 創(chuàng)建時間(事務(wù)ID) | 刪除時間(事務(wù)ID) |
|---|---|---|---|
| 1 | yang | 1 | undefined |
| 2 | long | 1 | undefined |
| 3 | fei | 1 | undefined |
| 4 | tian | 3 | undefined |
然后接著執(zhí)行事務(wù)2中的(2),由于id=4的數(shù)據(jù)的創(chuàng)建時間(事務(wù)ID為3),執(zhí)行當(dāng)前事務(wù)的ID為2,而InnoDB只會查找事務(wù)ID小于等于當(dāng)前事務(wù)ID的數(shù)據(jù)行,所以id=4的數(shù)據(jù)行并不會在執(zhí)行事務(wù)2中的(2)被檢索出來,在事務(wù)2中的兩條select 語句檢索出來的數(shù)據(jù)如下:
| id | name | 創(chuàng)建時間(事務(wù)ID) | 刪除時間(事務(wù)ID) |
|---|---|---|---|
| 1 | yang | 1 | undefined |
| 2 | long | 1 | undefined |
| 3 | fei | 1 | undefined |
假設(shè)2
假設(shè)在執(zhí)行這個事務(wù)ID為2的過程中,剛執(zhí)行到(1),假設(shè)事務(wù)執(zhí)行完事務(wù)3后滨嘱，接著又執(zhí)行了事務(wù)4;
第四個事務(wù):
start transaction;
delete from yang where id=1;
commit;
此時數(shù)據(jù)庫中的表如下:
| id | name | 創(chuàng)建時間(事務(wù)ID) | 刪除時間(事務(wù)ID) |
|---|---|---|---|
| 1 | yang | 1 | 4 |
| 2 | long | 1 | undefined |
| 3 | fei | 1 | undefined |
| 4 | tian | 3 | undefined |
接著執(zhí)行事務(wù)ID為2的事務(wù)(2),根據(jù)SELECT 檢索條件可以知道,它會檢索創(chuàng)建時間(創(chuàng)建事務(wù)的ID)小于當(dāng)前事務(wù)ID的行和刪除時間(刪除事務(wù)的ID)大于當(dāng)前事務(wù)的行,而id=4的行上面已經(jīng)說過,而id=1的行由于刪除時間(刪除事務(wù)的ID)大于當(dāng)前事務(wù)的ID,所以事務(wù)2的(2)select * from yang也會把id=1的數(shù)據(jù)檢索出來.所以,事務(wù)2中的兩條select 語句檢索出來的數(shù)據(jù)都如下:
| id | name | 創(chuàng)建時間(事務(wù)ID) | 刪除時間(事務(wù)ID) |
|---|---|---|---|
| 1 | yang | 1 | 4 |
| 2 | long | 1 | undefined |
| 3 | fei | 1 | undefined |
UPDATE
InnoDB執(zhí)行UPDATE，實(shí)際上是新插入了一行記錄浸间，并保存其創(chuàng)建時間為當(dāng)前事務(wù)的ID太雨，同時保存當(dāng)前事務(wù)ID到要UPDATE的行的刪除時間。
假設(shè)3：
假設(shè)在執(zhí)行完事務(wù)2的(1)后又執(zhí)行,其它用戶執(zhí)行了事務(wù)3,4,這時魁蒜，又有一個用戶對這張表執(zhí)行了UPDATE操作:
第5個事務(wù):
start transaction;
update yang set name='Long' where id=2;
commit;
根據(jù)update的更新原則:會生成新的一行,并在原來要修改的列的刪除時間列上添加本事務(wù)ID,得到表如下:
| id | name | 創(chuàng)建時間(事務(wù)ID) | 刪除時間(事務(wù)ID) |
|---|---|---|---|
| 1 | yang | 1 | 4 |
| 2 | long | 1 | 5 |
| 3 | fei | 1 | undefined |
| 4 | tian | 3 | undefined |
| 2 | Long | 5 | undefined |
繼續(xù)執(zhí)行事務(wù)2的(2),根據(jù)select 語句的檢索條件,得到下表:
| id | name | 創(chuàng)建時間(事務(wù)ID) | 刪除時間(事務(wù)ID) |
|---|---|---|---|
| 1 | yang | 1 | 4 |
| 2 | long | 1 | 5 |
| 3 | fei | 1 | undefined |
還是和事務(wù)2中(1)select 得到相同的結(jié)果.
INSERT
我們知道幻讀都是發(fā)生在insert之后的囊扳， 我們回到假設(shè)1當(dāng)中， 可以看到事務(wù)3插入了一條新的數(shù)據(jù)兜看。
假設(shè)4：
假設(shè)在執(zhí)行完第3個事務(wù)之后又開始執(zhí)行第二個事務(wù)（添加兩條語句）
第2個事務(wù):
start transaction;
select * from yang;
select * from yang;
（事物3已結(jié)commit了）
//新添加語句
update yang set name='Tian' where id=4;
select * from yang;
commit;
根據(jù)update的更新原則:會生成新的一行,并在原來要修改的列的刪除時間列上添加本事務(wù)ID,得到表如下:
| id | name | 創(chuàng)建時間(事務(wù)ID) | 刪除時間(事務(wù)ID) |
|---|---|---|---|
| 1 | yang | 1 | undefined |
| 2 | long | 1 | undefined |
| 3 | fei | 1 | undefined |
| 4 | tian | 3 | 2 |
| 4 | Tian | 2 | undefined |
繼續(xù)執(zhí)行事務(wù)2的(2),根據(jù)select 語句的檢索條件,得到下表:
| id | name | 創(chuàng)建時間(事務(wù)ID) | 刪除時間(事務(wù)ID) |
|---|---|---|---|
| 1 | yang | 1 | undefined |
| 2 | long | 1 | undefined |
| 3 | fei | 1 | undefined |
| 4 | Tian | 2 | undefined |
可見發(fā)生了幻讀锥咸。 原因就是事務(wù)2中的update是當(dāng)前讀， 會操作最新數(shù)據(jù)细移， 所以造成了幻讀
