一.事务提及事务就绕不开事务的四大特性原子性一致性隔离性持久性。事务是一组操作的集合它是一个不可分割的工作单位事务会把所有的操作作为一个整体一起向系统提交或撤销操作请求即这些操作要么同时成功要么同时失败。特性原子性Atomicity事务是不可分割的最小操作单元要么全部成功要么全部失败。一致性Consistency事务完成时必须使所有的数据都保持一致状态。隔离性Isolation数据库系统提供的隔离机制保证事务在不受外部并发操作影响的独立环境下运行。持久性Durability事务一旦提交或回滚它对数据库中的数据的改变就是永久的。在事务的四大特性中原子性一致性持久性通过mysql中的redo log 和undo log实现而隔离性则通过锁和MVCC(多版本并发控制)实现下面是具体的原理。二. redo log解释重做日志记录的是事务提交时数据页的物理修改是用来实现事务的持久性。该日志文件由两部分组成重做日志缓冲redo log buffer以及重做日志文件redo log file前者是在内存中后者在磁盘中。当事务提交之后会把所有修改信息都存到该日志文件中用于在刷新脏页到磁盘发生错误时进行数据恢复使用。Redo log是InnoDB用来保证事务持久性的机制他的核心作用是记录数据页修改前的操作数据库崩溃后可以通过redo log恢复数据并实现WALWrite-Ahead Logging)机制- 日志先落盘数据页后落盘。Redo log通常是通常是物理日志记录的是数据页的物理修改而不是某一行或某几行修改成怎样怎样它用来恢复提交后的物理数据页(恢复数据页且只能恢复到最后一次提交的位置)。SQL执行后修改Buffer Pool中的数据页生成redo log再写入到redo log buffer中数据在redo log buffer时位于内存中此时事务并未提交但可以落盘Redo log的刷盘时机不仅仅时事务commit,常见的刷盘时机有commitredo log buffer 空间不足导致部分日志刷盘后台线程周期性刷盘例如InnoDB每秒会触发一次刷盘当有checkpoint时checkpoint在一定程度上代表了刷到磁盘时日志所处的LSN位置。在这里为什么不直接把Buffer Pool的数据页写入磁盘呢这就涉及到数据库设计的核心没有redo log时写入磁盘为随机IO写入性能非常差且当事务涉及到多个数据页时如果直接刷盘IO巨大。redo log的核心思想是用顺序写日志代替随机写数据页这是顺序IO速度极快。三.Undo Log基本概念undo log有两个作用提供回滚和MVCC且undo log是采用段(segment)的方式来记录的每个undo操作在记录的时候占用一个undo log segment。以上只是个人的浅显理解可以参考https://www.cnblogs.com/f-ck-need-u/p/9010872.html个人认为大佬讲的非常详细四. MVCC以及实现原理在介绍MVCC及其实现原理前我们先了解几个概念。4.1 MVCC概念全称 Multi-Version Concurrency Control多版本并发控制。指维护一个数据的多个版本使得读写操作没有冲突快照读为 MySQL 实现 MVCC 提供了一个非阻塞读功能。MVCC 的具体实现还需要依赖于数据库记录中的三个隐式字段、undo log 日志、readView。4.2 快照读简单的select不加锁就是快照读快照读读取的是记录数据的可见版本有可能是历史数据不加锁是非阻塞读。Read Committed每次select都生成一个快照读。Repeatable Read开启事务后第一个select语句才是快照读的地方。Serializable快照读会退化为当前读。4.3 当前读读取的是记录的最新版本读取时还要保证其他并发事务不能修改当前记录会对读取的记录进行加锁。对于我们日常的操作如select … lock in share mode(共享锁)select … for update、update、insert、delete(排他锁) 都是一种当前读。4.4 三个隐式字段MVCC的实现需要依赖三个隐式字段查看表结构的隐式字段可以通过 idb2sdi 表空间名 查看4.5 undo log 日志和undo log 日志链上面已经介绍过undo log日志这里就不再过多赘述基础概念。undo log在MVCC中主要体现在下面几点不同事务或相同事务对同一条记录进行修改会导致记录中的undo log生成一条记录版本链条链表的头部是最新的旧记录链表尾部是最早的旧纪录。4.6 ReadView读视图ReadView读视图是快照读sql执行MVCC提取数据的依据记录并维护系统当前活跃的事务未提交的id。包括四个核心字段附ReadView中的活跃事务id集合(m_ids)的范围是生成ReadView时刻所有已开始但未提交的读写事务id版本链数据访问规则对于不同的数据库隔离级别生成的ReadView的时机也不同READ COMMITTED在事务中每一次执行快照读时生成 ReadView。REPEATABLE READ仅在事务中第一次执行快照读时生成 ReadView后续复用该 ReadView。4.6.1 RC隔离级别的快照读实现原理4.6.2 RR隔离级别的快照读实现原理无非就是看当前事务的id和版本链数据访问规则对比不成立就继续往undo log日志链由早到晚对比直到找到符合可读性的事务版本读取对应版本的数据。在RC隔离级别中每次事务执行生成的读视图不同RR级别相同。