MySQL事务管理

1.认识事务

[1.1 CURD的控制](#1.1 CURD的控制)

[1.2 事务概念](#1.2 事务概念)

[1.3 事务的四大属性](#1.3 事务的四大属性)

[1.4 事务的版本支持](#1.4 事务的版本支持)

[1.5 事务提交方式](#1.5 事务提交方式)

[1.6 为什么需要事务](#1.6 为什么需要事务)

2.事务常见操作方式

[2.1 前置工作](#2.1 前置工作)

[2.2 证明事务的开始与回滚](#2.2 证明事务的开始与回滚)

[2.2 事务提交](#2.2 事务提交)

3.事务隔离级别

[3.1 隔离性概念](#3.1 隔离性概念)

[3.2 隔离级别](#3.2 隔离级别)

[3.3 查看与设置隔离性](#3.3 查看与设置隔离性)

[3.4 读未提交【Read Uncommitted】](#3.4 读未提交【Read Uncommitted】)

[3.5 读提交【Read Committed】](#3.5 读提交【Read Committed】)

[3.6 可重复读【Repeatable Read】](#3.6 可重复读【Repeatable Read】)

[3.7 串行化【serializable】](#3.7 串行化【serializable】)

[3.8 总结](#3.8 总结)

4.如何实现隔离性

[4.1 数据库并发的场景](#4.1 数据库并发的场景)

[4.2 读-写](#4.2 读-写)

[4.3 3个记录隐藏字段](#4.3 3个记录隐藏字段)

[4.4 undo 日志](#4.4 undo 日志)

[4.5 Read View](#4.5 Read View)

[4.6 RR 与 RC的本质区别](#4.6 RR 与 RC的本质区别)

1.认识事务

1.1 CURD的控制

对于以上的问题，CURD 满足以下条件

买票的过程是原子的

买票互相不能影响

买完票要永久有效

买前，和买后都要是确定的状态
而事务就是来解决这种问题的

1.2 事务概念

事务就是 一组DML语句 组成，这些语句在逻辑上存在相关性，这一组 DML 语句要么全部成功，要么全部失败，是一个整体。MySQL 提供一种机制，保证我们达到这样的效果。事务还规定不同的客户端看到的数据是不相同的。

事务就是要做的或所做的事情，主要用于处理操作量大，复杂度高的数据。假设一种场景：你毕业了，学校的教务系统后台 MySQL 中，不在需要你的数据，要删除你的所有信息 ( 一般不会 :) ), 那么要删除你的基本信息( 姓名，电话，籍贯等 ) 的同时，也删除和你有关的其他信息，比如：你的各科成绩，你在校表现，甚至你在论坛发过的文章等。这样，就需要多条 MySQL 语句构成，那么所有这些操作合起来，就构成了一个事务。
正如上面所说，一个 MySQL 数据库，可不止你一个事务在运行，同一时刻，甚至有大量的请求被包装成事务，在向 MySQL 服务器发起事务处理请求。而每条事务至少一条 SQL ，最多很多 SQL , 这样如果大家都访问同样的表数据，在不加保护的情况，就绝对会出现问题。甚至，因为事务由多条 SQL 构成，那么，也会存在执行到一半出错或者不想再执行的情况，那么已经执行的怎么办呢？
所以对于一个完整的事务，绝对不是简单的 sql 集合，还需要满足如下四个属性：

1.3 事务的四大属性

原子性： 一个事务（ transaction ）中的所有操作，要么全部完成，要么全部不完成，不会结束在中间某个环节。事务在执行过程中发生错误，会被回滚（Rollback ）到事务开始前的状态，就像这个事务从来没有执行过一样。

**持久性：**事务处理结束后，对数据的修改就是永久的，即便系统故障也不会丢失。

**隔离性：**数据库允许多个并发事务同时对其数据进行读写和修改的能力，隔离性可以防止多个事务并发执行时由于交叉执行而导致数据的不一致。事务隔离分为不同级别，包括读未提交（ Read uncommitted ）、读提交（ read committed ）、可重复读（ repeatable read ）

和串行化（ Serializable ）

一致性： 在事务开始之前和事务结束以后，数据库的完整性没有被破坏。这表示写入的资料必须完全符合所有的预设规则，这包含资料的精确度、串联性以及后续数据库可以自发性地完成预定的工作。

对于上面事务的四种属性，前三种属性是因，后一种属性是果，代表由于事务具有原子，持久，隔离性才保证了一致性

1.4 事务的版本支持

在 MySQL 中只有使用了 Innodb 数据库引擎的数据库或表才支持事务， MyISAM 不支持。

cpp 复制代码

mysql> show engines; -- 表格显示
mysql> show engines \G -- 行显示
*************************** 1. row ***************************
         Engine: InnoDB -- 引擎名称
        Support: DEFAULT -- 默认引擎
        Comment: Supports transactions, row-level locking, and foreign keys -- 描述
   Transactions: YES -- 支持事务
             XA: YES
     Savepoints: YES -- 支持事务保存点
*************************** 5. row ***************************
         Engine: MyISAM
        Support: YES
        Comment: MyISAM storage engine
   Transactions: NO -- MyISAM不支持事务
             XA: NO
     Savepoints: NO

1.5 事务提交方式

事务的提交方式常见的有两种：

自动提交
手动提交
查看事务提交方式

cpp 复制代码

mysql> show variables like 'autocommit';
+---------------+-------+
| Variable_name | Value |
+---------------+-------+
| autocommit | ON |
+---------------+-------+

用 SET 来改变 MySQL 的自动提交模式 :

cpp 复制代码

mysql> SET AUTOCOMMIT=0; #SET AUTOCOMMIT=0 代表禁止自动提交
Query OK, 0 rows affected (0.00 sec)
mysql> show variables like 'autocommit';
+---------------+-------+
| Variable_name | Value |
+---------------+-------+
| autocommit | OFF |
+---------------+-------+
1 row in set (0.00 sec)

mysql> SET AUTOCOMMIT=1; #SET AUTOCOMMIT=1 开启自动提交
Query OK, 0 rows affected (0.00 sec)
mysql> show variables like 'autocommit';
+---------------+-------+
| Variable_name | Value |
+---------------+-------+
| autocommit | ON |
+---------------+-------+

1.6 为什么需要事务

事务被 MySQL 编写者设计出来 , 本质是为了当应用程序访问数据库的时候 , 事务能够简化我们的编程模型 ,不需要我们去考虑各种各样的潜在错误和并发问题. 可以想一下当我们使用事务时 , 要么提交 , 要么回滚 , 我们不会去考虑网络异常了, 服务器宕机了 , 同时更改一个数据怎么办 ? 因此事务本质上是为了应用层服 务的 . 而不是伴随着数据库系统天生就有的 .
备注：我们后面把 MySQL 中的一行信息，称为一行记录

2.事务常见操作方式

2.1 前置工作

为了便于演示，我们将 mysql 的默认隔离级别设置成读未提交。

下面这部分操作现在不懂没关系，具体操作后面专门会讲，现在已使用为主。

cpp 复制代码

mysql> set global transaction isolation level READ UNCOMMITTED;
Query OK, 0 rows affected (0.00 sec)
mysql> quit
Bye
##需要重启终端，进行查看
mysql> select @@tx_isolation;
+------------------+
| @@tx_isolation |
+------------------+
| READ-UNCOMMITTED |
+------------------+
1 row in set, 1 warning (0.00 sec)

创建测试表

cpp 复制代码

create table if not exists account(
id int primary key,
name varchar(50) not null default '',
blance decimal(10,2) not null default 0.0
)ENGINE=InnoDB DEFAULT CHARSET=UTF8;

2.2 证明事务的开始与回滚

cpp 复制代码

mysql> show variables like 'autocommit'; -- 查看事务是否自动提交。我们故意设置成自
动提交，看看该选项是否影响begin
+---------------+-------+
| Variable_name | Value |
+---------------+-------+
| autocommit | ON |
+---------------+-------+
1 row in set (0.00 sec)

mysql> start transaction; -- 开始一个事务begin也可以，推荐begin
Query OK, 0 rows affected (0.00 sec)

mysql> savepoint save1; -- 创建一个保存点save1
Query OK, 0 rows affected (0.00 sec)

mysql> insert into account values (1, '张三', 100); -- 插入一条记录
Query OK, 1 row affected (0.05 sec)

mysql> savepoint save2; -- 创建一个保存点save2
Query OK, 0 rows affected (0.01 sec)

mysql> insert into account values (2, '李四', 10000); -- 在插入一条记录
Query OK, 1 row affected (0.00 sec)

mysql> select * from account; -- 两条记录都在了
+----+--------+----------+
| id | name | blance |
+----+--------+----------+
| 1 | 张三 | 100.00 |
| 2 | 李四 | 10000.00 |
+----+--------+----------+
2 rows in set (0.00 sec)

mysql> rollback to save2; -- 回滚到保存点save2
Query OK, 0 rows affected (0.03 sec)

mysql> select * from account; -- 一条记录没有了
+----+--------+--------+
| id | name | blance |
+----+--------+--------+
| 1 | 张三 | 100.00 |
+----+--------+--------+
1 row in set (0.00 sec)

mysql> rollback; -- 直接rollback，回滚在最开始
Query OK, 0 rows affected (0.00 sec)

mysql> select * from account; -- 所有刚刚的记录没有了
Empty set (0.00 sec)

2.2 事务提交

eg1：证明未commit（提交事务），客户端崩溃，MySQL自动会回滚（隔离级别设置为读未提交，这里关于隔离不用在意）
-- 终端 A

cpp 复制代码

-- 终端A
mysql> select * from account; -- 当前表内无数据
Empty set (0.00 sec)

mysql> show variables like 'autocommit'; -- 依旧自动提交
+---------------+-------+
| Variable_name | Value |
+---------------+-------+
| autocommit | ON |
+---------------+-------+
1 row in set (0.00 sec)

mysql> begin; --开启事务
Query OK, 0 rows affected (0.00 sec)

mysql> insert into account values (1, '张三', 100); -- 插入记录
Query OK, 1 row affected (0.00 sec)

--数据已经存在，但没有commit，此时同时在终端B查看
-- 终端B
mysql> select * from account; 
+----+--------+--------+
| id | name | blance |
+----+--------+--------+
| 1 | 张三 | 100.00 |
+----+--------+--------+

-- 终端A
mysql> Aborted -- ctrl + \ 在终端A异常终止MySQL，此时没有commit(提交)

-- 终端B
mysql> select * from account; --数据自动回滚
Empty set (0.00 sec)

eg2:已经commit了，客户端崩溃，MySQL数据不会在受影响，已经持久化

cpp 复制代码

-- 终端A
mysql> select * from account; -- 当前表内无数据
Empty set (0.00 sec)

mysql> begin; --开启事务
Query OK, 0 rows affected (0.00 sec)

mysql> insert into account values (1, '张三', 100); -- 插入记录
Query OK, 1 row affected (0.00 sec)

mysql> commit; --提交事务
Query OK, 0 rows affected (0.04 sec)

mysql> Aborted -- ctrl + \ 在终端A异常终止MySQL，此时没有commit(提交)

-- 终端 B
mysql> select * from account; 
--数据存在了，所以commit的作用是将数据持化到MySQL中
+----+--------+--------+
| id | name | blance |
+----+--------+--------+
| 1 | 张三 | 100.00 |
+----+--------+--------+
1 row in set (0.00 sec)

即使MySQL设置了自动提交，但是只要有begin操作，就必须要手动提交，不会受MySQL是否自动提交影响

事务可以手动回滚，同时，当操作异常，MySQL会自动回滚

对于 InnoDB 每一条 SQL 语言都默认封装成事务，自动提交。（select有特殊情况，因为
MySQL 有 MVCC ）
从上面的例子，我们能看到事务本身的原子性(回滚)，持久性(commit)
事务操作注意事项
如果没有设置保存点，也可以回滚，只能回滚到事务的开始。直接使用 rollback(前提是事务
还没有提交)

如果一个事务被提交了（commit），则不可以回退（rollback）

可以选择回退到哪个保存点

InnoDB 支持事务， MyISAM 不支持事务

开始事务可以使 start transaction 或者 begin

3.事务隔离级别

3.1 隔离性概念

MySQL 服务可能会同时被多个客户端进程 ( 线程 ) 访问，访问的方式以事务方式进行

一个事务可能由多条SQL构成，也就意味着，任何一个事务，都有执行前，执行中，执行后的阶段。而所谓的原子性，其实就是让用户层，要么看到执行前，要么看到执行后。执行中出现问题，可以随时回滚。所以单个事务，对用户表现出来的特性，就是原子性。

但，毕竟所有事务都要有个执行过程，那么在多个事务各自执行多个 SQL 的时候，就还是有可能会
出现互相影响的情况。比如：多个事务同时访问同一张表，甚至同一行数据。就如同你妈妈给你说：你要么别学，要学就学到最好。至于你怎么学，中间有什么困难，你妈妈不关心。那么你的学习，对你妈妈来讲，就是原子的。那么你学习过程中，很容易受别人干扰，此时，就需要将你的学习隔离开，保证你的学习环境是健康的。

数据库中，为了保证事务执行过程中尽量不受干扰，就有了一个重要特征：隔离性
数据库中，允许事务受不同程度的干扰，就有了一种重要特征：隔离级别

3.2 隔离级别

读未提交【 Read Uncommitted 】：在该隔离级别，所有的事务都可以看到其他事务没有提交的执行结果。（实际生产中不可能使用这种隔离级别的），但是相当于没有任何隔离性，也会有很多并发问题，如脏读，幻读，不可重复读等，我们上面为了做实验方便，用的就是这个隔离性。

读提交【 Read Committed 】：该隔离级别是大多数数据库的默认的隔离级别（不是 MySQL 默认的）。它满足了隔离的简单定义 : 一个事务只能看到其他的已经提交的事务所做的改变。这种隔离级别会引起不可重复读，即一个事务执行时，如果多次 select ，可能得到不同的结果。

可重复读【 Repeatable Read 】：这是 MySQL 默认的隔离级别，它确保同一个事务，在执行中，多次读取操作数据时，会看到同样的数据行。但是会有幻读问题。

串行化【Serializable】: 这是事务的最高隔离级别，它通过强制事务排序，使之不可能相互冲突，从而解决了幻读的问题。它在每个读的数据行上面加上共享锁，。但是可能会导致超时和锁竞争（这种隔离级别太极端，实际生产基本不使用）

隔离级别如何实现：隔离，基本都是通过锁实现的，不同的隔离级别，锁的使用是不同的。常见有，表锁，行锁，读锁，写锁，间隙锁 (GAP),Next-Key 锁 (GAP+ 行锁 ) 等。不过，我们目前现有这个认识就行，先关注上层使用。

3.3 查看与设置隔离性

cpp 复制代码

-- 查看
mysql> SELECT @@global.tx_isolation; --查看全局隔级别
+-----------------------+
| @@global.tx_isolation |
+-----------------------+
| REPEATABLE-READ |
+-----------------------+
1 row in set, 1 warning (0.00 sec)

mysql> SELECT @@session.tx_isolation; --查看会话(当前)全局隔级别
+------------------------+
| @@session.tx_isolation |
+------------------------+
| REPEATABLE-READ |
+------------------------+
1 row in set, 1 warning (0.00 sec)

mysql> SELECT @@tx_isolation; --默认同上
+-----------------+
| @@tx_isolation |
+-----------------+
| REPEATABLE-READ |
+-----------------+
1 row in set, 1 warning (0.00 sec)

设置

cpp 复制代码

--设置
-- 设置当前会话 or 全局隔离级别语法
SET [SESSION | GLOBAL] TRANSACTION ISOLATION LEVEL {READ UNCOMMITTED | READ
COMMITTED | REPEATABLE READ | SERIALIZABLE}

注意当前会话隔离级别和全局的一样

但此时如果当前会话没有退出，设置全局隔离级别不会影响当前会话的隔离级别，只有当重新起另一个会话，才会生效

3.4 读未提交【Read Uncommitted】

cpp 复制代码

--几乎没有加锁，虽然效率高，但是问题太多，严重不建议采用
--终端A
-- 设置隔离级别为 读未提交
mysql> set global transaction isolation level read uncommitted;
Query OK, 0 rows affected (0.00 sec)

--重启客户端

mysql> select @@tx_isolation;
+------------------+
| @@tx_isolation |
+------------------+
| READ-UNCOMMITTED |
+------------------+
1 row in set, 1 warning (0.00 sec)

mysql> select * from account;
+----+--------+----------+
| id | name | blance |
+----+--------+----------+
| 1 | 张三 | 100.00 |
+----+--------+----------+
2 rows in set (0.00 sec)

mysql> begin; --开启事务
Query OK, 0 rows affected (0.00 sec)

mysql> update account set blance=123.0 where id=1; --更新指定行
Query OK, 1 row affected (0.05 sec)
Rows matched: 1 Changed: 1 Warnings: 0

--没有commit

--终端B
mysql> begin;

mysql> select * from account;
+----+--------+----------+
| id | name | blance |
+----+--------+----------+
| 1 | 张三 | 123.00 | --读到终端A更新但是未commit的数据[insert，delete同样]
+----+--------+----------+
2 rows in set (0.00 sec)

一个事务在执行中，读到另一个执行中事务的更新(或其他操作)但是未commit的数据，这种现象叫做脏读(dirty read)

3.5 读提交【Read Committed】

cpp 复制代码

-- 终端A
mysql> set global transaction isolation level read committed;
Query OK, 0 rows affected (0.00 sec)

--重启客户端
mysql> select * from account; --查看当前数据
+----+--------+----------+
| id | name | blance |
+----+--------+----------+
| 1 | 张三 | 123.00 |
+----+--------+----------+
2 rows in set (0.00 sec)

mysql> begin; --手动开启事务，同步的开始终端B事务
Query OK, 0 rows affected (0.00 sec)

mysql> update account set blance=321.0 where id=1; --更新张三数据
Query OK, 1 row affected (0.00 sec)
Rows matched: 1 Changed: 1 Warnings: 0

--此时切换终端到终端B，查看数据。
--终端B
mysql> begin; --手动开启事务，和终端A一前一后
Query OK, 0 rows affected (0.00 sec)

mysql> select * from account; --终端A commit之前，查看不到
+----+--------+----------+
| id | name | blance |
+----+--------+----------+
| 1 | 张三 | 123.00 | --老的值
+----+--------+----------+
2 rows in set (0.00 sec)

-- 终端A
mysql> commit; --commit提交！
Query OK, 0 rows affected (0.01 sec)

--切换终端到终端B，再次查看数据。
--终端B
mysql> select *from account;
+----+--------+----------+
| id | name | blance |
+----+--------+----------+
| 1 | 张三 | 321.00 | --新的值
+----+--------+----------+
2 rows in set (0.00 sec)

终端B在终端A commit之后，看到了修改后的数据，但是，此时终端B还在当前事务中，并未commit，那么就造成了，同一个事务内，同样的读取，在不同的时间段(依旧还在事务操作中！)，读取到了不同的值，这种现象叫做不可重复读(non reapeatable read)

3.6 可重复读【Repeatable Read】

cpp 复制代码

--终端A
mysql> set global transaction isolation level repeatable read; --设置全局隔离级别RR
Query OK, 0 rows affected (0.01 sec)

--关闭终端重启
mysql> select @@tx_isolation;
+-----------------+
| @@tx_isolation |
+-----------------+
| REPEATABLE-READ | --隔离级别RR
+-----------------+
1 row in set, 1 warning (0.00 sec)

mysql> select *from account; --查看当前数据
+----+--------+----------+
| id | name | blance |
+----+--------+----------+
| 1 | 张三 | 321.00 |
+----+--------+----------+
2 rows in set (0.00 sec)

--终端A
mysql> begin; --开启事务，同步的，终端B也开始事务
Query OK, 0 rows affected (0.00 sec)

mysql> update account set blance=4321.0 where id=1; --更新数据
Query OK, 1 row affected (0.00 sec)
Rows matched: 1 Changed: 1 Warnings: 0

--终端B
mysql> begin;
Query OK, 0 rows affected (0.00 sec)

mysql> select * from account; --终端A中事务 commit之前，查看当前表中数据，数据未更新
+----+--------+----------+
| id | name | blance |
+----+--------+----------+
| 1 | 张三 | 321.00 |
+----+--------+----------+
2 rows in set (0.00 sec)

--终端A
mysql> commit; --提交事务

--终端B
mysql> select * from account; --终端A中事务 commit 之后，查看当前表中数据，数据未更新
+----+--------+----------+
| id | name | blance |
+----+--------+----------+
| 1 | 张三 | 321.00 |
+----+--------+----------+
2 rows in set (0.00 sec)

mysql> commit; --结束事务
Query OK, 0 rows affected (0.00 sec)

mysql> select * from account; --再次查看，看到最新的更新数据
+----+--------+----------+
| id | name | blance |
+----+--------+----------+
| 1 | 张三 | 4321.00 |
+----+--------+----------+
2 rows in set (0.00 sec)

可以看到，在终端 B 中，事务无论什么时候进行查找，看到的结果都是一致的，这叫做可重复读！
一般的数据库在可重复读情况的时候，无法屏蔽其他事务insert 的数据 ( 为什么？因为隔离性实现是对数据加锁完成的，而 insert 待插入的数据因为并不存在，那么一般加锁无法屏蔽这类问题), 会造成虽然大部分内容是可重复读的，但是 insert 的数据在可重复读情况被读取出来，导致多次查找时，会多查找出来新的记录，就如同产生了幻觉。这种现象，叫做幻读
(phantom read) 。很明显， MySQL 在 RR 级别的时候，是解决了幻读问题的 ( 解决的方式是用 Next-Key 锁 (GAP+行锁 ) 解决的。有兴趣同学了解一下 ) 。

3.7 串行化【serializable】

对所有操作全部加锁，进行串行化，不会有问题，但是只要串行化，效率很低，几乎完全不会被采用

cpp 复制代码

--终端A
mysql> set global transaction isolation level serializable;
Query OK, 0 rows affected (0.00 sec)

mysql> select @@tx_isolation;
+----------------+
| @@tx_isolation |
+----------------+
| SERIALIZABLE |
+----------------+
1 row in set, 1 warning (0.00 sec)

--终端A
mysql> begin; --开启事务，终端B同步开启
Query OK, 0 rows affected (0.00 sec)

mysql> select * from account; --两个读取不会串行化，共享锁
+----+--------+----------+
| id | name | blance |
+----+--------+----------+
| 1 | 张三 | 4321.00 |
+----+--------+----------+
3 rows in set (0.00 sec)

mysql> update account set blance=1.00 where id=1; --终端A中有更新或者其他操作，会阻
塞。直到终端B事务提交。
Query OK, 1 row affected (18.19 sec)
Rows matched: 1 Changed: 1 Warnings: 0

--终端B
mysql> begin;
Query OK, 0 rows affected (0.00 sec)

mysql> select * from account; --两个读取不会串行化
+----+--------+----------+
| id | name | blance |
+----+--------+----------+
| 1 | 张三 | 4321.00 |
+----+--------+----------+
3 rows in set (0.00 sec)

mysql> commit; --提交之后，终端A中的update才会提交。
Query OK, 0 rows affected (0.00 sec)

3.8 总结

其中隔离级别越严格，安全性越高，但数据库的并发性能也就越低，往往需要在两者之间找一个平衡点。

不可重复读的重点是修改和删除：同样的条件, 你读取过的数据,再次读取出来发现值不一样了

幻读的重点在于新增：同样的条件, 第1次和第2次读出来的记录数不一样

说明： mysql 默认的隔离级别是可重复读,一般情况下不要修改

上面的例子可以看出，事务也有长短事务这样的概念。事务间互相影响，指的是事务在并行执行的时候，即都没有commit的时候，影响会比较大

一致性 (Consistency)

事务执行的结果，必须使数据库从一个一致性状态，变到另一个一致性状态。当数据库只包含事务成功提交的结果时，数据库处于一致性状态。如果系统运行发生中断，某个事务尚未完成而被迫中断，而改未完成的事务对数据库所做的修改已被写入数据库，此时数据库就处于一种不正确（不一致）的状态。因此一致性是通过原子性来保证的。

其实一致性和用户的业务逻辑强相关，一般MySQL提供技术支持，但是一致性还是要用户业务逻辑做支撑，也就是，一致性，是由用户决定的。

而技术上，通过AID保证C
update ， insert ， delete 之间是会有加锁现象的，但是 select 和这些操作是不冲突的。这就
是通过读写锁 ( 锁有行锁或者表锁 )+MVCC 完成隔离性。

4.如何实现隔离性

4.1 数据库并发的场景

读 - 读：不存在任何问题，也不需要并发控制
读 - 写：有线程安全问题，可能会造成事务隔离性问题，可能遇到脏读，幻读，不可重复读
写 - 写：有线程安全问题，可能会存在更新丢失问题，比如第一类更新丢失，第二类更新丢失

本文这里主要讨论读--写并发情况中的隔离性

4.2 读-写

多版本并发控制（ MVCC ）是一种用来解决读 - 写冲突的 无锁并发控制
为事务分配单向增长的事务 ID ，为每个修改保存一个版本，版本与事务 ID 关联，读操作只读该事务开始前的数据库的快照。所以 MVCC 可以为数据库解决以下问题

在并发读写数据库时，可以做到在读操作时不用阻塞写操作，写操作也不用阻塞读操作，提高了数据库并发读写的性能
同时还可以解决脏读，幻读，不可重复读等事务隔离问题，但不能解决更新丢失问题

这里暂时知道

1.每个事物都有自己的事务ID，可以根据事务ID大小，来决定事务到来的先后顺序

2.MySQL可能会面临处理多个事务的情况，事务也有属于自己的生命周期，MySQL要对此进行管理，因此事务也要有自己的结构体
理解 MVCC 需要知道三个前提知识：

3 个记录隐藏字段
undo 日志
Read View
下面一步一步来看

4.3 3个记录隐藏字段

DB_TRX_ID ： 6 byte ，最近修改 ( 修改 / 插入 ) 事务 ID ，记录创建这条记录 / 最后一次修改该记录的事务ID
DB_ROLL_PTR : 7 byte ，回滚指针，指向这条记录的上一个版本（简单理解成，指向历史版本就行，这些数据一般在 undo log 中）
DB_ROW_ID : 6 byte ，隐含的自增 ID （隐藏主键），如果数据表没有主键， InnoDB 会自动以DB_ROW_ID 产生一个聚簇索引
补充：实际还有一个删除 flag 隐藏字段 , 既记录被更新或删除并不代表真的删除，而是删除时让 flag改变

eg：假设测试表结构是

cpp 复制代码

mysql> create table if not exists student(
name varchar(11) not null,
age int not null
);

mysql> insert into student (name, age) values ('张三', 28);
Query OK, 1 row affected (0.05 sec)

mysql> select * from student;
+--------+-----+
| name | age |
+--------+-----+
| 张三 | 28 |
+--------+-----+
1 row in set (0.00 sec)

我们目前并不知道创建该记录的事务 ID ，隐式主键，我们就默认设置成 null ， 1 。第一条记录也没有其他版本，我们设置回滚指针为null 。

|----------|---------|------------------------|------------------|--------------------|
| name | age | DB_TRX_ID(创建该记录的事务ID) | DB_ROW_ID(隐式主键) | DB_ROLL_PTR(回滚指针) |
| 张三 | 28 | null | 1 | null |

4.4 undo 日志

MySQL 将来是以服务进程的方式，在内存中运行。我们之前所讲的所有机制：索引，事务，隔离性，日志等，都是在内存中完成的，即在 MySQL 内部的相关缓冲区中，保存相关数据，完成各种判断操作。然后在合适的时候，将相关数据刷新到磁盘当中的。

所以，这里理解 undo log ，简单理解成，就是 MySQL 中的一段内存缓冲区，用来保存日志数据的就行。

eg:模拟MVCC
1.现在有一个事务 10( 仅仅为了好区分 ) ，对 student 表中记录进行修改 (update) ：将 name( 张三 ) 改成
name( 李四 ) 。
2.事务 10, 因为要修改，所以要先给该记录加行锁。
3.修改前，现将改行记录拷贝到 undo log 中，所以， undo log 中就有了一行副本数据。 ( 原理就是写
时拷贝 )
4.所以现在 MySQL 中有两行同样的记录。现在修改原始记录中的 name ，改成 ' 李四 ' 。并且修改原始
5.记录的隐藏字段 DB_TRX_ID 为当前事务 10 的 ID, 我们默认从 10 开始，之后递增。而原始记录的回滚指针 DB_ROLL_PTR 列，里面写入 undo log 中副本数据的地址，从而指向副本记录，既表示我的上一个版本就是它。
6.事务 10 提交，释放锁。如下图

备注：此时，最新的记录是 ' 李四 ' 那条记录。
1.现在又有一个事务 11 ，对 student 表中记录进行修改 (update) ：将 age(28) 改成 age(38) 。
2.事务 11, 因为也要修改，所以要先给该记录加行锁。
3.修改前，现将改行记录拷贝到 undo log 中，所以， undo log 中就又有了一行副本数据。此时，新的副本，我们采用头插方式，插入undo log 。
4.现在修改原始记录中的 age ，改成 38 。并且修改原始记录的隐藏字段 DB_TRX_ID 为当前事务 11 的ID。而原始记录的回滚指针 DB_ROLL_PTR 列，里面写入 undo log 中副本数据的地址，从而指向副本记录，既表示我的上一个版本就是它。
5.事务 11 提交，释放锁。如下图

这样，我们就有了一个基于链表记录的历史版本链。所谓的回滚，无非就是用历史数据，覆盖当前数据。
上面的一个一个版本，我们可以称之为一个一个的快照。

上面是以更新（`upadte`）主讲的,如果是`delete`呢？一样的，
删数据不是清空，而是设置 flag为删除即可。也可以形成版本。
如果是 `insert` 呢？

因为 `insert` 是插入，也就是之前没有数据，那么 `insert` 也就没有历史版本。但是
一般为了回滚操作， insert 的数据也是要被放入 undo log 中，如果当前事务 commit 了，那么这个 undo log 的历史 insert 记录就可以被清空了。
`select` 呢？
首先， `select` 不会对数据做任何修改，所以，为 `select` 维护多版本，没有意义。
select 读取，是读取最新的版本呢？还是读取历史版本？
这里就引入两个概念
当前读：读取最新的记录，就是当前读。增删改，都叫做当前读， select 也有可能当前读，比如： select lock in share mode(共享锁 ), select for update
快照读：读取历史版本 ( 一般而言 ) ，就叫做快照读。 ( 这个后面重点讨论 )
我们可以看到，在多个事务同时删改查的时候，都是当前读，是要加锁的。那同时有 select 过来，如果也要读取最新版( 当前读 ) ，那么也就需要加锁，这就是串行化。

但如果是快照读，读取历史版本的话，是不受加锁限制的。也就是可以并行执行！换言之，提高了效率，即MVCC的意义所在。

那么，是什么决定了， select 是当前读，还是快照读呢？隔离级别 !
那为什么要有隔离级别呢？
事务都是原子的。所以，无论如何，事务总有先有后。
但是经过上面的操作我们发现，事务从 begin->CURD->commit ，是有一个阶段的。也就是事务有执行前，执行中，执行后的阶段。但不管怎么启动多个事务，总是有先有后的。
那么多个事务在执行中， CURD 操作是会交织在一起的。那么，为了保证事务的 " 有先有后 " ，是不是应该让不同的事务看到它该看到的内容，这就是所谓的隔离性与隔离级别要解决的问题。

4.5 Read View

Read View 就是 事务进行快照读操作的时候生产的读视图 (Read View) ，在该事务执行的快照读的那一刻，会生成数据库系统当前的一个快照，记录并维护系统当前活跃事务的ID( 当每个事务开启时，都会被分配一个ID, 这个 ID 是递增的，所以最新的事务， ID 值越大 )
Read View 在 MySQL 源码中 , 就是一个类，本质是用来进行可见性判断的。即当我们某个事务执行快照读的时候，对该记录创建一个 Read View 读视图，把它比作条件 , 用来判断当前事务能够看到哪个版本的数据，既可能是当前最新的数据，也有可能是该行记录的 undo log 里面的某个版本的数据。
下面是简化后的ReadView 结构

cpp 复制代码

class ReadView {
    // 省略...
    private:

    /** 高水位，大于等于这个ID的事务均不可见*/
    trx_id_t m_low_limit_id

    /** 低水位：小于这个ID的事务均可见 */
    trx_id_t m_up_limit_id;

    /** 创建该 Read View 的事务ID*/
    trx_id_t m_creator_trx_id;

    /** 创建视图时的活跃事务id列表*/
    ids_t m_ids;

    /** 配合purge，标识该视图不需要小于m_low_limit_no的UNDO LOG，
    * 如果其他视图也不需要，则可以删除小于m_low_limit_no的UNDO LOG*/
    trx_id_t m_low_limit_no;

    /** 标记视图是否被关闭*/
    bool m_closed;
    // 省略...
};

m_ids ; // 一张列表，用来维护 Read View 生成时刻，系统正活跃的事务 ID
up_limit_id ; // 记录 m_ids 列表中事务 ID 最小的 ID
low_limit_id ; //ReadView 生成时刻系统尚未分配的下一个事务 ID ，也就是目前已出现过的事务 ID 的最大值+1
creator_trx_id // 创建该 ReadView 的事务 ID

read view是一个对象，值初始化后，不变了

read view时事务可见性的一个类，不是事务创建出来的，就会有read view，而是当这个事务(已经存在)，首次进行快照读的时候，MySQL形成read view.
在实际读取数据版本链的时候，是能读取到每一个版本对应的事务 ID 的，即：当前记录的 DB_TRX_ID 。
那么，现在手里面有的东西就有，当前快照读的 ReadView 和版本链中的某一个记录的
DB_TRX_ID 。
所以现在的问题就是，当前快照读，应不应该读到当前版本记录。如下图

对应源码策略：

如果查到不应该看到当前版本，接下来就是遍历下一个版本，直到符合条件，即可以看到。上面的
readview 是当你进行 select 的时候，会自动形成

eg:假设当前有条记录

事务操作：时间自顶向下

|-----------------------|-----------------------|-----------------------|-----------------------|
| 事务 1 [id=1] | 事务 2 [id=2] | 事务 2 [id=3] | 事务 2 [id=4] |
| 事务开始 | 事务开始 | 事务开始 | 事务开始 |
| ... | ... | ... | 修改且已提交 |
| 进行中 | 快照读 | 进行中 | |
| ... | ... | ... | |

事务 4 ：修改 name( 张三 ) 变成 name( 李四 )
当事务 2 对某行数据执行了快照读，数据库为该行数据生成一个 Read View 读视图

// 事务 2 的 Read View
m_ids ; // 1,3
up_limit_id ; // 1
low_limit_id ; // 4 + 1 = 5 ，原因： ReadView 生成时刻，系统尚未分配的下一个事务 ID
creator_trx_id // 2
此时版本链是：

只有事务 4 修改过该行记录，并在事务 2 执行快照读前，就提交了事务
我们的事务 2 在快照读该行记录的时候，就会拿该行记录的 DB_TRX_ID 去跟
up_limit_id,low_limit_id 和活跃事务 ID 列表 (trx_list) 进行比较，判断当前事务 2 能否看到该记
录的版本
// 事务 2 的 Read View
m_ids ; // 1,3
up_limit_id ; // 1
low_limit_id ; // 4 + 1 = 5 ，原因： ReadView 生成时刻，系统尚未分配的下一个事务 ID
creator_trx_id // 2
// 事务 4 提交的记录对应的事务 ID
DB_TRX_ID = 4
// 比较步骤
DB_TRX_ID （ 4 ） < up_limit_id （ 1 ） ? 不小于，下一步
DB_TRX_ID （ 4 ） >= low_limit_id ( 5 ) ? 不大于，下一步
m_ids . contains ( DB_TRX_ID ) ? 不包含，说明，事务 4 不在当前的活跃事务中。
// 结论
故，事务 4 的更改，应该看到。
所以事务 2 能读到的最新数据记录是事务 4 所提交的版本，而事务 4 提交的版本也是全局角度上最新的版本

4.6 RR与RC的本质区别

当前读和快照读在 RR 级别下的区别
eg：

select * from user lock in share mode , 以加共享锁方式进行读取，对应的就是当前读。此
处只作为测试使用

cpp 复制代码

--设置RR模式下测试
mysql> set global transaction isolation level REPEATABLE READ;
Query OK, 0 rows affected (0.00 sec)

--重启终端
mysql> select @@tx_isolation;
+-----------------+
| @@tx_isolation |
+-----------------+
| REPEATABLE-READ |
+-----------------+
1 row in set, 1 warning (0.00 sec)

create table if not exists account(
id int primary key,
name varchar(50) not null default '',
blance decimal(10,2) not null default 0.0
)ENGINE=InnoDB DEFAULT CHARSET=UTF8;

--插入一条记录，用来测试
mysql> insert into user (id, age, name) values (1, 15,'黄蓉');
Query OK, 1 row affected (0.00 sec)

测试1：时间自顶向下

|-------------------------------------|--------------------------|-------------------------------------------|----------------------------------------|
| 事务 A 操作 | 事务 A 描述 | 事务 B 描述 | 事务 B 操作 |
| begin | 开启事务 | 开启事务 | begin |
| select * from user | 快照读 (无影响 ) 查询 | 快照读查询 | select * from user |
| update user set age=18 where id=1 ; | 更新 age=18 | - | - |
| commit | 提交事务 | - | - |
| | | select 快照读 , 没有读到 age=18 | select * from user |
| | | select lock in share mode 当前读 , 读到 age=18 | select * from user lock in share mode |

测试2：时间自顶向下

|-------------------------------------|--------------------------|-------------------------------------------|----------------------------------------|
| 事务 A 操作 | 事务 A 描述 | 事务 B 描述 | 事务 B 操作 |
| begin | 开启事务 | 开启事务 | begin |
| select * from user | 快照读 (无影响 ) 查询 | - | - |
| update user set age=28 where id=1 ; | 更新 age=18 | - | - |
| commit | 提交事务 | - | - |
| | | select 快照读 age=28 | select * from user |
| | | select lock in share mode 当前读 , 读到 age=28 | select * from user lock in share mode |

用例 1 与用例 2 ：唯一区别仅仅是表 1 的事务 B 在事务 A 修改 age 前快照读过一次 age 数据
而表 2 的事务 B 在事务 A 修改 age 前没有进行过快照读。

事务中快照读的结果是非常依赖该事务首次出现快照读的地方，即某个事务中首次出现快照读，决定该事务后续快照读结果的能力
delete 同样如此
RR 与 RC 的本质区别
正是 Read View 生成时机的不同，从而造成 RC,RR 级别下快照读的结果的不同

在 RR 级别下的某个事务的对某条记录的第一次快照读会创建一个快照及 Read View, 将当前系统活跃的其他事务记录起来

此后在调用快照读的时候，还是使用的是同一个 Read View ，所以只要当前事务在其他事务提交更新之前使用过快照读，那么之后的快照读使用的都是同一个Read View ，所以对之后的修改不可见；

即 RR 级别下，快照读生成 Read View 时， Read View 会记录此时所有其他活动事务的快照，这些事务的修改对于当前事务都是不可见的。而早于Read View 创建的事务所做的修改均是可见

而在 RC 级别下的，事务中，每次快照读都会新生成一个快照和 Read View, 这就是我们在 RC 级别下的事务中可以看到别的事务提交的更新的原因

总之在 RC 隔离级别下，是每个快照读都会生成并获取最新的 Read View ；而在 RR 隔离级别下，则是同一个事务中的第一个快照读才会创建Read View, 之后的快照读获取的都是同一个 Read View 。
正是 RC 每次快照读，都会形成 Read View ，所以， RC 才会有不可重复读问题。
读 - **读：**不讨论
写 - **写：**现阶段，直接理解成都是当前读，当前不做深究

1.认识事务

1.1 CURD的控制

1.2 事务概念

1.3 事务的四大属性

1.4 事务的版本支持

1.5 事务提交方式

1.6 为什么需要事务

**2.**事务常见操作方式

2.1 前置工作

为了便于演示，我们将 mysql 的默认隔离级别设置成读未提交。

下面这部分操作现在不懂没关系，具体操作后面专门会讲，现在已使用为主。

2.2 证明事务的开始与回滚

2.2 事务提交

3.事务隔离级别

3.1 隔离性概念

3.2 隔离级别

3.3 查看与设置隔离性

3.4 读未提交【Read Uncommitted】

3.5 读提交【Read Committed】

3.6 可重复读【Repeatable Read】

3.7 串行化【serializable】

3.8 总结

4.如何实现隔离性

4.1 数据库并发的场景

4.2 读**-**写

4.3 3个记录隐藏字段

4.4 undo 日志

4.5 Read View

4.6 RR与RC****的本质区别

2.事务常见操作方式

4.2 读-写

4.6 RR与RC的本质区别