1、事务
事务 (transaction)
:并发的场景下,用户定义的操作序列,这些操作要么都做,要么都不做,不可分割。
目的:将数据库从一种一致性状态转换为另一种一致性状态,保证系统始终处于一个完整且正确的状态。
1.1、ACID 特性
- 原子性
(Atomicity)
- 一致性
(Consistency)
- 隔离性
(Isolation)
- 持久性
(Durability)
1.1.1、原子性
一个事务中的操作,要么都做,要么都不做,不存在中间状态,是一个不可分割的工作单位。若事务执行过程发生错误,回滚到事务初始状态。
实现机制: undo log
。
undo log
undo log
回滚日志,存放在共享表空间内,用于存储旧版本的数据。
undo log
是逻辑日志,回滚时将数据库逻辑地恢复到原来的样子,也就是说,根据 undo log
记录的事务 DML 操作,做之前的相反操作,实现回滚操作,保证了事务的原子性和一致性。
此外,undo log
也可以用来实现 MVCC。用户读取记录时,若该记录被其他事务占用,当前事务可以通过 undo log
读取之前事务 DML 操作提交后的行版本信息,以此实现非锁定读。
总结 undo log
的作用
- 事务回滚:记录事务 DML 操作步骤,通过逆运算(逻辑取反)实现事务回滚。
- MVCC:记录事务 DML 操作提交后产生的行版本信息。
1.1.2、一致性
事务的前后,数据满足完整性约束,数据库保持一致性状态。
一致性指的是事务将数据库从一种一致性状态转变为下一种一致性的状态,在事务执行前后,数据库完整性约束没有被破坏。一个事务需要提交后才会被其他事务可见。
一致性的种类
- 数据一致性(完整性约束),必须遵守
- 预期一致性(逻辑一致性),适当破坏。例:查询是否存在,不存在写入,可能出现数据查询不存在,插入时却存在,报错。
实现机制:原子性 + 隔离性 + 一致性实现。
1.1.3、* 隔离性
并发事务间相互隔离,互不影响,避免多个事务并发异步执行进而导致数据的不一致。
实现机制:为了提升性能,设定不同程度的隔离级别,适度破坏逻辑一致性。
- 锁:用来并发处理 DML 操作。数据库中提供粒度锁的策略,针对表(聚集索引 B+ 树)、页(聚集索引 B+ 树叶子节点)、行(叶子节点中某一段行记录)三种粒度加锁
- MVCC :多版本并发控制。主要解决一致性非锁读,通过记录和获取行版本,而不是使用锁来限制读操作,从而实现高效并发读性能。
1.1.4、持久性
事务一旦提交,其结果就是永久性的,即使系统故障也不丢失。
实现机制: redo log
。
redo log
redo log
重做日志,用于实现事务的持久性。
事务提交后,事务 DML 操作持久化,记录事务 DML 操作对应物理页修改的内容,写入 redo log 磁盘文件。发生宕机等故障时,恢复数据库数据。
redo log
属于 WAL (Write Ahead Log)
预写日志,用于数据恢复,顺序写磁盘,再通过其他线程异步刷到 B+ 树。与 redis 的aof
类似。
1.2、事务控制语句
innoDB 中一条 sql 语句是一个事务。若想多条语句构成事务,采用事务控制语句。
-- 显示开启事务
START | BEGIN TRANSACTION
-- 提交事务,并使得已对数据库做的所有修改持久化
COMMIT
-- 回滚事务,结束用户的事务,并撤销正在进行的所有未提交的修改
ROLLBACK
-- 创建一个保存点,一个事务可以有多个保存点
SAVEPOINT identifier
-- 删除一个保存点
RELEASE SAVEPOINT identifier
-- 事务回滚到保存点
ROLLBACK TO [SAVEPOINT] identifier
2、隔离级别
ISO 和 ANIS SQL 标准制定了四种事务隔离级别,目的在于提升数据库并发性能。
不同隔离级别的区别在于读操作的加锁,写操作均加排他锁。隔离级别的高低,与事务请求锁的数量和保持锁时间的长短相关。级别越高,性能越低;级别越低,逻辑一致性受到的影响越大。
2.1、隔离级别的分类
- 读未提交:事务还未提交,其变更就能被其他事务看到
- 读已提交:事务提交后,其变更才能被其他事务看到
- 可重复读:事务执行过程中看到的数据,一直跟与该事务启动时看到的数据是一致的
- 串行化:对记录加上读写锁,在多个事务对这条记录进行读写操作时,如果发生了读写冲突的时候,后访问的事务必须等前一个事务执行完成,才能继续执行;
2.1.1、读未提交 RU
读未提交,READ UNCOMMITTED
。事务还未提交,其修改就能被其他事务看到。
- 读:不做处理
- 写:自动加 X 锁
逻辑错误:脏读。
2.1.2、读已提交 RC
读已提交,READ COMMITTED
。事务提交后,其他事务才能看到修改。大部分数据库采用的隔离级别,如 oracle, SQL Server 等。
- 读:MVCC,读取最新版本的行数据
- 写:自动加 X 锁
MVCC 在事务期间每次读取数据时,生成新的 read view,这也意味着同一事务多次读取同一条数据可能出现数据不一致(不可重复读)。因为在多次读取数据期间可能有其他事务修改并提交了该条记录。
逻辑错误:不可重复读。
2.1.3、可重复读 RR
可重复读 (RR) ,REPEATABLE READ
,事务执行过程中看到的数据,一直跟与该事务启动时看到的数据是一致的。MySQL InnoDB 引擎的默认隔离级别。
- 读:MVCC,读取事务开始前版本的行数据
- 写:自动加 X 锁
MVCC 在事务启动时,生成新的 read view
,整个事务期间读取数据使用这个 read view
,这样保证了在事务期间读到的数据都是事务启动前的记录。
逻辑错误:幻读。
2.1.4、串行化 SC
串行化,SERIALIZABLE
,对记录加上读写锁,在多个事务对这条记录进行读写操作时,如果发生了读写冲突的时候,后访问的事务必须等前一个事务执行完成,才能继续执行。
- 读:自动加 S 锁 (next-key locking)
- 写:自动加 X 锁
2.2、并发事务读异常
不同隔离级别由于逻辑一致性问题造成的并发异常。
- 脏读:读到其他事务未提交的数据。
- 不可重复读:前后读取的数据不一致。
UPDATE
- 幻读:前后读取的记录数量不一致。
INSERT DELETE
2.2.1、* 脏读
一个事务读到了另一个事务未提交的修改(读到脏数据)。
不可重复读在 RU 隔离级别存在。在读写分离的场景下,可以将 slave 节点设置为 READ UNCOMMITTED
。此时脏读不影响,在 slave 上查询并不需要特别精准的返回值。
例如:session B 读到了 session A 中事务未提交的脏数据。
seq | session A | session B |
---|---|---|
1 | SET @@tx_isolation = ‘READ UNCOMMITTED’; | SET @@tx_isolation = ‘READ UNCOMMITTED’; |
2 | BEGIN; | BEGIN; |
4 | UPDATE account_t SET money = money - 100 WHERE name = ‘A’; | |
5 | SELECT money FROM account_t WHERE name = ‘A’; | |
6 | COMMIT; | COMMIT; |
2.2.2、* 不可重复读
同一事务内两次读取同一个数据前后不一样。一个事务读到了另一个事务的提交的修改
不可重复读在 RC 隔离级别存在。一般来说,不可重复读的问题可以接受,因为读到已经提交的数据,不会带来很大的问题。
例如:session B 读到了 session A 中事务提交的修改,造成两次读取同一个数据不一样。
seq | session A | session B |
---|---|---|
1 | SET @@tx_isolation = ‘READ COMMITTED’; | SET @@tx_isolation = ‘READ COMMITTED’; |
2 | BEGIN; | BEGIN; |
4 | SELECT money FROM account_t WHERE name = ‘A’; | |
5 | UPDATE account_t SET money = money - 100 WHERE name = ‘A’; | |
6 | COMMIT ; | SELECT money FROM account_t WHERE name = ‘A’; |
7 | COMMIT; |
2.2.3、* 幻读
同一事务两次读取同一个范围内的记录得到的结果集不一样。
幻读在 RR 隔离级别存在,仅在当前读下出现。
例如:由于 session A 的事务提交了插入操作,导致 session B 两次查询范围的结果不一样。
seq | session A | session B |
---|---|---|
1 | SET @@tx_isolation = ‘REPEATABLE READ’; | SET @@tx_isolation = ‘REPEATABLE READ’; |
2 | BEGIN; | BEGIN; |
4 | SELECT * FROM account_t WHERE id >= 2; | |
5 | INSERT INTO account_t VALUES (4, ‘D’, 1000); | |
6 | COMMIT ; | |
7 | SELECT * FROM account_t WHERE id >= 2; | |
COMMIT; |
解决:通过读加锁(next-key locking)
seq | session A | session B |
---|---|---|
1 | SET @@tx_isolation = ‘REPEATABLE READ’; | SET @@tx_isolation = ‘REPEATABLE READ’; |
2 | BEGIN; | BEGIN; |
4 | SELECT * FROM account_t WHERE id >= 2 FOR UPDATE | IN SHARE MODE; | |
INSERT INTO account_t VALUES (4, ‘D’, 1000); | ||
6 | COMMIT ; | |
7 | SELECT * FROM account_t WHERE id >= 2; | |
COMMIT; |
MySQL InnoDB 引擎的默认隔离级别是可重复读,但是它可以很大程度上避免幻读现象。
- 针对快照读:通过 MVCC 方式解决了幻读。因为可重复读隔离级别下,事务执行过程中看到的数据,一直跟这个事务启动时看到的数据是一致的,即使中途有其他事务插入了一条数据,是查询不出来这条数据的,所以就很好了避免幻读问题。
- 针对当前读:是通过 next-key lock(记录锁+间隙锁)方式解决了幻读。因为当执行 select … for update 语句的时候,会加上 next-key lock,如果有其他事务在 next-key lock 锁范围内插入了一条记录,那么这个插入语句就会被阻塞,无法成功插入,所以就很好了避免幻读问题。
2.2.4、测试代码
DROP TABLE IF EXISTS `account_t`;
CREATE TABLE `account_t` (
`id` INT(11) NOT NULL,
`name` VARCHAR(225) DEFAULT NULL,
`money` INT(11) DEFAULT 0,
PRIMARY KEY(`id`),
KEY `idx_name` (`name`)
) ENGINE = innoDB AUTO_INCREMENT=0 DEFAULT CHARSET = utf8;
SELECT * FROM `account_t`;
INSERT INTO `account_t` VALUES (1, 'A', 1000), (2, 'B', 1000), (3, 'B', 1000);
ROLLBACK;
-- 脏读:一个事务读取了另一个未提交事务的修改
-- 隔离级别:READ UNCOMMITTED
SET TRANSACTION ISOLATION LEVEL READ UNCOMMITTED;
BEGIN
-- 脏读事务1
UPDATE `account_t` SET `money` = `money` - 100 WHERE `name` = 'A';
-- 脏读事务2
SELECT `money` FROM `account_t` WHERE `name` = 'A';
COMMIT;
-- 不可重复读:一个事务内两次读取同一个数据不一样
-- 隔离级别:READ COMMITTED,解决了脏读问题
SET TRANSACTION ISOLATION LEVEL READ COMMITTED;
BEGIN
-- 不可重复读事务1
UPDATE `account_t` SET `money` = `money` - 100 WHERE `name` = 'A';
-- 不可重复读事务2
SELECT `money` FROM `account_t` WHERE `name` = 'A';
COMMIT;
-- 幻读:一个事务内两次读取同一个范围内的记录得到的结果集不一样。
-- 隔离级别:REPEATABLE READ,解决了不可重复读
SET TRANSACTION ISOLATION LEVEL REPEATABLE READ;
BEGIN
-- 幻读事务1
INSERT INTO `account_t` VALUES (4, 'D', 1000);
-- 幻读事务2
SELECT * FROM `account_t` WHERE `id` >= 2;
-- 幻读事务2:解决幻读问题
SELECT * FROM `account_t` WHERE `id` >= 2 FOR UPDATE;
COMMIT;
3、MVCC
多版本并发控制 MVCC(Multiversion Concurrency Control)
,用来实现一致性的非锁定读。非锁定读是指不需要等待访问记录 X 锁的释放。因此 MVCC 没有读写阻塞,只有写写阻塞,提高了并发性。
MVCC 只在读已提交和可重复读的隔离级别下工作,与其他隔离级别不兼容。
MVCC 通过 read view,聚集索引隐藏列,undo log 来实现,关键是解决事务的可见性问题。
3.1、当前读 & 快照读
innoDB 支持的读方式
- 当前读(锁定读):读取最新版本的记录,对读取的记录加锁(悲观锁),保证其他并发事务不能修改当前记录。
select ... lock in share mode | for update
insert, delete, update
,不管什么隔离级别,DML 操作均加锁。- undo log
- 快照读(非锁定读):读取记录的一个快照,对读取的记录不加锁。普通
SELECT
语句
MVCC 的读指的是快照读(非锁定读),因为没有事务需要对历史数据进行 DML 操作。
在读已提交和可重复读的隔离级别下,对于快照数据的定义不同
- RC 级别:读取当前事务锁定行的最新行记录。
- RR 级别:读取启动事务时的行记录版本。
3.2、Read View
read view 是事务进行快照读的时候产生的读视图,保存了当前事务开启时所有活跃事务的列表。
3.2.1、read view 生成
在读已提交和可重复读的隔离级别下,read view 的区别仅在于创建 read view 的时机不同:
- RC 级别:每次读取数据时,生成新的 read view。
- RR 级别:启动事务时,生成新的 read view,一直使用到事务提交。
3.2.2、read view 属性
m_ids
:创建 read view 时,活跃事务的事务 id 列表。活跃事务指的是已启动但是未提交的事务。min_trx_id
:创建 read view 时,活跃事务的最小事务 idmax_trx_id
:创建 read view 时,预分配给下一个未开启事务的 id,即全局事务的最大事务 id + 1creator_trx_id
:创建该 read view 的事务的事务 id
创建 read view 时,read view 属性与事务状态(已提交 - 启动未提交 - 未启动)的关系
3.3、聚集索引隐藏列
聚集索引记录的隐藏列
trx_id
:事务修改记录时,trx_id
记录生成该版本的事务 id。roll_pointer
:事务修改记录时,将旧记录写入 undo log,roll_pointer
指向旧版本记录,通过它可以找到修改前的记录。
3.4、undo log
用户读取记录时,若该记录被其他事务占用,当前事务可以通过 undo 读取之前事务 DML 操作提交后的行版本信息,以此实现非锁定读。
innoDB 通过 undo log 保存每个记录的多个版本,每个事务读到的记录版本可能是不一样的。在同一个事务中,用户只能看到该事务创建快照之前已经提交的修改和该事务本身做的修改。
3.4、事务的可见性
事务的可见性问题:当前事务访问某条记录时该记录是否可见
判断规则是:判断生成该版本的事务 id (trx_id
)与生成 read view 的当前事务 id 的关系。具体来说,生成 read view 的当前事务处于启动未提交状态,重点判断生成该版本事务的所处状态。
trx_id = creator_trx_id
:当前事务访问自己修改的记录,该版本记录对当前事务可见。trx_id < min_trx_id
:生成该版本的事务在当前事务生成 read view 前已提交,该版本记录对当前事务可见。trx_id > max_trx_id
:生成该版本的事务在当前事务生成 read view 后启动,该版本记录对当前事务不可见。min_trx <= trx_id <= max_trx_id
,判断生成该版本的事务 id 是否在启动未提交的事务 id 列表中- 存在:生成该版本记录的事务已启动但未提交,该版本记录对当前事务不可见
- 不在:生成该版本记录的事务已提交,该版本记录对当前事务可见
整理一下,方便记忆:
trx_id = creator_trx_id
,版本事务 = 当前事务trx_id < min_trx_id
:版本事务已提交,可见。trx_id > max_trx_id
: 版本事务后启动,不可见。min_trx <= trx_id <= max_trx_id
,版本事务 id 是否在启动未提交的事务 id 列表中- 存在:版本事务启动未提交,不可见
- 不在:版本事务已提交,可见