innodb如何巧妙的实现事务隔离级别详解
前言
之前的文章mysql锁机制详解中我们详细讲解了,锁机制是用来保证在并发情况下数据的准确性,而要保证数据准确通常需要事务的支持,而mysql存储引擎innodb是通过锁机制来巧妙地实现事务的隔离特性中的4种隔离级别。
事务acid特性,其中i代表隔离性(isolation)。隔离性是指,多个用户的并发事务访问同一个数据库时,一个用户的事务不应该被其他用户的事务干扰,多个并发事务之间要相互隔离。
我们都知道事务的几种性质,数据库中的一致性和隔离性等是实现事务的基本思想,在系统有大量的并发访问的情况下,了解和熟练应用数据库的本身的事务隔离级别,对于写出健壮性,并发处理能力强的代码还是起关键的作用。
1. 事务之间如何互相干扰
一个事务是如何干扰其他事务呢?举个例子,有如下表:
create table lock_example(id smallint(10),name varchar(20),primary key id)engine=innodb;
表中有如下数据:
1, zhangsan
2, lisi
3, wangwu
demo1:
事务a,先执行,处于未提交的状态:
insert into t values(4, 'zhaoliu');
事务b,后执行,也未提交:
select * from t;
如果事务b能够读取到(4, zhaoliu)这条记录,说明事务a就对事务b产生了影响,这种影响叫做“读脏”,即读到了未提交事务操作的记录。
demo2:
事务a,先执行:
select * from t where id=1;
结果集为
1,zhangsan
事务b,后执行,并且提交:
update t set name=xxx where id=1; commit;
事务a,再次执行相同的查询:
select * from t where id=1;
结果集为:
1, xxx
这次是已提交事务b对事务a产生的影响,这种影响叫做“不可重复读”,即一个事务内相同的查询,却得到了不同的结果。
demo3:
事务a,先执行:
select * from t where id>3;
结果集为:
null
事务b,后执行,并且提交:
insert into t values(4, zhaoliu); commit;
事务a,首次查询了id>3的结果为null,于是想插入一条为4的记录:
insert into t values(4, xxoo);
结果集为:
error : duplicate key!
你可能会想。。。你tm在逗我?查了id>3为空集,insert id=4时又告诉我pk冲突?→_→
这次是已提交事务b对事务a产生的影响,这种影响叫做“幻读”。
如上,并发的事务可能导致其他事务出现读脏、不可重复读、幻读。为了避免如上情况出现,innodb又做了哪些努力呢?
2. innodb实现了哪几种事务的隔离级别?
innodb实现了四种不同事务的隔离级别:
- 读未提交(read uncommitted)
- 读提交(read committed, rc)
- 可重复读(repeated read, rr)
- 串行化(serializable)
不同事务的隔离级别,实际上是一致性与并发性的一个权衡与折衷。
3. 四种事务的隔离级别,innodb如何实现?
innodb使用不同的锁策略(locking strategy)来实现不同的隔离级别。
a. 读未提交(read uncommitted)
这种事务隔离级别下,select语句不加锁,也不是快照读。
select statements are performed in a nonlocking fashion.
此时,可能读取到不一致的数据,即“读脏”。这是并发最高,一致性最差的隔离级别。
b. 读提交(read committed, rc)
- 普通select是快照读;
- 加锁的select, update, delete等语句,除了在外键约束检查(foreign-key constraint checking)以及重复键检查(duplicate-key checking)时会*区间,其他时刻都只使用记录锁;
- 间隙锁(gap lock)、临建锁(next-key lock)在该级别下失效;
此时,其他事务的插入依然可以执行,就可能导致,读取到幻影记录。该级别是最常使用的。而且如果是不上锁的select,可能产生不可重复读。
该级别下是通过快照读来防止读脏的。因为在该级别下的快照读总是能读到最新的行数据快照,当然,必须是已提交事务写入的,所以可能产生不可重复读。
c. 可重复读(repeated read, rr)
这是innodb默认的隔离级别,在rr下:
- 普通的select使用快照读(snapshot read),这是一种不加锁的一致性读(consistent nonlocking read),底层使用mvcc来实现;
- 加锁的select(select ... in share mode / select ... for update), update, delete等语句,它们的锁,依赖于它们是否在唯一索引(unique index)上使用了唯一的查询条件(unique search condition,此时使用记录锁),或者范围查询条件(range-type search condition,此时使用间隙锁或临键锁);
- 在唯一索引上使用唯一的查询条件,会使用记录锁(record lock),而不会*记录之间的间隔,即不会使用间隙锁(gap lock)与临键锁(next-key lock);
- 范围查询条件或者是非唯一索引,会使用间隙锁与临键锁,锁住索引记录之间的范围,避免范围间插入记录,以避免产生幻影行记录,以及避免不可重复读;
在该级别下
- 通过快照读以及锁定区间来实现避免产生幻读和不可重复读;
- 某个事务首次read记录的时间为t,未来不会读取到t时间之后已提交事务写入的记录,以保证连续相同的read读到相同的结果集,这可以防止不可重复读;
- rr下是通过间隙锁,临键锁来解决幻影读问题;
d. 串行化(serializable)
这种事务的隔离级别下,所有select语句都会被隐式的转化为select ... in share mode,也就是默认上共享读锁(s锁)。
所以,如果事务a先执行如下sql之后,会尝试获取所查询行的is锁(和别的is、ix锁是兼容的),这时别的事务也能获取这些行的is锁甚至是s锁,但是如果接下来,事务a如果update或delete其中的某些行,这时就获取了x锁,别的事务即便是执行普通的select语句也会阻塞,因为它们尝试获取is锁,但是is锁和x锁是互斥的,这样就避免了读脏、不可重复读以及幻读,所有事务就只能串行了。
select ... ;
这是一致性最好的,但并发性最差的隔离级别。高并发量的场景下,几乎不会使用上述a和d这两种隔离级别。
4. 总结
并发事务之间相互干扰,就可能导致事务出现读脏,不可重复读,幻读等问题。
innodb实现了sql92标准中的四种隔离级别:
- 读未提交:select不加锁,可能出现读脏;
- 读提交(rc):普通select快照读,锁select /update /delete 会使用记录锁,可能出现不可重复读;
- 可重复读(rr):普通select快照读,锁select /update /delete 根据查询条件等情况,会选择记录锁,或者间隙锁/临键锁,以防止读取到幻影记录;
- 串行化:select隐式转化为select ... in share mode,会被update与delete互斥;
innodb默认的隔离级别是rr,用得最多的隔离级别是rc
总结
以上就是这篇文章的全部内容了,希望本文的内容对大家的学习或者工作具有一定的参考学习价值,如果有疑问大家可以留言交流,谢谢大家对的支持。
推荐阅读
-
innodb如何巧妙的实现事务隔离级别详解
-
高性能MySQL--innodb中事务的隔离级别与锁的关系
-
Innodb中的事务隔离级别和锁的关系
-
Mysql事务以及四中隔离级别实例2以及InnoDB如何解决当时读的幻读问题
-
MySQL事务的隔离性是如何实现的
-
详解MySQL中事务隔离级别的实现原理
-
Java Spring事务的隔离级别详解
-
spring事务的隔离级别。如何避免脏读或者幻读
-
MySQL 的 Innodb 在 REPEATABLE-READ 的事务隔离级别下,幻读问题记录
-
mysql的4种事务特性,5种隔离级别,7种传播行为/ MySQL InnoDB事务隔离级别脏读、可重复读、幻读/ Spring Boot中的事务管理 隔离级别