7.深入理解MVCC与BufferPool缓存机制
MVCC多版本并发控制机制
MySQL在可重复读隔离级别下如何保证事务较高的隔离性,同样的SQL在一个事务里多次执行查询结果相同,就算其他事务对数据有修改也不会影响当前事务SQL语句的查询结果。
这个隔离性就是靠MVCC(Multi-Version Concurrency Control)机制来保证的,对一行数据的读和写两个操作默认是不会通过加锁互斥来保证隔离性,避免了频繁加锁互斥,而在串行化隔离级别为了保证较高的隔离性是通过将所有操作加锁互斥来实现的。
MySQL在读已提交和可重复读隔离级别都实现了MVCC机制。
1.Undo日志版本链与Read View机制详解
undo日志版本链是指一行数据被多个事务一次修改过后,在每个事务修改完后,MySQL会保留修改前的数据undo回滚日志,并且用两个隐藏字段trx_id和roll_pointer(指向上次数据的指针)把这些undo日志串联起来形成一个历史记录版本链。
在可重复读隔离阶级,当事务开启,执行任何查询SQL时会生成当前事务的一致性视图read-view,该视图在事务结束之前都不会变化(如果是读已提交隔离级别在每次执行查询SQL时都会重新生成),这个视图有执行查询时所有未提交事务id数组(数组里最小的id为min_id)和已创建的最大事务id(max_id)组成,事务里的任何SQL查询结果需要从对应版本链里的最新数据开始逐条跟read-view做对比而得到最终的快照结果。
read-view 前面的数组是活动的,后面是不活动的。
版本对比规则:
1.如果row 的trx_id落在绿色部分(trx_id<min_id),表示这个版本是已提交的事务生成的,这个数据是可见的;
2.如果row 的trx_id落在红色的部分(trx_id>max_id),表示这个版本是有将来启动的事务来生成的,是肯定不可见的;
3.如果row 的trx_id落在黄色的部分(min_id<=trx_id<=max_id),那就包括两种情况
a)若row的trx_id在视图数组中,表示这个版本是有还没提交的事务生成,不可见,当前自己的事务是可见的;
b)若row的trx_id不在视图数组中,表示这个版本是已经提交了的事务生成的,可见。
对于删除的情况可以认为是update的特殊情况,会将版本链上罪行的数据复制一份,然后将trx_id修改成删除操作的trx_id,同时在该条记录的头信息(record header)里的(deleted flag)标记位写上true,来表示当前记录已经被删除,在查询时按照上面的规则查询到对应的记录如果delete flag标记位true,意味着记录已被删除,则不返回数据。
注意:begin/start transaction 命令并不是一个事务的起点,在执行到它们之后的第一个修改操作InnoDB表的语句,事务才真正启动,才会向MySQL申请事务id,MySQL内部是严格按照事务的启动顺序来分配事务Id的。
总结:
MVCC机制的实现就是通过read-view机制与undo版本链比对机制,使得不同事务会根据数据版本链对比规则读取同一条数据在版本链上的不同版本数据。
2、InnoDB引擎BufferPool缓存机制详解
为什么Mysql不能直接更新磁盘上的数据而且设置这么一套复杂的机制来执行SQL了?
因为来一个请求就直接对磁盘文件进行随机读写,然后更新磁盘文件里的数据性能可能相当差。
因为磁盘随机读写的性能是非常差的,所以直接更新磁盘文件是不能让数据库抗住很高并发的。
Mysql这套机制看起来复杂,但它可以保证每个更新请求都是更新内存BufferPool,然后顺序写日志文件,同时还能保证各种异常情况下的数据一致性。
更新内存的性能是极高的,然后顺序写磁盘上的日志文件的性能也是非常高的,要远高于随机读写磁盘文件。
正是通过这套机制,才能让我们的MySQL数据库在较高配置的机器上每秒可以抗下几干甚至上万的读写请求。
顺序的日志IO写入是随机的磁盘IO写入的2-3倍,为了提高数据的性能才这样设计的。
3.redo日志和binlog的区别
binlog主要是恢复数据库磁盘里的数据,redo是用来恢复buffer pool里的缓存数据。