事务隔离与可重复读的实现原理

一、前言

简单来说，事务就是要保证一组数据库操作，要么全部成功，要么全部失败。

在MySQL中，事务支持是在引擎层实现的。MySQL是一个支持多引擎的系统，但并不是所有的引擎都支持事务。比如MySQL原生的MyISAM引擎就不支持事务，这也是MyISAM被InnoDB取代的重要原因之一。

下面会以InnoDB为例。

二、隔离性与隔离级别

提到事务，肯定会想到ACID（Atomicity、Consistency、Isolation、Durability，即原子性、一致性、隔离性、持久性）

下面来看其中的 I，也就是“隔离性”。

当数据库上有多个事务同时执行的时候，就可能出现如下问题

• 脏读（dirty read）：读取了未提交的数据（涉及数据修改）
• 不可重复读（non-repeatable read）：同个事务中多次读取的同一条数据的值不同（涉及数据修改）
• 幻读（phantom read）：同个事务中相同条件下查出的数据条数不同（涉及数据增删）

为了解决这些问题，就有了“隔离级别”的概念。

在谈隔离级别之前，首先要知道，隔离级别越高，效率就会越低。因此要在二者之间寻找一个平衡点。
SQL标准的事务隔离级别包括：读未提交（read uncommitted）、读提交（read committed）、可重复读（repeatable read）和串行化（serializable ）。

• **读未提交（read uncommitted）：**一个事务还没提交时，它做的变更就能被别的事务看到。
• **读提交（read committed）：**一个事务提交之后，它做的变更才会被其他事务看到。
• 可重复读（repeatable read）：一个事务执行过程中看到的数据，总是跟这个事务在启动时看到的数据是一致的。在可重复读隔离级别下，未提交变更对其他事务也是不可见的。
• **串行化（serializable ）：**顾名思义是对于同一行记录，“写”会加“写锁”，“读”会加“读锁”。当出现读写锁冲突的时候，后访问的事务必须等前一个事务执行完成，才能继续执行。

在MySQL里，有两个“视图”的概念：

• 一个是view。它是一个用查询语句定义的虚拟表，在调用的时候执行查询语句并生成结果。创建视图的语法是create view … ，而它的查询方法与表一样。
• 另一个是InnoDB在实现MVCC时用到的一致性读视图，即consistent read view，用于支持RC（Read Committed，读提交）和RR（Repeatable Read，可重复读）隔离级别的实现。

它没有物理结构，作用是事务执行期间用来定义“我能看到什么数据”。

这些隔离级别在实现上，数据库里面会创建一个视图，访问的时候以视图的逻辑结果为准；

• 在“读未提交”隔离级别下直接返回记录上的最新值，**没有视图 **概念；
• 在“读提交”隔离级别下，这个视图是在每个 **SQL语句开始执行时 **创建的；
• 在“可重复读”隔离级别下，这个视图是在 **事务启动时 **创建的，整个事务存在期间都用这个视图；
• 在“串行化”隔离级别下，直接用加锁的方式来避免并行访问。

三、事务隔离的实现

接下来看事务隔离具体是怎么实现的（即视图是怎么实现的）。这里展开说明“可重复读”。
​

在MySQL中，实际上每条记录在更新的时候都会同时记录一条回滚操作。记录上的最新值，通过回滚操作，都可以得到前一个状态的值。
​

假设一个值从1被按顺序改成了2、3、4，在回滚日志(undo log)里面就会有类似下面的记录。