1、MVCC簡介
1.1 什么是MVCC
MVCC(全稱Multi-Version Concurrent Control)是一種多版本并發(fā)控制機(jī)制。
1.2 MVCC是為了解決什么問題
- 大多數(shù)MYSQL事務(wù)型存儲引擎斧抱，如InnoDB, Falcon以及PBXT都不使用一種簡單的行鎖機(jī)制输玷。事實(shí)上，他們都和MVCC多版本控制一起來使用局骤。
- 鎖機(jī)制可以控制并發(fā)操作孽椰，但是其系統(tǒng)開銷較大昭娩，而MVCC可以在大多數(shù)情況下代替行級鎖，使用MVCC能降低其系統(tǒng)開銷黍匾。
1.3 MVCC實(shí)現(xiàn)
MVCC是通過保存數(shù)據(jù)在某個時間點(diǎn)的快照來實(shí)現(xiàn)的栏渺。不同存儲引擎的MVCC實(shí)現(xiàn)不同，典型的有樂觀并發(fā)控制和悲觀并發(fā)開銷锐涯。
2磕诊、MVCC 具體實(shí)現(xiàn)
Innodb的MVCC是通過在每行記錄后面保存兩個隱藏的列來實(shí)現(xiàn)的。這兩個列全庸，一個保存了這個行的創(chuàng)建時間秀仲，另一個保存的是行的刪除時間。這里存儲的并不是實(shí)際的時間值壶笼，而是系統(tǒng)版本號，每開始一個新的事務(wù)雁刷，系統(tǒng)版本號就會自動遞增覆劈，事務(wù)開始時刻的系統(tǒng)版本號會作為事務(wù)的ID。下面看一下在REPEATABLE READ 隔離級別下，MVCC具體是如何操作的责语。
2.1 簡單的例子
create table user (
uid int primary key auto_increment,
name varchar(20));
- INSERT
InnoDB為新插入的每一行保存當(dāng)前系統(tǒng)版本號作為版本號炮障。假設(shè)系統(tǒng)的版本號從1開始，第一個事務(wù)ID為1.
start transaction;
insert into user values(NULL, 'Hans');
insert into user values(NULL, 'Will');
insert into user values(NULL, 'Jack');
commit;
對應(yīng)的數(shù)據(jù)中的表如下（后面兩列隱藏坤候，我們通過查詢語句看不到）
| uid | name | 創(chuàng)建時間（事務(wù)ID） | 刪除時間（事務(wù)ID） |
|---|---|---|---|
| 1 | Hans | 1 | undefined |
| 2 | Will | 1 | undefined |
| 3 | Jack | 1 | undefined |
SELECT
InnoDB會根據(jù)以下兩個條件檢查每行記錄胁赢，查詢結(jié)果必須同時滿足這兩個條件。
1白筹、InnoDB只會查找版本早于當(dāng)前事務(wù)版本的數(shù)據(jù)行（即行的系統(tǒng)版本號小于或等于事務(wù)的系統(tǒng)版本號）智末，這樣可以確保事務(wù)讀取的行，要么是在事務(wù)開始前已經(jīng)存在徒河，要么是事務(wù)自身插入或修改過系馆。
2、行的刪除版本要么未定義顽照，要么大于當(dāng)前事務(wù)版本號由蘑，這可以確保事務(wù)讀取到的行，在事務(wù)開始之前未被刪除代兵。DELETE
InnoDB會為刪除的每一行保存當(dāng)前系統(tǒng)的版本號（事務(wù)的ID）作為刪除標(biāo)識尼酿。
第二個事務(wù)，ID為2
start transaction;
select * from user; //(s 1)
select * from user; //(s 2)
commit;
假設(shè)1
假設(shè)在執(zhí)行這個事務(wù)ID 為2的過程中植影，剛執(zhí)行到（s 1）谓媒，這時，有另一個事務(wù)ID為3往這個表里插入了一條數(shù)據(jù)何乎；
start transaction;
insert into user values(NULL, 'Charles');
commit;
這時表中數(shù)據(jù)如下：
| uid | name | 創(chuàng)建時間() | 刪除時間() |
|---|---|---|---|
| 1 | Hans | 1 | undefined |
| 2 | Will | 1 | undefined |
| 3 | Jack | 1 | undefined |
| 4 | Charles | 3 | undefined |
由于user表uid=4的數(shù)據(jù)創(chuàng)建時間事務(wù)ID為3句惯，執(zhí)行當(dāng)前事務(wù)的ID為2，而InnoDB只會查找事務(wù)ID小于等于當(dāng)前事務(wù)ID的數(shù)據(jù)行支救，所以uid=4的數(shù)據(jù)在執(zhí)行事務(wù)2中的（s 2）時不會被檢索出來抢野。
假設(shè)2
假設(shè)子啊執(zhí)行事務(wù)ID為2的過程中，剛執(zhí)行到(s 1)各墨，事務(wù)執(zhí)行完事務(wù)3后指孤，有執(zhí)行事務(wù)4：
start transaction;
delete from user where id=1;
commit;
此時數(shù)據(jù)表如下：
| uid | name | 創(chuàng)建時間() | 刪除時間() |
|---|---|---|---|
| 1 | Hans | 1 | 4 |
| 2 | Will | 1 | undefined |
| 3 | Jack | 1 | undefined |
| 4 | Charles | 3 | undefined |
接著執(zhí)行事務(wù)ID為2的事務(wù)(s 2)，根據(jù)select檢索條件知道贬堵，它只會檢索創(chuàng)建時間小于當(dāng)前事務(wù)ID和刪除時間大于當(dāng)前事務(wù)的行恃轩。檢索出數(shù)據(jù)如下：
| uid | name | 創(chuàng)建時間() | 刪除時間() |
|---|---|---|---|
| 1 | Hans | 1 | 4 |
| 2 | Will | 1 | undefined |
| 3 | Jack | 1 | undefined |
- UPDATE
InnoDB執(zhí)行UPDATE，實(shí)際上市新插入了一行記錄黎做，并保存期創(chuàng)建時間為當(dāng)前事務(wù)的ID叉跛，同時保存當(dāng)前事務(wù)ID到要UPDATE的行的刪除時間。
假設(shè)3
假設(shè)在執(zhí)行完事務(wù)2的(s 1)后蒸殿，其他用戶執(zhí)行了事務(wù)3筷厘，4鸣峭，又有一個用戶對這張表執(zhí)行了UPDATE的操作：
第5個事務(wù)：
start transaction;
update user set name='Jucy' where id=2;
commit;
得到如下表：
| uid | name | 創(chuàng)建時間() | 刪除時間() |
|---|---|---|---|
| 1 | Hans | 1 | 4 |
| 2 | Will | 1 | 5 |
| 3 | Jack | 1 | undefined |
| 4 | Charles | 3 | undefined |
| 2 | Jucy | 5 | undefined |
繼續(xù)執(zhí)行事務(wù)2的(s 2)，會得到如下表
| uid | name | 創(chuàng)建時間() | 刪除時間() |
|---|---|---|---|
| 1 | Hans | 1 | 4 |
| 2 | Will | 1 | 5 |
| 3 | Jack | 1 | undefined |
