MYSQL的MVCC

一、事务基本概念

事务的四大特征
1.原子性（Atomicity）： 事务是最小的执行单位，不允许分割。事务的原子性确保动作要么全部完成，要么完全不起作用； —— undo log实现。
2.一致性（Consistency）： 执行事务后，数据库从一个正确的状态变化到另一个正确的状态； —— 由AID来保持一致性，应用层考虑。
3.隔离性（Isolation）： 并发访问数据库时，一个用户的事务不被其他事务所干扰，各并发事务之间数据库是独立的。隔离级别：读未提交，读已提交（RC），可重复读（RR），串行化； ——锁和MVCC保证。
4.持久性（Durability）： 一个事务被提交之后。它对数据库中数据的改变是持久的，即使数据库发生故障也不应该对其有任何影响。 redo log实现。

二、MVCC

多版本并发控制
基本概念：一条记录在系统中可以存在多个版本，每次快照读时，都会根据规则决定读取哪一个版本。
目的：提高读写效率。
核心思想： 我可以查到在我这个事务开始之前已经存在的数据，即使它在后面被修改或者删除了。在我这个事务之后新增的数据，我是查不到的。

1.基础知识：

当前读： 读取的是数据的最新版本，总是读取到最新的数据。支持当前读的sql如下：

select xxx from xxx lock in share mode; --读锁，共享锁
select xxx from xxx for update;  --写锁，排他锁
insert xxx;
delete xxx;
update xxx;

快照读： 读取的是历史版本的记录。

select xxx from xxx;

2.原理

每一行记录上都会包含几个用户不可见的字段：

1）DB_TRX_ID：创建或者最后一次修改该记录的事务ID
2）DB_ROW_ID：隐藏主键（如果没有主键和唯一索引时存在）
3）DB_ROLL_PTR：回滚指针，用于存储上一个版本的地址，形成版本链 --> undolog

undolog

回滚日志：保存的是历史版本状态。
当不同的事务对同一条记录做修改的时候，会导致该记录的undolog形成一个线性表，也就是链表，链表的链首是最新的历史记录，而链尾是最早的历史记录。

Read View

当执行一个事务的时候，就会生成一个对应的ReadView，里面比较关键的值有四个：
1）m_ids：在生成Read View时当前系统中活跃的（未commit）事务ID列表
2）min_trx_id：m_ids中的最小值
3）max_trx_id：系统尚未分配的下一个事务ID
4）creator_trx_id：表示生成该Read View的事务ID
根据ReadView中的字段和版本链中的DB_TRX_ID字段比较结果，决定该事务在快照读时，读取版本链中的哪一个版本。具体的判断逻辑如下图所示。
RR隔离级别和RC隔离级别的区别是：ReadView生成的时机不同。
RC：每次在进行快照读的时候都会生成新的read view
RR：只有在第一次进行快照读的时候才会生成read view，之后的读操作都会使用第一次生成的read view。
Mysql数据库通过MVCC和undolog保证了RR，解决了基于快照读下的幻读问题。但MVCC无法解决当前读下的幻读。当在一个事务中既有当前读，又有快照读，是无法保证RR的。
Mysql通过锁机制（next-key locking）在RR隔离级别下解决当前读的幻读的问题。对于当前读，你读取的行，以及行的间隙都会被加锁，直到事务提交时才会释放，其他的事务无法进行修改，所以也不会出现不可重复读、幻读的情形。