MySQL多版本并发节制机制（MVCC）源码浅析

媒介

作为一个数据库喜爱者，本身下手写过简朴的SQL理会器以及存储引擎，但感受照旧不足过瘾。<<事宜处理赏罚-观念与技能>>诚然讲的很是透彻，但只能提要挈领，不能让你玩转某个真正的数据库。感激cmake,可以或许让我在mac上用xcode去debug MySQL,从而能去明确它的各类实现细节。

笔者一向对数据库的断绝性很好奇，此篇博客就是我debug MySQL进程中的偶有所得。

(注:本文的MySQL回收的是MySQL-5.6.35版本)

MVCC(多版本并发节制机制)

断绝性也可以被称作并发节制、可串行化等。谈到并发节制起首想到的就是锁，MySQL通过行使两阶段锁的方法实现了更新的可串行化，同时为了加快查询机能，回收了MVCC(Multi Version Concurrency Control)的机制，使得不消锁也可以获取同等性的版本。

Repeatable Read

MySQL的通过MVCC以及(Next-Key Lock)实现了可一再读(Repeatable Read),其头脑(MVCC)就是记录数据的版本变迁，通过优良的选择差异数据的版本从而可以或许对用户泛起同等的功效。如下图所示:

上图中，(A=50|B=50)的初始版本为1。

1.事宜t1在select A时辰看到的版本为1，即A=50

2.事宜t2对A和B的修改将版本进级为2,即A=0,B=100

3.事宜t1再此select B的时辰看到的版本照旧1, 即B=50

这样就断绝了版本的影响，A+B始终为100。

Read Commit

而假如不通过版本节制机制，而是读到最近提交的功效的话，则断绝级别是read commit,如下图所示:

在这种环境下，就必要行使锁机制(譬喻select for update)将此A,B记录锁住，从而得到正确的同等功效,如下图所示：

MVCC的上风

当我们要对一些数据做一些只读操纵来搜查同等性，譬喻搜查账务是否对齐的操纵时辰，并不但愿加上对机能消费很大的锁。这时辰MVCC的同等性版本就有很大的上风了。

MVCC(实现机制)

本节就开始谈谈MVCC的实现机制,留意MVCC仅仅在纯select时有用(不包罗select for update,lock in share mode等加锁操纵,以及updateinsert等)。

select运行栈

起首我们追踪一下一条平凡的查询sql在mysql源码中的运行进程,sql为(select * from test);

其运行栈为:

因为mysql默认断绝级别是repeatable_read(RR),以是read_record重载为 rr_sequential(当前我们并不体谅select通过index扫描出row之后再通过condition过滤的进程)。继承追踪:

让我们看下该函数内部: 

bool lock_clust_rec_cons_read_sees(const rec_t* rec /*由innodb扫描出来的一行*/,....){  
...  
// 从当前扫描的行中获取其最后修改的版本trx_id(事宜id)  
trx_id = row_get_rec_trx_id(rec, index, offsets);  
// 通过参数(同等性快照视图和事宜id)抉择看到的行快照  
return(read_view_sees_trx_id(view, trx_id));  
} 

read_view的建设进程

我们先存眷同等性视图的建设进程,我们先看下read_view布局:

然后通过debug，发明建设read_view布局也是在上述的rr_sequential中操纵的，继承跟踪挪用栈:

我们看下row_search_for_mysql里的一个分支: 

row_search_for_mysql:  
// 这边只有select不加锁模式的时辰才会建设同等性视图  
else if (prebuilt->select_lock_type == LOCK_NONE) { // 建设同等性视图  
trx_assign_read_view(trx);  
prebuilt->sql_stat_start = FALSE;  
} 

上面的注释就是select for update(in share model)不会走MVCC的缘故起因。让我们进一步说明trx_assign_read_view函数:

（编辑：河北网）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!