Mysql事务管理

目录

一、事务

二、事务常见操作方式

①证明事务的开始与回滚

三、事务隔离级别

①查看与设置隔离性

②读未提交【Read Uncommitted】

③读提交【Read  Committed】

④可重复读【Repeatable Read】

⑤串行化【Serializable】

四、深入理解隔离性

①读-写

②RR与RC的本质区别

一、事务

什么是事务？

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

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

 所以，一个完整的事务，绝对不是简单的sql集合，还需要满足如下四个属性：
 🖊原子性：一个事务(transaction)中的所有操作，要么全部完成，要么全部不完成，不会结束在中间某个环节。事务在执行过程中发生错误，会被回滚(Rollback)到事务开始前的状态，就像这个事务从来没有执行过一样。

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

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

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

上面四个属性，可以简称为ACID。

         原子性 ( Atomicity，或称不可分割性)

         一致性 ( Consistency)

         隔离性 ( Isolation,又称独立性)

         持久性 ( Durability)

为什么会出现事务：

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

我们后面把MySQL中的一行信息，称为一行记录。

🖊事务的版本支持

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

查看数据库引擎：

🖊事务提交方式：

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

        手动提交

        自动提交

查看事务提交方式：

用 SET来改变 Mysql的自动提交模式：

二、事务常见操作方式

①证明事务的开始与回滚

🖊开启一个事务：

        begin;

或者 start transaction;

🖊创建一个保存点：

savepoint  save;

🖊回滚到某一条保存点：

rollback  to  save;

单纯 rollback 是回滚到最开始。

正常演示：

创建测试表：

🖊非正常演示：证明未commit，客户端崩溃，mysql自动会回滚(隔离级别设置为读未提交)

注意这里可以看到的前提是设置隔离级别为读未提交！：

如果，异常终止终端A：

从终端B再次查看：

数据自动回滚。

🖊非正常演示2- 证明commit了，客户端崩溃，MySQL数据不会再受影响，已经持久化。

🖊非正常演示3- 对比试验。证明begin操作会自动更改提交方式，不会受MySQL是否自动提交影响。

🖊非正常演示4 -- 证明单条SQL与事务的关系

结论：

     ①只要输入 begin或者 start transaction,事务便必须要通过 commit提交，才会持久化，与是否设置 set  autocommit无关。

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

     ③对于 InnoDB每一条SQL语言都默认封装成事务，自动提交。

事务操作注意事项：

     ①如果没有设置保存点，也可以回滚，只能回滚到事务的开始。直接使用 rollback(前提是事务还没有提交)。

     ②如果一个事务被提交了(commit)，则不可以回退(rollback)。

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

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

三、事务隔离级别

如何理解隔离性：

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

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

        数据库中，允许事务受不同程度的干扰，就有了一种重要特征：隔离级别。

🖊 隔离级别：

🖊读未提交【Read Uncommitted】:

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

🖊读提交【Read Committed】：

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

🖊 可重复读【Repeatable Read】：

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

🖊串行化【Serializable】：

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

①查看与设置隔离性

 

--设置当前会话隔离级别 or 全局隔离级别语法：

set  [session | global]  transaction  isolation  level  { read uncommitted  | read committed  |  repeatable  read  |  serializable}

②读未提交【Read Uncommitted】

--几乎没有加锁，虽然效率高，但是问题太多，不建议采用。

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

③读提交【Read  Committed】

虽然终端A提交后，终端B才能看到修改，但是此时终端B还在事务中，并没有commit，那么就造成了，同一个事务内，同样的读取，在不同的时间段(还在事务操作中！)，读取到了不同的值，这种现象叫做不可重复读(non repeatable read)!!

④可重复读【Repeatable Read】

如果将上面的终端A中的update操作，改成insert操作，会有什么问题？

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

终端Bcommit之后，可以看到。

⑤串行化【Serializable】

总结：

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

        不可重复读的重点是修改和删除：同样的条件, 你读取过的数据 , 再次读取出来发现值不一样了；幻读的重点在于新增：同样的条件, 第 1 次和第 2 次读出来的记录数不一样

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

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

🖊一致性(Consistency)

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

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

四、深入理解隔离性

数据库并发的场景有三种：

        🖊读-读：不存在任何问题，也不需要并发控制

        🖊读-写：有线程安全问题，可能会造成事务隔离性问题，可能遇到脏读，幻读，不可重复读。

        🖊写-写：有线程安全问题，可能存在更新丢失问题，比如第一类更新丢失，第二类更新丢失(后面补充)

①读-写

多版本并发控制(MVCC)是一种用来解决读-写冲突的无锁并发控制。

为事务分配单向增长的事务 ID ，为每个修改保存一个版本，版本与事务 ID 关联，读操作只读该事务开始 前的数据库的快照。 所以 MVCC 可以为数据库解决以下问题：

        🖊 在并发读写数据库时，可以做到在读操作时不用阻塞写操作，写操作也不用阻塞读操作，提高了数 据库并发读写的性能。

        🖊同时还可以解决脏读，幻读，不可重复读等事务隔离问题，但不能解决更新丢失问题。

理解MVCC需要知道三个前提知识：

         3个记录隐藏字段

        undo日志

        Read View

 🖊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 变了

假设测试表结构是：

上面描述的意思是：

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

🖊undo日志

这里不想细说，但是有一件事情得说清楚， MySQL 将来是以服务进程的方式，在内存中运行。我们之前所讲的所有机制：索引，事务，隔离性，日志等，都是在内存中完成的，即在 MySQL 内部的相关缓冲区中，保存相关数据，完成各种判断操作。然后在合适的时候，将相关数据刷新到磁盘当中的。所以，我们这里理解undo log ，简单理解成，就是 MySQL 中的一段内存缓冲区，用来保存日志数据的就行。

🖊模拟MVCC

现在有一个事务 10( 仅仅为了好区分 ) ，对 student 表中记录进行修改 (update) ：将 name( 张三 ) 改成

name( 李四 ) 。

        事务10, 因为要修改，所以要先给该记录加行锁。

        修改前，现将改行记录拷贝到undo log 中，所以， undo log 中就有了一行副本数据。 ( 原理就是写时拷贝)

        所以现在 MySQL 中有两行同样的记录。现在修改原始记录中的 name ，改成 ' 李四 ' 。并且修改原始记录的隐藏字段 DB_TRX_ID 为当前 事务 10 的 ID, 我们默认从 10 开始，之后递增。而原始记录的回滚指针 DB_ROLL_PTR 列，里面写入 undo log 中副本数据的地址，从而指向副本记录，既表示我的上一个版本就是它。

        事务10 提交，释放锁

备注：此时，最新的记录是 ’ 李四 ‘ 那条记录。

现在又有一个事务 11 ，对 student 表中记录进行修改 (update) ：将 age(28) 改成 age(38) 。

        事务11, 因为也要修改，所以要先给该记录加行锁。

        修改前，现将改行记录拷贝到undo log 中，所以， undo log 中就又有了一行副本数据。此时，新的副本，我们采用头插方式，插入undo log 。

        现在修改原始记录中的age ，改成 38 。并且修改原始记录的隐藏字段 DB_TRX_ID 为当前 事务 11 的ID。而原始记录的回滚指针 DB_ROLL_PTR 列，里面写入 undo log 中副本数据的地址，从而指向副本记录，既表示我的上一个版本就是它。

        事务11 提交，释放锁。

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

上面的一个一个版本，我们可以称之为一个一个的快照。

##一些思考：

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

        如果是`insert` 呢？因为 `insert` 是插入，也就是之前没有数据，那么 `insert` 也就没有历史版本。但是一般为了回滚操作，insert 的数据也是要被放入 undo log 中，如果当前事务 commit 了，那么这个 undo log 的历史 insert 记录就可以被清空了。

总结一下，也就是我们可以理解成， `update` 和 `delete` 可以形成版本链， `insert` 暂时不考虑。

        那么`select`呢？ 首先，`select` 不会对数据做任何修改，所以，为 `select` 维护多版本，没有意义。不过，此时有个问题， 就是：

select读取，是读取最新的版本呢？还是读取历史版本？

当前读：读取最新的记录，就是当前读。增删改，都叫做当前读， select 也有可能当前读，比如： select lock in share mode(共享锁 ), select for update 

快照读：读取历史版本 ( 一般而言 ) ，就叫做快照读。 ( 这个我们后面重点讨论 )

        我们可以看到，在多个事务同时删改查的时候，都是当前读，是要加锁的。那同时有select 过来，如果也要读取最新版( 当前读 ) ，那么也就需要加锁，这就是串行化。

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

那么，是什么决定了， select 是当前读，还是快照读呢？隔离级别 !

        那为什么要有隔离级别呢？

事务都是原子的。所以，无论如何，事务总有先有后。

但是经过上面的操作我们发现，事务从 begin->CURD->commit ，是有一个阶段的。也就是事务有执行前，执行中，执行后的阶段。但，不管怎么启动多个事务，总是有先有后的。

        那么多个事务在执行中，CURD 操作是会交织在一起的。那么，为了保证事务的 “ 有先有后 ” ，是不是应该让不同的事务看到它该看到的内容，这就是所谓的隔离性与隔离级别要解决的问题。 先来的事务，应不应该看到后来的事务所做的修改呢?

Read  View

        Read View就是事务进行 快照读 操作的时候生产的 读视图 (Read View) ，在该事务执行的快照读的那一刻，会生成数据库系统当前的一个快照，记录并维护系统当前活跃事务的ID( 当每个事务开启时，都会被分配一个ID, 这个 ID 是递增的，所以最新的事务， ID 值越大 )

        Read View 在 MySQL 源码中 , 就是一个类，本质是用来进行可见性判断的。 即当我们某个事务执行快照读的时候，对该记录创建一个 Read View 读视图，把它比作条件 , 用来判断当前事务能够看到哪个版本的数据，既可能是当前最新的数据，也有可能是该行记录的 undo log 里面的某个版本的数据。

        下面是 ReadView 结构 , 但为了减少负担，我们简化一下

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(没有写错)，当前活跃的最小的事务ID，比这个ID还要小说明是历史id
low_limit_id; //ReadView生成时刻系统尚未分配的下一个事务ID，也就是目前已出现过的事务ID的
最大值+1(也没有写错)
creator_trx_id; //创建该ReadView的事务ID

我们在实际读取数据版本链的时候，是能读取到每一个版本对应的事务 ID 的，即：当前记录的

DB_TRX_ID 。那么，我们现在手里面有的东西就有，当前快照读的 ReadView 和 版本链中的某一个记录的DB_TRX_ID 。 所以现在的问题就是，当前快照读，应不应该读到当前版本记录。一张图，解决所有问题！

对应的源码策略：

如果查到不应该看到当前版本，接下来就是遍历下一个版本，直到符合条件，即可以看到。上面的

readview 是当你select的时候，会自动形成。

整体流程：

假设当前有条记录：

事务操作：

🖊事务4：修改name（张三）为name(李四)

🖊当 事务 2 对某行数据执行了 快照读 ，数据库为该行数据生成一个 Read View 读视图

🖊我们的事务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提交的版本也是全局角度上最新的版本

②RR与RC的本质区别

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

测试表：

-- 设置 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-表1：

测试用例2-表2：

用例 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 才会有不可重复读问题。