MySQL 事物(w字)
目录
事物
首先我们来看一个简单的问题
什么是事务
为什么会出现事务
事务的版本支持
事务提交方式
事务常见操作方式
设置隔离级别
事物操作
事物结论
事务隔离级别
理解隔离性
隔离级别
查看与设置隔离性
注意可重复读【Repeatable Read】的可能问题(幻读)
总结
一致性(Consistency)
理解隔离性
数据库并发的场景有三种:
读-写
MVCC
Read View
RR 与 RC的本质区别
当前读和快照读在RR级别下的区别
RR 与 RC的本质区别(RR可重复读RC读提交)
事物
首先我们来看一个简单的问题
CURD满足什么属性,能解决上述问题?
1. 买票的过程得是原子的吧2. 买票互相应该不能影响吧3. 买完票应该要永久有效吧4. 买前,和买后都要是确定的状态吧什么是事务
事务就是一组DML 语句组成,这些语句在逻辑上存在相关性,这一组 DML 语句要么全部成功,要么全部失败,是一个整体。MySQL 提供一种机制,保证我们达到这样的效果。事务还规定不同的客户端看到的数据是不相同的。事务就是要做的或所做的事情,主要用于处理操作量大,复杂度高的数据。假设一种场景:你毕业了,学校的教务系统后台 MySQL 中,不在需要你的数据,要删除你的所有信息 ( 一般不会 :) ), 那么要删除你的基本信息( 姓名,电话,籍贯等 ) 的同时,也删除和你有关的其他信息,比如:你的各科成绩,你在校表现,甚至你在论坛发过的文章等。这样,就需要多条 MySQL 语句构成,那么所有这些操作合起来,就构成了一个事务。正如我们上面所说,一个 MySQL 数据库,可不止你一个事务在运行,同一时刻,甚至有大量的请求被包装成事务,在向 MySQL 服务器发起事务处理请求。而每条事务至少一条 SQL ,最多很多 SQL , 这样如果大家都访问同样的表数据,在不加保护的情况,就绝对会出现问题。甚至,因为事务由多条 SQL 构成,那么,也会存在执行到一半出错或者不想再执行的情况,那么已经执行的怎么办呢?所以,一个完整的事务,绝对不是简单的 sql 集合,还需要满足如下四个属性:原子性: 一个事务( transaction )中的所有操作,要么全部完成,要么全部不完成,不会结束在中间某个环节。事务在执行过程中发生错误,会被回滚(Rollback )到事务开始前的状态,就像这个事务从来没有执行过一样。一致性: 在事务开始之前和事务结束以后,数据库的完整性没有被破坏。这表示写入的资料必须完全符合所有的预设规则,这包含资料的精确度、串联性以及后续数据库可以自发性地完成预定的工作。隔离性: 数据库允许多个并发事务同时对其数据进行读写和修改的能力,隔离性可以防止多个事务并发执行时由于交叉执行而导致数据的不一致。事务隔离分为不同级别,包括读未提交( Readuncommitted )、读提交( read committed )、可重复读( repeatable read )和串行化( Serializable )持久性: 事务处理结束后,对数据的修改就是永久的,即便系统故障也不会丢失。上面四个属性,可以简称为 ACID 。原子性( A tomicity ,或称不可分割性)一致性( C onsistency )隔离性( I solation ,又称独立性)持久性( D urability )。为什么会出现事务
事务被 MySQL 编写者设计出来 , 本质是为了当应用程序访问数据库的时候 , 事务能够简化我们的编程模型 ,不需要我们去考虑各种各样的潜在错误和并发问题. 可以想一下当我们使用事务时 , 要么提交 , 要么回滚 , 我们不会去考虑网络异常了, 服务器宕机了 , 同时更改一个数据怎么办对吧 ? 因此事务本质上是为了应用层服 务的 . 而不是伴随着数据库系统天生就有的。PS:我们后面把 MySQL 中的一行信息,称为一行记录事务的版本支持
在 MySQL 中只有使用了 Innodb 数据库引擎的数据库或表才支持事务, MyISAM 不支持。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: YESSavepoints: YES -- 支持事务保存点*************************** 2 . row ***************************Engine: MRG_MYISAMSupport: YESComment: Collection of identical MyISAM tablesTransactions: NOXA: NOSavepoints: NO*************************** 3 . row ***************************Engine: MEMORY -- 内存引擎Support: YESComment: Hash based, stored in memory, useful for temporary tablesTransactions: NOXA: NOSavepoints: NO*************************** 4 . row ***************************Engine: BLACKHOLESupport: YESComment: /dev/null storage engine (anything you write to it disappears)Transactions: NOXA: NOSavepoints: NO*************************** 5 . row ***************************Engine: MyISAMSupport: YESComment: MyISAM storage engineTransactions: NO -- MyISAM 不支持事务XA: NOSavepoints: NO*************************** 6 . row ***************************Engine: CSVSupport: YESComment: CSV storage engineTransactions: NOXA: NOSavepoints: NO*************************** 7 . row ***************************Engine: ARCHIVESupport: YESComment: Archive storage engineTransactions: NOXA: NOSavepoints: NO*************************** 8 . row ***************************Engine: PERFORMANCE_SCHEMASupport: YESComment: Performance SchemaTransactions: NOXA: NOSavepoints: NO*************************** 9 . row ***************************Engine: FEDERATEDSupport: NOComment: Federated MySQL storage engineTransactions: NULLXA: NULLSavepoints: NULL9 rows in set ( 0.00 sec)事务提交方式
事务的提交方式常见的有两种:自动提交手动提交查看事务提交方式mysql> show variables like 'autocommit';+---------------+-------+| Variable_name | Value |+---------------+-------+| autocommit | ON |+---------------+-------+1 row in set ( 0.41 sec)用 SET 来改变 MySQL 的自动提交模式: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 row in set ( 0.01 sec)事务常见操作方式
设置隔离级别
mysql> set global transaction isolation level READ UNCOMMITTED;Query OK, 0 rows affected (0.00 sec)mysql> quitBye## 需要重启终端,进行查看mysql> select @@tx_isolation;+ ------------------ +| @@tx_isolation |+ ------------------ +| READ-UNCOMMITTED |+ ------------------ +1 row in set , 1 warning (0.00 sec)事物操作
mysql> show variables like 'autocommit' ; -- 查看事务是否自动提交。我们故意设置成自动提交,看看该选项是否影响 begin+---------------+-------+| Variable_name | Value |+---------------+-------+| autocommit | ON |+---------------+-------+1 row in set ( 0.00 sec)mysql> start transaction; -- 开始一个事务 begin 也可以,推荐 beginQuery OK, 0 rows affected ( 0.00 sec)mysql> savepoint save1; -- 创建一个保存点 save1Query 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; -- 创建一个保存点 save2Query 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; -- 回滚到保存点 save2Query 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)事物结论
- 只要输入begin或者start transaction,事务便必须要通过commit提交,才会持久化,与是否设置set autocommit无关。
- 事务可以手动回滚,同时,当操作异常,MySQL会自动回滚。
- 对于 InnoDB 每一条 SQL 语言都默认封装成事务,自动提交。(select有特殊情况,因为MySQL 有 MVCC )从上面的例子,我们能看到事务本身的原子性(回滚),持久性(commit)
- 那么隔离性?一致性?
事务操作注意事项
- 如果没有设置保存点,也可以回滚,只能回滚到事务的开始。直接使用 rollback(前提是事务还没有提交)。
- 如果一个事务被提交了(commit),则不可以回退(rollback)。
- 可以选择回退到哪个保存点。
- InnoDB 支持事务, MyISAM 不支持事务
- 开始事务可以使 start transaction 或者 begin
事务隔离级别
理解隔离性
- MySQL服务可能会同时被多个客户端进程(线程)访问,访问的方式以事务方式进行。
- 一个事务可能由多条SQL构成,也就意味着,任何一个事务,都有执行前,执行中,执行后的阶段。而所谓的原子性,其实就是让用户层,要么看到执行前,要么看到执行后。执行中出现问题,可以随时回滚。所以单个事务,对用户表现出来的特性,就是原子性。
- 但,毕竟所有事务都要有个执行过程,那么在多个事务各自执行多个SQL的时候,就还是有可能会出现互相影响的情况。比如:多个事务同时访问同一张表,甚至同一行数据。
- 就如同你妈妈给你说:你要么别学,要学就学到最好。至于你怎么学,中间有什么困难,你妈妈不关心。那么你的学习,对你妈妈来讲,就是原子的。那么你学习过程中,很容易受别人干扰,此时,就需要将你的学习隔离开,保证你的学习环境是健康的。
- 数据库中,为了保证事务执行过程中尽量不受干扰,就有了一个重要特征:隔离性。
- 数据库中,允许事务受不同程度的干扰,就有了一种重要特征:隔离级别。
隔离级别
读未提交【 Read Uncommitted 】 : 在该隔离级别,所有的事务都可以看到其他事务没有提交的执行结果。(实际生产中不可能使用这种隔离级别的),但是相当于没有任何隔离性,也会有很多并发问题,如脏读,幻读,不可重复读等,我们上面为了做实验方便,用的就是这个隔离性。PS:一个事物没有commit 但是另一个事物可以里面读到修改(这就是脏读问题)读提交【 Read Committed 】 :该隔离级别是大多数数据库的默认的隔离级别(不是 MySQL 默认的)。它满足了隔离的简单定义: 一个事务只能看到其他的已经提交的事务所做的改变。这种隔离级别会引起不可重复读,即一个事务执行时,如果多次 select , 可能得到不同的结果。PS:就是一个事物在未commit之前,另一个事物,无法看到其修改(避免脏读)下面(右边)这种现象就叫做 读提交![]()
这是一个问题(不可重复读)。
可重复读【 Repeatable Read 】 : 这是 MySQL 默认的隔离级别,它确保同一个事务,在执行中,多次读取操作数据时,会看到同样的数据行。但是会有幻读问题。PS:解决了 不可重复读问题 即可重复读(注意右边也是在begin里面,此时左边是commit,如果右边commit之后再去select就可以看到左边commit的数据)![]()
关于幻读:
(在其他的数据库中,insert的时候可能会存在幻读问题)
串行化【 Serializable 】 : 这是事务的最高隔离级别,它通过强制事务排序,使之不可能相互冲突,从而解决了幻读的问题。它在每个读的数据行上面加上共享锁。但是可能会导致超时和锁竞争(这种隔离级别太极端,实际生产基本不使用)PS:在串行化下,多个事物可以同时读,但是如果 要修改,就只能当只有一个事物去访问的时候才可以(其他事物要commit)
隔离级别如何实现:隔离,基本都是通过锁实现的,不同的隔离级别,锁的使用是不同的。常见有,表锁,行锁,读锁,写锁,间隙锁(GAP),Next-Key 锁 (GAP+ 行锁 ) 等。不过,我们目前现有这个认识就行,先关注上层使用。查看与设置隔离性
-- 查看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)--设置-- 设置当前会话 or 全局隔离级别语法SET [SESSION | GLOBAL] TRANSACTION ISOLATION LEVEL {READ UNCOMMITTED | READCOMMITTED | REPEATABLE READ | SERIALIZABLE}-- 设置当前会话隔离性,另起一个会话,看不多,只影响当前会话mysql> set session transaction isolation level serializable; -- 串行化Query OK, 0 rows affected ( 0.00 sec)mysql> SELECT @@global .tx_isolation ; -- 全局隔离性还是 RR+-----------------------+| @@global .tx_isolation |+-----------------------+| REPEATABLE-READ |+-----------------------+1 row in set , 1 warning ( 0.00 sec)mysql> SELECT @@session .tx_isolation ; -- 会话隔离性成为串行化+------------------------+| @@session .tx_isolation |+------------------------+| SERIALIZABLE |+------------------------+1 row in set , 1 warning ( 0.00 sec)mysql> SELECT @@tx_isolation; -- 同上+----------------+| @@tx_isolation |+----------------+| SERIALIZABLE |+----------------+1 row in set , 1 warning ( 0.00 sec)-- 设置全局隔离性,另起一个会话,会被影响mysql> set global transaction isolation level READ UNCOMMITTED;Query OK, 0 rows affected ( 0.00 sec)mysql> SELECT @@global .tx_isolation ;+-----------------------+| @@global .tx_isolation |+-----------------------+| READ-UNCOMMITTED |+-----------------------+1 row in set , 1 warning ( 0.00 sec)mysql> SELECT @@session .tx_isolation ;+------------------------+| @@session .tx_isolation |+------------------------+| READ-UNCOMMITTED |+------------------------+1 row in set , 1 warning ( 0.00 sec)mysql> SELECT @@tx_isolation;+------------------+| @@tx_isolation |+------------------+| READ-UNCOMMITTED |+------------------+1 row in set , 1 warning ( 0.00 sec)-- 注意,如果没有现象,关闭 mysql 客户端,重新连接。注意可重复读【Repeatable Read】的可能问题(幻读)
mysql> select * from account; -- 多次查看,发现终端 A 在对应事务中 insert 的数据,在终端 B 的事务周期中,也没有什么影响,也符合可重复的特点。但是,一般的数据库在可重复读情况的时候,无法屏蔽其他事务insert 的数据 ( 为什么?因为隔离性实现是对数据加锁完成的,而 insert 待插入的数据因为并不存在,那么一般加锁无法屏蔽这类问题), 会造成虽然大部分内容是可重复读的,但是 insert 的数据在可重复读情况被读取出来,导致多次查找时,会多查找出来新的记录,就如同产生了幻觉。这种现象,叫做幻读(phantom read)。很明显, MySQL 在 RR 级别的时候,是解决了幻读问题的 ( 解决的方式是用 Next-Key 锁(GAP+行锁 ) 解决的。这块比较难,有兴趣同学了解一下 ) 。总结
- 其中隔离级别越严格,安全性越高,但数据库的并发性能也就越低,往往需要在两者之间找一个平衡点。
- 不可重复读的重点是修改和删除:同样的条件, 你读取过的数据,再次读取出来发现值不一样了。幻读的重点在于新增:同样的条件, 第1次和第2次读出来的记录数不一样
- 说明: mysql 默认的隔离级别是可重复读,一般情况下不要修改。
- 上面的例子可以看出,事务也有长短事务这样的概念。事务间互相影响,指的是事务在并行执行的时候,即都没有commit的时候,影响会比较大。
一致性(Consistency)
- 事务执行的结果,必须使数据库从一个一致性状态,变到另一个一致性状态。当数据库只包含事务成功提交的结果时,数据库处于一致性状态。如果系统运行发生中断,某个事务尚未完成而被迫中断,而改未完成的事务对数据库所做的修改已被写入数据库,此时数据库就处于一种不正确(不一致)的状态。因此一致性是通过原子性来保证的。
- 其实一致性和用户的业务逻辑强相关,一般MySQL提供技术支持,但是一致性还是要用户业务逻辑做支撑,也就是,一致性,是由用户决定的。
- 而技术上,通过AID保证C。
理解隔离性
数据库并发的场景有三种:
读 - 读 :不存在任何问题,也不需要并发控制读 - 写 :有线程安全问题,可能会造成事务隔离性问题,可能遇到脏读,幻读,不可重复读(此情况为主要,所以我们就讨论这个)写 - 写 :有线程安全问题,可能会存在更新丢失问题,比如第一类更新丢失,第二类更新丢失读-写
MVCC
多版本并发控制( MVCC )是一种用来解决 读- 写 冲突 的 无锁并发控制。为事务分配单向增长的事务 ID ,为每个修改保存一个版本,版本与事务 ID 关联,读操作只读该事务开始前的数据库的快照。 所以 MVCC 可以为数据库解决以下问题。
- 在并发读写数据库时,可以做到在读操作时不用阻塞写操作,写操作也不用阻塞读操作,提高了数据库并发读写的性能。
- 同时还可以解决脏读,幻读,不可重复读等事务隔离问题,但不能解决更新丢失问题。
理解 MVCC 需要知道三个前提知识:
3 个记录隐藏字段undo 日志Read Viewundolog本质:是在事物没有提交(commit)之前使用的回滚的本质:就是拿着undolog历史数据中的版本链中的数据去覆盖现在的数据(注意图的话,实际上是那么做的,现在这么说其实是好理解)(uodolog里面有两种日志,一个是insert日志一个是update日志)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变了。
假设测试表结构是: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)上面描述的意思是:
name age DB_TRX_ID(创建该记录的事务ID) DB_ROW_ID(隐式主键) DB_ROLL_PTR(回滚指针) 张三 28 null1 null 我们目前并不知道创建该记录的事务 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提交,释放锁。
这样,我们就有了一个基于链表记录的历史版本链。所谓的回滚,无非就是用历史数据,覆盖当前数据。上面的一个一个版本,我们可以称之为一个一个的快照。
PS:
上面是以更新( `upadte`)主讲的,如果是`delete` 呢?一样的,别忘了,删数据不是清空,而是设置 flag为删除即可。也可以形成版本。如果是`insert` 呢?因为 `insert` 是插入,也就是之前没有数据,那么 `insert` 也就没有历史版本。但是一般为了回滚操作,insert 的数据也是要被放入 undo log 中,如果当前事务 commit 了,那么这个 undo log 的历史 insert记录就可以被清空了。(insert的数据也会放进去,但是里面是相反的即delete,所以回滚的话就删除掉了)总结一下,也就是我们可以理解成, `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 里面的某个版本的数据。PS:视图数据也是内存级的,但是改(增加/删除/更改)视图的数据也会改变原始表的数据,反之一样。(原始的表我们称为 基表)下面是 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 生成时刻,系统正活跃的事务 IDup_limit_id ; // 记录 m_ids 列表中事务 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 读视图
此时版本链是:
只有事务4修改过该行记录,并在事务2执行快照读前,就提交了事务。
我们的事务2在快照读该行记录的时候,就会拿该行记录的 DB_TRX_ID 去跟up_limit_id,low_limit_id和活跃事务ID列表(trx_list) 进行比较,判断当前事务2能看到该记
录的版本。// 事务 2 的 Read Viewm_ids ; // 1,3up_limit_id ; // 1low_limit_id ; // 4 + 1 = 5 ,原因: ReadView 生成时刻,系统尚未分配的下一个事务 IDcreator_trx_id // 2// 事务 4 提交的记录对应的事务 IDDB_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级别下的区别
select * from user lock in share mode ,以加共享锁方式进行读取,对应的就是当前读。-- 设置 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:
事务 A 操作 事务 A 描 述 事务 B 描述 事务 B 操作 begin 开启事务 开启事务 begin select * from user 快照读( 无影响 )查询 快照读查询 select * from user update user setage=18 where id=1 ; 更新age=18 commit 提交事务 select 快照读 , 没有读到 age=18 select * from user select lock in sharemode 当前读 , 读到 age=18 select * from userlock in share mode测试用例2-表2:
事务 A 操作 事务 A 描 述 事务 B 描述 事务 B 操作 begin 开启事务 开启事务 begin select * from user 快照读,查到age=18 update user setage=28 where id=1 ; 更新age=28 commit 提交事务 select 快照读 age=28 select * from user select lock in sharemode 当前读 age=28 select * from userlock in share mode用例1与用例2 :唯一区别仅仅是 表 1 的事务 B 在事务 A 修改 age 前 快照读 过一次 age 数据而 表 2 的事务 B 在事务 A 修改 age 前没有进行过快照读。结论:
- 事务中快照读的结果是非常依赖该事务首次出现快照读的地方,即某个事务中首次出现快照读,决定该事务后续快照读结果的能力。
- delete同样如此。
RR 与 RC的本质区别(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才会有不可重复读问题。
相关文章:

MySQL 事物(w字)
目录 事物 首先我们来看一个简单的问题 什么是事务 为什么会出现事务 事务的版本支持 事务提交方式 事务常见操作方式 设置隔离级别 事物操作 事物结论 事务隔离级别 理解隔离性 隔离级别 查看与设置隔离性 注意可重复读【Repeatable Read】的可能问题ÿ…...

字节跳动测试岗四面总结....
字节一面 1、 简单做一下自我介绍 2、 简要介绍一下项目/你负责的模块/选一个模块说一下你设计的用例 3 、get请求和post请求的区别 4、 如何判断前后端bug/3xx是什么意思 5、 说一下XXX项目中你做的接口测试/做了多少次 6、 http和https的区别 7、 考了几个ADB命令/查看…...

基于.NetCore开源的Windows的GIF录屏工具
推荐一个Github上Start超过20K的超火、好用的屏幕截图转换为 GIF 动图开源项目。 项目简介 这是基于.Net Core WPF 开发的、开源项目,可将屏幕截图转为 GIF 动画。它的核心功能是能够简单、快速地截取整个屏幕或者选定区域,并将其转为 GIF动画&#x…...

PCB 基础~典型的PCB设计流程,典型的PCB制造流程
典型的PCB设计流程 典型的PCB制造流程 • 从客户手中拿到Gerber, Drill以及其它PCB相关文件 • 准备PCB基片和薄片 – 铜箔的底片会被粘合在基材上 • 内层图像蚀刻 – 抗腐蚀的化学药水会涂在需要保留的铜箔上(例如走线和过孔) – 其他药水…...

Python logging使用
目录 logging模块 logging核心组件 logger handler StreamHandler:把日志内容在控制台中输出 FileHandler:把日志内容写入到文件中 filter formatter 注意日志级别的继承问题 logger.exception 上述样例的整体代码 日志的配置文件及其模板 lo…...
红黑树的实现原理和应用场景
红黑树的实现原理和应用场景; 有如图所示的表,现在希望查询的结果将列成行 建表语句如下: CREATE TABLE TEST_TB_GRADE2 ( ID int(10) NOT NULL AUTO_INCREMENT, USER_NAME varchar(20) DEFAULT NULL, CN_SCORE float DEFAULT NU…...

idea插件完成junit代码生成,和springboot代码示例
在idea环境下,可以用过插件的方式自动生成juint模板代码。不过具体要需要自己手动编写。 1、安装插件 打开idea,file–settings–plugins,搜索和安装插件(JunitGenerator V2.0和JUnit),安装后,后…...

【Redis面试点总结】
1、缓存 1.1、穿透 查询一个空数据,mysql也查不到也不会写入缓存可能导致多次请求数据库 方案一:缓存设空即可(可能发生数据不一致就是这条数据有了但此时缓存是空,消耗内存) 方案二:布隆过滤器&#x…...

打卡智能中国(五):博士都去哪儿了?
《打卡智能中国》系列更新了几期,有读者表示,很爱看这类接地气的真实故事,也有读者反映,不是电工,就是文员、农民、治沙人,人工智能不是高精尖学科吗?那些学历很高的博士都去哪儿了?…...

[Nacos] Nacos Client获取调用服务的提供者列表 (四)
文章目录 1.Nacos Client获取调用服务的提供者列表1.1 从Ribbon的负载均衡入手到Nacos Client获取调用服务的提高者列表1.2 getServers方法返回分析1.3 通过selectInstances方法查找Instances实例1.4 获取到要调用服务的serviceInfo Nacos Client 从Ribbon负载均衡调用服务。 …...
gcc编译一个程序的步骤(嵌入式学习)
1.预处理(Preprocessing): 在这个步骤中,预处理器将处理与#相关的代码,包括展开头文件、删除无用定义和替换宏定义。预处理器会生成一个经过宏替换和条件编译处理的中间文件。 gcc -E xxx.c -o xxx.i2.编译࿰…...

邹检验,结构变化识别及其R语言实现
在描述多维数据的维度关系时,线性模型无疑应用最多。然而某些情况下,我们关心随着时间变化或随着样本分组,线性关系的具体参数是否发生了变化,即是否发生结构变化Structural break。邹检验Chow test提供了最基本的一种结构变化显著…...

腾讯云,物联网开发平台产品,动态注册步骤
1. 下载后解压,qcloud_iot_mqtt_sign-master.zip GitHub - tencentyun/qcloud_iot_mqtt_signContribute to tencentyun/qcloud_iot_mqtt_sign development by creating an account on GitHub.https://github.com/tencentyun/qcloud_iot_mqtt_sign 2. 按照readme文…...

Padding, Spacer, Initializer 的使用
1. Padding 的使用 1.1 样式一 1) 实现 func testText1()-> some View{Text("Hello, World!").background(Color.yellow) // 背景颜色//.padding() // 默认间距.padding(.all, 10) // 所有的间距.padding(.leading, 20) // 开始的间距.ba…...

少儿编程 中国电子学会图形化编程等级考试Scratch编程四级真题解析(判断题)2023年3月
2023年3月scratch编程等级考试四级真题 判断题(共10题,每题2分,共20分) 11、在使用自定义积木时,不可以传递布尔型参数 答案:错 考点分析:考查自定义积木的使用,使用自定义积木的时候可以传递数字、文本和布尔型参数,所以错误 12、执行如下图程序后,输出的结果为“…...
Makefile学习笔记
目录 一、概述 1.1 Makefile 介绍 1.2规则 1.3核心 1.4示例 1.5定义命令 1.6 make是如何工作的 1.7、makefile中使用变量 1.8让make自动推导 1.9、另类风格的makefile 1.10、清空目标文件的规则 二、Makefile 总述 2.1、Makefile里有什么? 2.2、 mak…...
C++ 函数模板基础
文章目录 一、什么是函数模板二、函数模板的优点1、代码重用2、类型安全3、可读性4、泛型编程5、性能优化6、库开发 三、函数模板的使用场景1、通用操作2、数据结构与容器操作3、排序与查找算法4、数学与统计函数5、类型转换器6、自定义函数对象 四、模板参数的声明(…...
CUDA torch reinstall 与杂谈
一 实用技巧 1 从cuda11升级到12 apt-get --purge remove "cuda*" wget https://developer.download.nvidia.com/compute/cuda/12.1.1/local_installers/cuda_12.1.1_530.30.02_linux.run sh cuda_12.1.1_530.30.02_linux.run vim ~/.bashrc export PATH/usr/local…...
[230530] 托福TPO口语真题| TPO66~TPO72|XPO|Task1|20:30~21:00
目录 真题 预测题 真题 66. Do you agree or disagree with the following statement? Some people believe that a person needs a college education in order to have a successful career. Others believe that a college education is not necessary for…...

【FMC201】基于FMC标准的1路CameraLink Full 输入 子卡模块
产品概述 FMC201是一款CameraLink信号输入(采集)FMC子卡模块,该模块支持2路CameraLink Base模式或者1路CameraLink Full模式的图像信号输入。板卡具有2个CameraLink端口(SDR26),可以作为采集卡使用。 技术指…...

黑马Mybatis
Mybatis 表现层:页面展示 业务层:逻辑处理 持久层:持久数据化保存 在这里插入图片描述 Mybatis快速入门 ;/// 强制下线Task ForceOffline(object context);/// 发布站内消息Task PublicNotice(SysNotice context);/// 接收消息Task ReceiveMessage(…...

【C++进阶篇】智能指针
C内存管理终极指南:智能指针从入门到源码剖析 一. 智能指针1.1 auto_ptr1.2 unique_ptr1.3 shared_ptr1.4 make_shared 二. 原理三. shared_ptr循环引用问题三. 线程安全问题四. 内存泄漏4.1 什么是内存泄漏4.2 危害4.3 避免内存泄漏 五. 最后 一. 智能指针 智能指…...

华为OD机试-最短木板长度-二分法(A卷,100分)
此题是一个最大化最小值的典型例题, 因为搜索范围是有界的,上界最大木板长度补充的全部木料长度,下界最小木板长度; 即left0,right10^6; 我们可以设置一个候选值x(mid),将木板的长度全部都补充到x,如果成功…...

【C++】纯虚函数类外可以写实现吗?
1. 答案 先说答案,可以。 2.代码测试 .h头文件 #include <iostream> #include <string>// 抽象基类 class AbstractBase { public:AbstractBase() default;virtual ~AbstractBase() default; // 默认析构函数public:virtual int PureVirtualFunct…...

第一篇:Liunx环境下搭建PaddlePaddle 3.0基础环境(Liunx Centos8.5安装Python3.10+pip3.10)
第一篇:Liunx环境下搭建PaddlePaddle 3.0基础环境(Liunx Centos8.5安装Python3.10pip3.10) 一:前言二:安装编译依赖二:安装Python3.10三:安装PIP3.10四:安装Paddlepaddle基础框架4.1…...

Python训练营-Day26-函数专题1:函数定义与参数
题目1:计算圆的面积 任务: 编写一个名为 calculate_circle_area 的函数,该函数接收圆的半径 radius 作为参数,并返回圆的面积。圆的面积 π * radius (可以使用 math.pi 作为 π 的值)要求:函数接收一个位置参数 radi…...
绕过 Xcode?使用 Appuploader和主流工具实现 iOS 上架自动化
iOS 应用的发布流程一直是开发链路中最“苹果味”的环节:强依赖 Xcode、必须使用 macOS、各种证书和描述文件配置……对很多跨平台开发者来说,这一套流程并不友好。 特别是当你的项目主要在 Windows 或 Linux 下开发(例如 Flutter、React Na…...
在鸿蒙HarmonyOS 5中使用DevEco Studio实现指南针功能
指南针功能是许多位置服务应用的基础功能之一。下面我将详细介绍如何在HarmonyOS 5中使用DevEco Studio实现指南针功能。 1. 开发环境准备 确保已安装DevEco Studio 3.1或更高版本确保项目使用的是HarmonyOS 5.0 SDK在项目的module.json5中配置必要的权限 2. 权限配置 在mo…...

数据结构第5章:树和二叉树完全指南(自整理详细图文笔记)
名人说:莫道桑榆晚,为霞尚满天。——刘禹锡(刘梦得,诗豪) 原创笔记:Code_流苏(CSDN)(一个喜欢古诗词和编程的Coder😊) 上一篇:《数据结构第4章 数组和广义表》…...