前面有多篇文章介绍过MySQL InnoDB的相关知识,今天我们要更深入一些,看看它们的内部原理和机制是如何实现的。
一、内存管理
我们知道,MySQl是一个存储系统,数据最后都写在磁盘上。我们以前也提到过,磁盘的速度特别是大容量的磁盘受磁头臂的影响,速度相对内存慢很多。所以Innodb实现了自己的缓存机制。
首先我们先看下Innodb对内存是如何使用和划分的,然后我们再看看它是如何保存热数据的。
1、主要模块和组成
(1) Buffer Pool
预分配的内存池
(2) Page
Buffer Pool的最小单位
(3) Free list
空闲Page组成的链表
(4) Flush list
脏页链表
(5) Page hash 表
维护内存Page和文件Page的映射关系
(6) LRU
内存淘汰算法
以上三种链表LRU list、Free list、Flush list 和内存池、Page hash 以及磁盘文件之间的映射关系如下图所示:
2、LRU算法
LRU,Least Recent Used,最近最少使用。每次将刚使用过的页面插到LRU队列的最前端,那么最少使用的排在尾端,当缓存不够时,淘汰尾端的页。
很多文件系统和开源库的内存淘汰算法都用到了LRU,以前有不少文章都提到过。
但是LRU的缺陷是,有时会无法淘汰真正的冷数据,尾端的数据可能暂时没使用而已,不代表不使用频繁,不代表不是热数据。所以很多系统对LRU进行了优化。
比如Redis加了LFU(least frequently used最不经常使用)配合LRU一起使用。
那么InnoDB存储引擎是如何改进的呢?如下图,它将LRU分成两部分,中间的分割点叫做midpoint,新读取的页不再是加入到最头部,而是midpoint后面的位置,即后半截的头部。
那么midpoint的位置是如何计算的呢,在默认配置下,离LRU整个头部的5/8处。当然这个比例是可以根据实际业务进行设置的。但总之,可以真正将 冷热数据分离 ,热数据在前,冷数据在后。
那么这两个区的数据如何移动的呢,即冷热数据如何切换的呢?
上面我们提到了,刚插入的页放在old区的头部,那么如果该页确实访问频繁,不能一直呆在该位置吧。
InnoDB引入了参数innodb_old_blocks_time,如果old区的数据在该时间范围内没有被淘汰出去,就可以移到new区,加入到new区的头部。这也叫做 made young 。
而如果在old呆的时间不够innodb_old_blocks_time,而且缓存不够时,就会面临直接淘汰,这就叫做 made not young 。这种情况,可以发生在全表扫描的时候,保证了new区的数据才是真正的热数据!
当然数据也有可能从 new区移动到old区 ,只是相对比较简单了,直接移动midpoint指向的位置即可。即new区的尾巴变成了old区的头部。
二、事务
1、 MySQL事务基本概念
事务特性
A(Atomicity原子性):全部成功或全部失败
I(Isolation隔离性):并行事务之间互不干扰
D(Durability持久性):事务提交后,永久生效
C(Consistency一致性):通过AID保证
并发问题
脏读(Drity Read):读取到未提交的数据。 中间所有变化的值都可能读到 。
不可重复读(Non-repeatable read):两次读取结果不同。读取已提交的(不一样的值), 读到的值变化数量比脏读要少 。
幻读(Phantom Read):select 操作得到的结果所表征的数据状态 影响(无法支撑)后续的业务操作。
网上有人这样区分,脏读是读取修改的数据,幻读是读取新提交的数据。我认为也可以,或许phantom表示 虚幻的新数据 (所以无法支撑后续操作),而drity代表了修改的意思呢?
所以,不可重复读重点在于update和delete,而幻读的重点在于insert。
隔离级别
Read Uncommitted(读取未提交内容):最低隔离级别,会读取到其他事务未提交的数据;存在 脏读 的问题 。
Read Committed(读取提交内容):事务过程中可以读取到其他事务已提交的数据;存在 不可重复读 的问题 。
Repeatable Read(可重复读):每次读取相同结果集,不管其他事务是否提交;存在 幻读 的问题 。
Serializable(串行化):事务排队,隔离级别最高,性能最差。
2、MySQL事务实现原理
从上我们可以看出事务有ACID四大特性,而“I”隔离性是通过锁来实现的,我们下一节讲述。那么其他三个特性主要通过undo/redo日志的机制来实现,这个知识点在前面有一篇文章中介绍和对比过。 现在我们站在事务实现的角度再来看看。
(1)undo log
回滚日志,顾名思义,是对事物rollback时使用。这是它核心的功能之一,但是它还有另一个非常重要的功能,MVCC。所以今天这里主要介绍它是如何在事务中发挥作用的。
MVCC
Multiversion concurrency control,多版本并发控制。当用户读取一行时,如果该记录已经被其他事务占用,当前事务可以通过undo读取之前的 行版本信息 ( 快照数据 ),以此实现 非锁定读 。 所以实现了非阻塞的读操作,写操作也只锁定必要的行。即 解决读-写冲突。
快照数据就是当前行数据的历史版本,每行记录可能含有多个版本。那该读取哪个版本呢?
首先,InnoDB的每行记录或者说每条数据,除了记录用户定义的列之外,还有 两个隐藏的列 :事务ID列 DB_TRX_ID 和回滚指针 DB_ROLL_PTR。 如果该表没有定义主键,每行还会增加一个rowid列。 DB_TRX_ID是当时执行这条sql的事务id,DB_ROLL_PTR指向的就是undo log中修改前的行DB_ROW_ID。所以对同一条数据的修改,通过roll_pointer就形成了 undo log版本链 。
然后我们再来介绍下 Read View 快照读。
一般情况下读取数据时会生成一个Read View,对当前该行的可能正在进行的事务进行一个快照。
Read View中主要包含4个比较重要的内容:
m_ids:表示在生成Read View时当前系统中活跃的读写事务的事务id列表,简称 活跃列表 。
min_trx_id:表示在生成Read View时当前系统中活跃的读写事务中 最小的事务id ,也就是m_ids中的最小值。
max_trx_id:表示生成Read View时系统中应该分配给下一个事务的 id 值,,也就是m_ids中的 最大 值。
creator_trx_id:表示生成该Read View的事务的事务id。
有了这些信息,这样在访问某条记录时,只需要依次判断undo log版本链中节点的事务ID 是否可见 ,如果可见即找到了所需要的行记录。
最后,READ COMMITTED和REPEATABLE READ两种隔离级别对于快照数据生成的时机不一样。
对于RC,在每次查询语句执行的过程中,都关闭Read View, 再创建当前的一份Read View。这样就会产生不可重复读现象。
对于RR,创建事务trx结构的时候,就生成了当前的global Read View,一直维持到事务结束。在事务结束这段时间内每一次查询都不会重新重建Read View,从而实现了可重复读。
undo log分为两种格式 ,处理不一样。
insert undo log:用于回滚,提交即清理;不需要进行purge操作。
update undo log:用于回滚,同时实现快照读,不能随便删除,所以需要等待purge线程来判断何时删除。它记录的是对delete和update的操作产生的undo log。
注:以上来自书上的说法,网上有人把第一种说成delete undo log,包括insert和delete操作,供参考。
还需要补充一点的是,update undo log怎样去清理, 应该是根据系统活跃的Read view中最小的活跃事务ID之前的即可清除。
(2)redo log
redo日志其实在《 MySQL的undo/redo日志和binlog日志,以及2PC 》文章中介绍比较多,也提到了XA事务的2PC。我们这里简单介绍下普通事务的流程。
写入流程仍然可以分为两步,类似二阶段提交:
记录页的修改,状态为prepare
事务提交,讲事务记录为commit状态
三、锁
1、InnoDB锁种类
(1) 类型
共享锁(S)
读锁,可以同时被多个事务获取,阻止其他事务对记录的修改。
排他锁(X)
写锁,只能被一个事务获取,允许获得锁的事务修改数据。
而读其实又可以分为 当前读 (锁定读)和快照读(非锁定读),而快照读通过上一节描述的MVCC来实现。
当前读, 读取的是最新版本,所以需要对读取的记录加锁,阻塞其他事务改动该记录。当前读又分为两种方式:
select...for update,对读取的行加X锁;
select...lock in share mode ,对读取的行加S锁。
(2)锁粒度
行级锁
Record Lock,单个记录上的锁。
锁直接加在索引记录上面,锁住的是key,所以必须是 聚簇索引或者二级索引是唯一索引。
间隙锁
Gap Lock,间隙锁,锁定一个范围,单不包含记录本身。
InnoDB存储引擎的隔离级别默认是Repeatable Read,所以引入了间隙锁 解决 可重复读模式下的 幻读问题 。
GAP锁不是加在记录上, 锁住的位置是两条记录之间的GAP; 保证 两次当前读 返回一致的记录。
所以两次当前读之前,其他的事务 不会插入新的 满足条件的记录。
我们来整理下着两者的关系和区别。
Record Lock针对的是索引必须具备唯一性;而GAP锁针对的是索引不具备唯一性但需要保证可重复读,也就是说如果发现数据有被其他事务修改的可能,那就把前后间隙都加上锁。
比如说如下图,有个用户表,uid为主键,那么就只需要103这条记录加上行锁即可。
但是如果我们变化下查询条件(phone列上建立了二级索引),则除了对于这两条记录加锁外,对前后的间隙也需要加锁。当然这种情况是针对RR的隔离级别,如果隔离级别是RC或者更低,安全性就没有这么高,系统会自动降级到行锁。
Next-Key Lock,是Record Lock与Gap Lock的一个结合。理解了上述两种锁的原理,对于它而言就很容易了。
表级锁
Table Lock,锁定整张表。
主要用在运维的时候,对表格进行操作比如MDL或者元数据的操作 (meta data lock)等等。
当然有些情况下会触发锁升级: 全表扫描。全表扫描的触发一般情况下是当前被查询的字段没有建立任何索引。
而表级锁事实上是对所有记录和所有的间隙都加上锁。
所以全表扫描的效率非常低,要尽量避免。
2、InnoDB加锁过程
如下图,当我们更新多条数据时,是一行一行的加锁。
所以当同时出现对多条记录交叉查询时,很容易出现AB-BA死锁,如下图操作。
附录
分库分表的建议:
是否分表
建议单表不超过1KW
分表方式
取模:存储均匀&访问均匀
按时间:冷热库
分库
按业务垂直分
水平查分多个库
参考:
《MySQL技术内幕InnoDB存储引擎》
内部培训资料