【Mysql-InnoDB 系列】事务模型

本文涉及的产品
RDS MySQL Serverless 基础系列,0.5-2RCU 50GB
云数据库 RDS MySQL,集群系列 2核4GB
推荐场景:
搭建个人博客
云数据库 RDS PostgreSQL,集群系列 2核4GB
简介: 提到事务,大家都有基本的了解,例如mysql的事务隔离级别包括:读未提交、读已提交、可重复读、串行化;InnoDB默认是RR(可重复读);基本的MVCC等等。但大部分人对深入一些的原理就知之甚少了。本文整理事务模型的相关内容,仅供参考。

零 简介

   提到事务,大家都有基本的了解,例如mysql的事务隔离级别包括:读未提交、读已提交、可重复读、串行化;InnoDB默认是RR(可重复读);基本的MVCC等等。但大部分人对深入一些的原理就知之甚少了。本文整理事务模型的相关内容,仅供参考。

一 隔离级别

   什么是事务隔离?为什么有不同的事务隔离级别?作用是什么?带着这些问题,我们开始学习、

   事务隔离是数据库处理的基础之一。“隔离”,是缩写ACID中的I;隔离级别是一种设置,当多个事务同时进行更改和执行查询时,它可以通过微调来平衡性能与结果的可靠性、一致性和可再现性之间的平衡

   InnoDB提供了SQL:1992标准中描述的全部四种事务隔离级别:READ UNCOMMITTED, READ COMMITTED, REPEATABLE READ, 和 SERIALIZABLE。InnoDB的默认事务隔离级别是可重复读(REPEATABLE READ)。

   用户可以通过SET TRANSACTION语句,在一次单一的会话中,或者为所有后续链接修改隔离级别。在命令行或一个配置文件中使用--transaction-isolation选项,为server的所有链接设置默认隔离级别。InnoDB使用不同的锁定策略支持这里描述的每个事务隔离级别。对于ACID遵从性非常重要的关键数据操作,可以强制执行与默认可重复读取级别的高度一致性。或者,你可以使用READ COMMITTED甚至READ UNCOMMITTED来放宽一致性规则,例如在批量报告中,精确的一致性和可重复的结果不如最小化锁定开销那么重要。

   SERIALIZABLE执行比REPEATABLE READ更严格的规则,主要用于特殊情况,例如XA事务,以及解决并发和死锁问题。

下面的列表描述了MySQL是如何支持不同的事务等级的。列表从最常用的级别到最少使用的级别。

1.1 (可重复读)REPEATABLE READ

InnoDB的默认隔离级别。在同一个事务内的一致性读,读取由第一次读创建的快照。这意味着,如果在同一事务中发出多个普通(非锁定)SELECT语句,那么这些SELECT语句彼此之间也是一致的。

对锁定读(SELECT 语句中包含FOR UPDATE 或 FOR SHARE),UPDATE 和 DELETE语句,锁定取决于语句是使用具有唯一搜索条件的唯一索引,还是使用范围类型搜索条件。

1、对于使用唯一搜索条件的唯一索引,InnoDB只锁住查找到的索引记录,而不是它前面的间隙;

2、对其他搜索条件,InnoDB锁住的是扫描到的索引范围,使用gap锁或临键锁来阻塞其他会话向这个范围覆盖的各个间隙的插入操作。

1.2 读已提交

即使在同一事务中,每次一致读取都会设置并读取自己的新快照。关于一致性读的详细阐述,我们会在后面的章节中描述。对于锁定读(SELECT with FOR UPDATE or FOR SHARE),UPDATE语句和DELETE语句,InnoDB只锁住索引记录,而不是他们前面的间隙,因此允许在锁定的记录旁边自由插入新记录。间隙锁定仅用于外键约束检查和重复键检查。

因为禁用了间隙锁,所以可能会出现幻象问题,因为其他会话可以在间隙中插入新行。只有基于行的二进制日志记录支持读已提交隔离级别。如果使用READ COMMITTED 和 binlog_format=MIXED参数,服务器将自动使用基于行的日志记录。

使用读已提交有附加效果:

1、对于UPDATE或DELETE语句,InnoDB只对它更新或删除的行持有锁。在MySQL评估WHERE条件之后,将释放不匹配行的记录锁。这大大降低了死锁的概率,但它们仍然可以发生

2、对于UPDATE语句,如果一行已经被锁定,InnoDB执行“半一致”读取,将最新提交的版本返回给MySQL,以便MySQL可以确定该行是否匹配更新的WHERE条件。如果行匹配(必须更新),MySQL再次读取该行,这次InnoDB要么锁定它,要么等待锁定。

考虑以下示例,从下表开始:

CREATE TABLE t (a INT NOT NULL, b INT) ENGINE = InnoDB;
INSERT INTO t VALUES (1,2),(2,3),(3,2),(4,3),(5,2);
COMMIT;

在这种情况下,表没有索引,因此搜索和索引扫描使用隐藏的聚集索引来锁定记录,而不是索引列。

假设一个会话使用下面的语句执行更新:

# Session A
START TRANSACTION;
UPDATE t SET b = 5 WHERE b = 3;

还假设第二个会话通过在第一个会话的语句之后执行这些语句来执行更新:

# Session B
UPDATE t SET b = 4 WHERE b = 2;

当InnoDB执行每个更新时,它首先为每一行获取一个独占锁,然后确定是否修改它。如果InnoDB不修改行,它就会释放锁。否则,InnoDB将保留锁直到事务结束。这会影响事务处理,如下所示。

当使用默认的可重复读隔离级别时,第一个UPDATE在它读取的每行上获得一个x锁并不会释放它们中的任意一个:

x-lock(1,2); retain x-lock
x-lock(2,3); update(2,3) to (2,5); retain x-lock
x-lock(3,2); retain x-lock
x-lock(4,3); update(4,3) to (4,5); retain x-lock
x-lock(5,2); retain x-lock

第二次更新在尝试获取任何锁时立即阻塞(因为第一次更新在所有行上保留了锁),并且在第一次更新提交或回滚之前不会继续:

x-lock(1,2); block and wait for first UPDATE to commit or roll back

如果改为使用READ COMMITTED,则第一次更新将在其读取的每一行上获取x锁,并释放未修改的行的x锁:

x-lock(1,2); unlock(1,2)
x-lock(2,3); update(2,3) to (2,5); retain x-lock
x-lock(3,2); unlock(3,2)
x-lock(4,3); update(4,3) to (4,5); retain x-lock
x-lock(5,2); unlock(5,2)

对于第二次更新,InnoDB执行“半一致”读取,将读取的每一行的最新提交版本返回给MySQL,以便MySQL可以确定该行是否匹配更新的WHERE条件:

x-lock(1,2); update(1,2) to (1,4); retain x-lock
x-lock(2,3); unlock(2,3)
x-lock(3,2); update(3,2) to (3,4); retain x-lock
x-lock(4,3); unlock(4,3)
x-lock(5,2); update(5,2) to (5,4); retain x-lock

但是,如果WHERE条件包含索引列,并且InnoDB使用索引,那么在获取和保留记录锁时,只考虑索引列。

在下面的示例中,第一个UPDATE在b=2的每一行上获取并保持一个x锁。第二个UPDATE会在尝试获取在向同记录上的X锁时阻塞,因为它也使用在b这一列上定义的索引:

CREATE TABLE t (a INT NOT NULL, b INT, c INT, INDEX (b)) ENGINE = InnoDB;
INSERT INTO t VALUES (1,2,3),(2,2,4);
COMMIT;
# Session A
START TRANSACTION;
UPDATE t SET b = 3 WHERE b = 2 AND c = 3;
# Session B
UPDATE t SET b = 4 WHERE b = 2 AND c = 4;

READ COMMITTED 隔离级别可以在启动时设置或在运行时改变。在运行时,也可以为所有会话设置全局,或仅单独作用于各个session。

1.3 读未提交

SELECT语句以非锁定方式执行,但可能会使用行的早期版本。因此,使用这个隔离级别,这样的读取是不一致的。这也称为脏读。否则,此隔离级别的工作方式类似于READ COMMITTED。

1.4 串行化

此级别类似于可重复读,但当禁用自动提交时,InnoDB会隐式地将所有普通SELECT语句转换为SELECT...FOR SHARE;如果启用了autocommit,则SELECT是它自己的事务。因此,已知它是只读的,如果作为一致(非锁定)读取执行,并且不需要为其他事务阻塞,则可以序列化。(若要强制普通SELECT在其他事务已修改选定行时阻止,请禁用“自动提交”。)

附,事务隔离级别查询和设置方法:

1、事务隔离级别查询

2、设置方法

修改隔离级别的语句:set [作用域] transaction isolation level [事务隔离级别],

SET [SESSION | GLOBAL] TRANSACTION ISOLATION LEVEL {READ UNCOMMITTED | READ COMMITTED | REPEATABLE READ | SERIALIZABLE}。

【作用域】可以是 SESSION 或者 GLOBAL,GLOBAL 指全局,而 SESSION 只针对当前会话窗口。隔离级别是 {READ UNCOMMITTED | READ COMMITTED | REPEATABLE READ | SERIALIZABLE} 这四种,不区分大小写。

例如,修改全局事务隔离级别为可重复读:

set global transaction isolation level read committed;

相关实践学习
如何快速连接云数据库RDS MySQL
本场景介绍如何通过阿里云数据管理服务DMS快速连接云数据库RDS MySQL,然后进行数据表的CRUD操作。
全面了解阿里云能为你做什么
阿里云在全球各地部署高效节能的绿色数据中心,利用清洁计算为万物互联的新世界提供源源不断的能源动力,目前开服的区域包括中国(华北、华东、华南、香港)、新加坡、美国(美东、美西)、欧洲、中东、澳大利亚、日本。目前阿里云的产品涵盖弹性计算、数据库、存储与CDN、分析与搜索、云通信、网络、管理与监控、应用服务、互联网中间件、移动服务、视频服务等。通过本课程,来了解阿里云能够为你的业务带来哪些帮助     相关的阿里云产品:云服务器ECS 云服务器 ECS(Elastic Compute Service)是一种弹性可伸缩的计算服务,助您降低 IT 成本,提升运维效率,使您更专注于核心业务创新。产品详情: https://www.aliyun.com/product/ecs
相关文章
|
2天前
|
SQL 安全 关系型数据库
【MySQL基础篇】事务(事务操作、事务四大特性、并发事务问题、事务隔离级别)
事务是MySQL中一组不可分割的操作集合,确保所有操作要么全部成功,要么全部失败。本文利用SQL演示并总结了事务操作、事务四大特性、并发事务问题、事务隔离级别。
【MySQL基础篇】事务(事务操作、事务四大特性、并发事务问题、事务隔离级别)
|
8天前
|
SQL 关系型数据库 MySQL
MySQL进阶突击系列(04)事务隔离级别、AICD、CAP、BASE原则一直搞不懂? | 看这篇就够了
本文详细介绍了数据库事务的四大特性(AICD原则),包括原子性、隔离性、一致性和持久性,并深入探讨了事务并发问题与隔离级别。同时,文章还讲解了分布式系统中的CAP理论及其不可能三角关系,以及BASE原则在分布式系统设计中的应用。通过具体案例和图解,帮助读者理解事务处理的核心概念和最佳实践,为应对相关技术面试提供了全面的知识准备。
|
2月前
|
存储 SQL 关系型数据库
MySQL的事务隔离级别
【10月更文挑战第17天】MySQL的事务隔离级别
129 43
|
1月前
|
关系型数据库 MySQL
mysql事务特性
原子性:一个事务内的操作统一成功或失败 一致性:事务前后的数据总量不变 隔离性:事务与事务之间相互不影响 持久性:事务一旦提交发生的改变不可逆
|
29天前
|
关系型数据库 MySQL 数据库
MySQL事务隔离级别及默认隔离级别的设置
在数据库系统中,事务隔离级别是一个关键的概念,它决定了事务在并发执行时如何相互隔离。MySQL提供了四种事务隔离级别,每种级别都解决了不同的并发问题。本文将详细介绍这些隔离级别以及MySQL的默认隔离级别。
|
2月前
|
存储 缓存 关系型数据库
MySQL事务日志-Redo Log工作原理分析
事务的隔离性和原子性分别通过锁和事务日志实现,而持久性则依赖于事务日志中的`Redo Log`。在MySQL中,`Redo Log`确保已提交事务的数据能持久保存,即使系统崩溃也能通过重做日志恢复数据。其工作原理是记录数据在内存中的更改,待事务提交时写入磁盘。此外,`Redo Log`采用简单的物理日志格式和高效的顺序IO,确保快速提交。通过不同的落盘策略,可在性能和安全性之间做出权衡。
1712 14
|
3月前
|
存储 Oracle 关系型数据库
Oracle和MySQL有哪些区别?从基本特性、技术选型、字段类型、事务、语句等角度详细对比Oracle和MySQL
从基本特性、技术选型、字段类型、事务提交方式、SQL语句、分页方法等方面对比Oracle和MySQL的区别。
732 18
|
2月前
|
SQL 关系型数据库 MySQL
阿里面试:MYSQL 事务ACID,底层原理是什么? 具体是如何实现的?
尼恩,一位40岁的资深架构师,通过其丰富的经验和深厚的技術功底,为众多读者提供了宝贵的面试指导和技术分享。在他的读者交流群中,许多小伙伴获得了来自一线互联网企业的面试机会,并成功应对了诸如事务ACID特性实现、MVCC等相关面试题。尼恩特别整理了这些常见面试题的系统化解答,形成了《MVCC 学习圣经:一次穿透MYSQL MVCC》PDF文档,旨在帮助大家在面试中展示出扎实的技术功底,提高面试成功率。此外,他还编写了《尼恩Java面试宝典》等资料,涵盖了大量面试题和答案,帮助读者全面提升技术面试的表现。这些资料不仅内容详实,而且持续更新,是求职者备战技术面试的宝贵资源。
阿里面试:MYSQL 事务ACID,底层原理是什么? 具体是如何实现的?
|
3月前
|
SQL 关系型数据库 MySQL
MySQL基础:事务
本文详细介绍了数据库事务的概念及操作,包括事务的定义、开启、提交与回滚。事务作为一组不可分割的操作集合,确保了数据的一致性和完整性。文章还探讨了事务的四大特性(原子性、一致性、隔离性、持久性),并分析了并发事务可能引发的问题及其解决方案,如脏读、不可重复读和幻读。最后,详细讲解了不同事务隔离级别的特点和应用场景。
181 4
MySQL基础:事务
|
2月前
|
SQL 关系型数据库 MySQL
【MySQL】索引和事务
【MySQL】索引和事务
63 0