1.事务介绍

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

2 事务特性

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

3. 事务的实现原理

原子性、一致性、持久性主要是通过 redo.log 日志和 undo.logo日志实现的
隔离性根据锁和MVCC(多版本控制)实现

在这里插入图片描述

4 redo log 保证持久性

重做日志：记录的是事务提交时数据页的物理修改，是用来实现事务的持久性。该日志文件由两部分组成：重做日志缓冲(redo log buffer)以及重做日志文件(redo log fle)，前者是在内存中，后者在磁盘中。当事务提交之后会把所有修改信息都存到该日志文件中，用于在刷新脏页到磁盘，发生错误时，进行数据恢复使用。
在这里插入图片描述
当事务提交时，首先从 ibd文件中io需要更改的数据到内存中的buffer pool ，在buffer pool中进行数据修改，同时把数据页变化加载到redo log buffer中，然后redo log buffer 通过顺序io的方式，刷新到磁盘中的redo log fle文件（增加日志速度更快），即完成事务的提交，随后 buffer pool 将随机刷新，将更改后的数据刷新到ibd中，随后如果出现发生crash，则重新读取redo log fle 到buffer pool 完成持久化。

idb 为mysql 存储数据的物理文件

当buffer pool中的dirty page 还没有刷新到磁盘的时候，发生crash，启动服务后，可通过redo log 找到需要重新刷新到磁盘文件的记录；

buffer pool中的数据直接flush到disk file，是一个随机IO，效率较差，而把buffer pool中的数据记录到redo log，是一个顺序IO，可以提高事务提交的速度；

5 undo log 保证原子性

回滚日志，用于记录数据被修改前的信息，作用包含两个:提供回滚和 MVCC(多版本并发控制)。undo log和redo log记录物理日志不一样，它是逻辑日志。可以认为当delete一条记录时，undolog中会记录一条对应的insert记录，反之亦然，当update一条记录时，它记录一条对应相反的update记录。当执行rolback时，就可以从undo og中的逻辑记录读取到相应的内容并进行回滚。

Undo log销毁: undo log在事务执行时产生，事务提交时，并不会立即删除undo log，因为这些日志可能还用于MVCC。
Undo log存储:undo log采用段的方式进行管理和记录，存放是rollback segment回滚段中，内部包含1024个undo loosegment.

6 MVCC 概念

MVCC 全称 Multi-Version (oncurrencyontrol，多版本并发控制。指维护个数据的多个版本，使得读写操作没有冲突，快照读为MySQL实现MVCC提供了一个非阻塞读功能。MVCC的具体实现，还需要依赖于数据库记录中的三个隐式字段、undo log日志、readView。

当前读

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

快照读

简单的select(不加锁)就是快照读，快照读，读取的是记录数据的可见版本，有可能是历史数据，不加锁，是非阻塞读。
不同隔离级别下的快照读

Read Committed:每次select，都生成一个快照读。
Repeatable Read:开启事务后第一个select语句才是快照读的地方
Serializable:快照读会退化为当前读。

6.1 隐藏字段

在数据库表中除了有表的属性，还有三个隐藏字段
在这里插入图片描述

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

6.2 版本链

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

undo log记录存储情况

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

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

数据库表中隐藏字段的DB ROLL PTR 列存储这上一个版数据存在undo log 中。从而如同所示 undo log 中的数据形成一个版本链

在这里插入图片描述

6.3 ReadView

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

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

6.3.1readview 版本控制规则

注意：当时事务id存储值数据库表中隐藏字段的 DB TRX ID 中

在这里插入图片描述

不同的隔离级别，生成Readview的时机不同:
READ COMMITTED : 在事务中每一次执行快照读时生成ReadView。
REPEATABLE READ: 仅在事务中第一次执行快照读时生成ReadView，后续复用该ReadView。

7 隔离性实现

在这里插入图片描述

##7.1 隔离性 -读已提交原理

在这里插入图片描述
READ COMMITTED : 在事务中每一次执行快照读时生成ReadView,我们根据ReadView 和undo log ，确定查询的是那条记录
如图所示事务5 第一次查询时生成的readVive 根据版本控制规则，DB_ROLL_PIR 为DX0003的记录进行匹配发现不满足版本控制规则，则对undo log 中的下一条记录进行匹配，发现也不满足，继续匹配下一规则，发现满足第二个规则，查询时则会展示这条记录。