InnoDB引擎

逻辑存储结构

架构

# 内存结构:
Buffer Pool:缓冲池
(内存中的一个区域,增删改查时,先操作缓冲池中的数据(缓冲池没数据,则从磁盘加载),然后再以一定的频率刷到磁盘,减少磁盘IO)
缓冲池以页为单位,底层使用链表管理Page.根据状态分为
free Page:空闲Page,未被使用
clean Page:被使用Page,数据没有被修改过
dirty Page:脏页,被使用Page,数据被修改过,页中数据与磁盘数据产生了不一致

Change Buffer:更改缓冲区
针对非唯一二级索引页,(唯一索引和主键索引不会操作更改缓冲区)
在执行增删改时,数据在BufferPool中不存在,不会操作磁盘,先把数据的变更缓存在change buffer中
在未来读取数据的时候,再将数据合并到buffer pool

Log Buffer:日志缓冲区
保存要写入磁盘当中的log日志(redolog,undolog),默认大小16MB
日志缓冲区的日志会定期刷新到磁盘中
innodb_log_buffer_size:缓冲区大小
innodb_flush_log_at_trx_commit:日志刷新到磁盘的时机

Adaptive Hash Index:自适应hash索引
优化对buffer pool当中的数据查询
InnoDB引擎会监控对各个表的索引页的查询,如果观察到hash索引可以提高查询速度,则自动的会建立hash索引
无需人工干预,系统根据情况自动生成

# 磁盘结构:
System Tablespace:系统表空间(change buffer的存放区域)
show variables like 'innodb_data_file_path';

File-Per-Table Tablespaces:独立表空间(表数据,索引)
show variables like 'innodb_file_per_table';

General Tablespaces:通用表空间(默认是没有的)
手动通过create tablespace xxx add datafile 'file_name'来创建

Undo Tablespaces:撤销表空间(存储undolog日志)

Temporary Tablespaces:临时表空间(存储用户创建的临时表)

Doublewrite Buffer Files:双写缓冲区
InnoDB引擎将数据页从Buffer Pool刷新到磁盘,刷新到磁盘之前,先将数据页写入到双写缓冲区文件
便于系统异常时,恢复数据

RedoLog:重做日志,用于刷新脏页到磁盘时,发生错误时,进行数据恢复,保证事务的持久性
(由两部分组成,重做日志缓冲区redo log buffer和重做日志文件redo log),前者是内存中,后者在磁盘中
对缓冲区的数据进行了增删改时,首先会把增删改的数据记录在redologbuffer当中
事务提交时,不会把脏页直接刷新,会把redologbuffer当中的数据变化刷新到磁盘当中
过一段时间之后,将脏页数据刷新到磁盘当中
如果出错了,此时通过redolog日志文件来进行恢复
如果顺利,此时redo日志中的数据变更记录就不需要了
redo log不会永久保存,每隔一段时间清理之前没有用的redo log
涉及两个文件:ib_logfile0,ib_logfile1

# 后台线程
将InnoDB存储引擎的缓冲池当中的数据在合适的时机刷新到磁盘文件当中

事务原理

事务是一组操作的集合,是一个不可分割的工作单位

对于事务的原子性,一致性,持久性
是由undolog和redolog日志保证的
redolog重做日志,记录的是事务提交时对数据页的物理修改,用来实现事务的持久性
undolog回滚日志,记录数据被修改前的操作,作用:提供回滚和MVCC,解决事务的原子性
undolog记录的是逻辑日志
当执行delete时,undolog会记录一条对应的insert;
当执行一条update语句时,它记录一条对应相反的update语句;
undolog在事务执行时产生,当事务提交或者回滚了,undolog就不需要了
事务提交或者回滚之后,并不会立即的删除undolog,会检查undolog中的数据记录是否涉及到MVCC
当insert的时候,产生的undolog只在回滚时需要,事务提交后,可立即删除
当update,delete的时候,产生的undolog不仅在回滚时需要,在快照读时也需要,不会立即删除
undolog采用段的方式进行管理和记录,undolog存放在回滚段中,内部包含1024个undo log segment

隔离性是由innodb引擎的锁机制和MVCC来实现的

MVCC

多版本并发控制

# 一些概念
当前读:读取的是记录的最新版本,读取时还要保证其他并发事务不能修改当前记录,会对读取的记录进行加锁
update,insert,delete
select ... lock in share mode(共享锁)
select ... for update(排他锁)
这些是当前读

快照读:就是简单的select语句,读取的是记录的可见版本,可能是历史数据
RC,每次select,都会生成一个快照读
RR,开启事务后,第一个select是快照读的地方,会产生一个快照,后续查的时候,实际上查的是前面产生的快照
Serializable:快照读会退化为当前读,每一次读取操作都会加锁

MVCC:Multi-Version Concurrency Control
维护一个数据的多个版本,使得读写操作没有冲突
快照读为MySQL实现MVCC提供了一个非阻塞读功能

MVCC的具体实现需要依赖于:数据库记录中的三个隐式字段,undolog日志,readView(读视图)
三个隐式字段:
DB_TRX_ID:插入这条记录或最后一次修改该记录的事务ID
DB_ROLL_PTR:指向这条记录的上一个版本
DB_ROW_ID:如果表没有指定主键,会生成该字段

MVCC的主要作用就是在快照读的时候，决定提取哪一个记录版本