深入理解MVCC

一、MVCC多版本并发控制机制

同样的sql查询语句在一个事务 里多次执行查询结果相同，就算其它事务对数据有修改也不会影响当前事务sql语句的查询结果， 这个隔离性就是靠MVCC(Multi-Version Concurrency Control)机制来保证的。

对一行数据的读和写两个操作默认 是不会通过加锁互斥来保证隔离性，避免了频繁加锁互斥，而在串行化隔离级别为了保证较高的隔离性是通过将所有操 作加锁互斥来实现的。 Mysql在读已提交和可重复读隔离级别下都实现了MVCC机制。

MVCC的具体实现，还需要依赖于数据库记录中的三个隐式字段、undo log日志、readView。

三个隐式字段如下

隐藏字段	含义
db_trx_id	最近修改事务id，记录插入这条记录或最后一次修改该记录的事务id。
db_roll_ptr	回滚指针，指向这条记录的上一个版本，用于配合undo log，指向上一个版本。
db_row_id	隐藏主键，如果表结构没有指定主键，将会生成该隐藏字段。

undo log，回滚日志，在insert、update、deletel的时候产生的便于数据回滚的日志。
当insert的时候，产生的undo log日志只在回滚时需要，在事务提交后，可被立即删除。
而update、deletel的时候，产生的undo log日志不仅在回滚时需要，在快照读时也需要，不会立即被删除。

undo log日志版本链是指一行数据被多个事务依次修改过后，在每个事务修改完后，Mysql会保留修改前的数据undo log回滚日志，并且用两个隐藏字段db_trx_id和db_roll_ptr把这些undo log日志串联起来形成一个历史记录版本链

不同事务或相同事务对同一条记录进行修改，会导致该记录的undolog生成一条记录版本链表，链表的头部是最新的旧记录，链表尾部是最早的旧记录。

版本链数据访问规则
①.trx_id==creator_trx_id？可以访问该版本成立，说明数据是当前这个事务更改的。

②.trx_id<min_trx_id？可以访问该版本成立，说明数据已经提交了。

③.trx_id>max_trx_id？不可以访问该版本成立，说明该事务是在ReadView生成后才开启。

④.min_trx_id<=trx_id<=max_trx_id？如果trx_id不在mids中是可以访问该版本的成立，说明数据已经提交。

readView（读视图）是快照读SQL执行时MVCC提取数据的依据，记录并维护系统当前活跃的事务（未提交的）id。
Readview中包含了四个核心字段：

字段	含义
m_ids	当前活跃的事务ID集合
min_trx_id	最小活跃事务ID
max_trx_id	预分配事务D，当前最大事务D+1（因为事务D是自增的）
creator_trx_id	ReadView创建者的事务D

不同的隔离级别，生成ReadView的时机不同：
Read committed(读已提交)：在事务中每一次执行快照读时生成ReadView。
Repeatable Read(可重复读) ：仅在事务中第一次执行快照读时生成ReadView，后续复用该ReadView。

总结： MVCC机制的实现就是通过read-view机制与undo版本链比对机制，使得不同的事务会根据数据版本链对比规则读取 同一条数据在版本链上的不同版本数据。