InnoDB---可重复读隔离级别的底层实现原理

朴灿烈づ我的快乐病毒、 2022-05-21 13:47 154阅读 0赞

隔离级别分，脏读、不可重读、幻读。

对脏读的解决办法就是只读取commit的数据，幻读解决办法就是序列化。但是可重复读解决的原理没有一个大概的认识，所以在网上找了很多文章综合记录一下。

可重复读的实现

*    **Repeatable Read*（可重复读）：一个事务在执行过程中可以看到其他事务已经提交的新插入的记录（读已经提交的，其实是读早于本事务开始且已经提交的），但是不能看到其他事务对已有记录的更新（即晚于本事务开始的），并且，该事务不要求与其他事务是“可串行化”的。

*    *这句话的核心，是“但是不能看到其他事务对已有记录的更新”，那么*RR*隔离级别是怎么保证这一点的呢？

使用MVCC（多版本并发控制）。InnoDB为每行记录添加了一个版本号（系统版本号），每当修改数据时，版本号加一。  
在读取事务开始时，系统会给事务一个当前版本号，事务会读取版本号<=当前版本号的数据，这时就算另一个事务插入一个数据，并立马提交，新插入这条数据的版本号会比读取事务的版本号高，因此读取事务读的数据还是不会变。

*    *如果数据库并发控制引擎是单纯的封锁协议机制，则应该在读取数据的时候，判断数据项是不是其他事务更新过的。可是*InnoDB*没有这么做，而是通过如下方式，在*RR*隔离级别下为事务设置了一个“一致性读视图（即快照）”，之后读取数据，就是根据这个快照来获取，这样，就不能看到他晚于本事务的事务对已有记录的更新（更新生成新版本，必然不在旧的快照所限定的范围内）。

*static my\_bool snapshot\_handlerton(THD \*thd, plugin\_ref plugin, void \*arg)*

*\{*

*    handlerton \*hton= plugin\_data<handlerton\*>(plugin);*

*    if (hton->state == SHOW\_OPTION\_YES && hton->start\_consistent\_snapshot) //*隔离级别是*RR*时*start\_consistent\_snapshot*才被赋值

*    \{*

*        hton->start\_consistent\_snapshot(hton, thd); //*对于*InnoDB*，实际执行*innobase\_start\_trx\_and\_assign\_read\_view()*函数

*        \*((bool \*)arg)= false;*

*    \}*

*    return FALSE;*

*\}*

*    *如图*11-4*和下面的代码分析，在事务开始的时候*trans\_begin()*会调用*snapshot\_handlerton**()*函数指针即使用*innobase\_start\_trx\_and\_assign\_read\_view**()*函数在可重复读隔离级别下创建一个快照，其他隔离级别则不创建快照。

![20180317184436183][]

图*11-4 snapshot\_handlerton()*函数上下文调用关系图

*innobase\_start\_trx\_and\_assign\_read\_view**(  //*在可重复读隔离级别下创建一个快照，其他隔离级别则不创建快照

*    handlerton\*    hton,    /\*!< in: InnoDB handlerton \*/*

*    THD\*           thd)     /\*!< in: MySQL thread handle of the user for whom the transaction should be committed \*/*

*\{...*

*    if (trx->isolation\_level == TRX\_ISO\_REPEATABLE\_READ) \{ //*如果是*RR*隔离级别，则给*read view*赋值，即构建一致性视图

*        trx\_assign\_read\_view(trx);  //*为读一致性视图（快照）赋一个值，注意在*store\_lock()*中应隔离级别小于*RR*才关闭快照

*    \} else \{*

*        push\_warning\_printf(thd, Sql\_condition::SL\_WARNING,*

*                    HA\_ERR\_UNSUPPORTED,*

*                    "InnoDB: WITH CONSISTENT SNAPSHOT"*

*                    " was ignored because this phrase"*

*                    " can only be used with"*

*                    " REPEATABLE READ isolation level.");*

*    \}*

*...*

*\}*

*    *之后，在每条*SQL*语句执行的时候，根据隔离级别判断是不是要使用一个新的快照，如果是可重复读，则不使用新快照，沿用老的快照，这样就能保证所有的读操作看到的是同一个数据状态；同时也确保了读已提交隔离级别下一个事务块内的不同语句的读操作看到的不是同一个数据状态。

*ha\_innobase::store\_lock(...)*

*\{...*

*    if (lock\_type != TL\_IGNORE && trx->n\_mysql\_tables\_in\_use == 0) \{*

*        trx->isolation\_level = innobase\_map\_isolation\_level((enum\_tx\_isolation) thd\_tx\_isolation(thd));*

*        if (trx->isolation\_level <= TRX\_ISO\_READ\_COMMITTED  //*隔离级别小于等于读已提交，关闭老的快照。可重复读不关闭老快照所以可以沿用

*            && MVCC::is\_view\_active(trx->read\_view)) \{*

*            /\* At low transaction isolation levels we let each consistent read set its own snapshot \*/*

*            mutex\_enter(&trx\_sys->mutex);*

*            trx\_sys->mvcc->view\_close(trx->read\_view, true);  //*隔离级别小，关闭快照，这样下一条*SQL*执行时，将获取新快照

*            mutex\_exit(&trx\_sys->mutex);*

*        \}*

*    \}*

*...*

*\}*

从上面的分析可以看出， InnoDB 的可重复读的实现，利用了实现 MVCC 技术的快照技术。这是 MVCC 和基于封锁技术这两个并非控制技术的结合之处。

转载自：[http://blog.163.com/li\_hx/blog/static/1839914132017224904641/][http_blog.163.com_li_hx_blog_static_1839914132017224904641]

[20180317184436183]: /images/20220521/e8b73e7fd84d40bf902b6a86763da671.png
[http_blog.163.com_li_hx_blog_static_1839914132017224904641]: http://blog.163.com/li_hx/blog/static/1839914132017224904641/