带你完虐面试官之MySQL事务

事务及事务的特性

事务

事务是一组操作的集合，他是一个不可分割的工作单位，事务会把所有的操作作为一个整体一起向系统提交或撤销操作请求，即这些操作要么同时成功，要么同时失败。

事务的特性（ACID）

• 原子性（Atomicity）：事务是不可分割的最小操作单元，要么全部成功，要么全部失败。
• 一致性（Consistency）：事务完成时，必须使用所有的数据都保持一致状态。
• 隔离性（Isolation）：数据库系统提供的隔离机制，保证事务在不受外部并发操作影响的独立环境下运行。
• 持久性（Durability）：事务一旦提交或回滚，它对数据库中的数据的改变就是永久的。

并发事务带来的问题

• 脏读：一个事务读到另一个事务还没有提交的数据。
• 不可重复读：一个事务先后读取同一条记录，但两次读取的数据不用，称之为不可重复读。
• 幻读：一个事务按照条件查询数据时，没有对应的数据行，但是在插入数据时，又发现这行数据已经存在，好像出现了“幻影”。

解决方案

对事物进行隔离

隔离级别

隔离级别	脏读	不可重复读	幻读
Read uncommitted 未提交读	×	×	×
Read committed 读已提交	√	×	×
Repeatable Read（默认）可重复读	√	√	×
Serializable 串行化	√	√	√

事务隔离级别越往下就越高，数据越安全，但是性能越低。

undo log 和 redo log 的区别

先讲一下缓冲池和数据页：

• 缓冲池（buffer pool）：主内存中的一个区域，里面可以缓存磁盘上经常操作的真实数据，在执行增删改查操作时（先操作缓冲池的数据，若缓冲池没有数据），则从磁盘加载并缓存，以一定频率刷新到磁盘，从而减少磁盘IO，加快处理速度
• 数据页（page）：是InnoDB存储引擎磁盘管理的最小单元，每个页的大小默认为16KB，页中存储的是行数据

redo log

重做日志，记录的是事务提交时数据页的物理修改，是用来实现事务的持久性。

该日志文件由两部分组成：重做日志缓冲（redo log buffer）以及重做日志文件（redo log file），前者是在内存中，后者在磁盘中。当事务提交之后会把所有修改信息都存到该日志文件中，用于在刷新脏页到磁盘，发生错误时，进行数据恢复使用。

redo log 保证了事务的持久性。

undo log

回滚日志，用于记录数据被修改前的信息，作用包含两个：提供回滚和MVCC（多版本并发控制）。undo log和redo log记录物理日志不一样，它是逻辑日志。

• 可以认为当delete一条记录时，undo log中会记录一条对应的insert记录，反之亦然。
• 当update一条记录时，它记录一条对应相反的update记录，当执行rollback时，就可以从undo log中的逻辑记录读取到相应的内容并进行回滚。

undo log 可以实现事务的一致性和原子性。

MVCC（多版本并发控制）

事务中的隔离性是通过锁和MVCC保证的，锁：排他锁（如一个事务获取了一个数据行的排他锁，其他事务就不能再获取该行的其他锁）

全称：Multi-Version Concurrency Control ，多版本并发控制。指维护一个数据的多个版本，使得读写操作没有冲突

MVCC-实现原理

• 记录中的隐藏字段

在MySQL中，会有3个隐藏字段：

• undo log

回滚日志，在insert、update、delete的时候产生的便于数据回滚的日志。

当insert的时候，产生的undo log日志只在回滚时需要，在事务提交后，可被立即删除。

而update、delete的时候，产生的undo log日志不仅在回滚时需要，mvcc版本访问也需要，不会立即删除。

• undo log 版本链

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

• readview

ReadView（读视图）是快照读SQL执行时mvcc提取数据的依据，记录并维护系统当前活跃的事务（未提交的）id。

• 当前读

读取的是记录的最新版本，读取时还要保证其他并发事务不能修改当前记录，会对读取的记录进行加锁。对于我们日常的操作，如：select ... lock in share mode（共享锁），select ... for update、update、insert、delete（排他锁）都是一种当前读。

• 快照读

简单的select（不加）就是快照读，快照读，读取的是记录数据的可见版本，有可能是历史数据，不加锁，是非阻塞读。

Read Committed：每次select，都生成一个快照读。

Repeatable Read：开启事务后第一个select语句才是快照读的地方。        

ReadView中包含了四个核心字段：

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

版本链数据访问规则：

1. trx_id == creator_trx_id ? 可以访问该版本 —>成立，说明数据是当前这个事务更改的。
2. trx_id < min_trx_id ？ 可以访问该版本—>成立，说明数据已经提交了。
3. trx_id > max_trx_id？不可以访问该版本—>成立，说明该事务是在ReadView生成后才开启。
4. min_trx_id <= trx_id <= max_trx_id ？ 如果trx_id不在m_ids中是可以访问该版本的—>成立，说明数据已经提交。

不同的隔离级别，生成ReadView的时机不同：

• READ COMMITTED：在事务中每一次执行快照读时生成ReadView。
• REPEATABLE READ：仅在事务中第一次执行快照读时生成ReadView，后续复用该ReadView。