可重复读概念
可重复读的实现
Repeatable Read(可重复读):一个事务在执行过程中可以看到其他事务已经提交的新插入的记录(读已经提交的,其实是读早于本事务开始且已经提交的),但是不能看到其他事务对已有记录的更新(即晚于本事务开始的),并且,该事务不要求与其他事务是“可串行化”的。(没有问题)
这句话的核心,是“但是不能看到其他事务对已有记录的更新”,那么RR隔离级别是怎么保证这一点的呢?
可重复读实现原理
事务ID是递增的。
使用MVCC(多版本并发控制)。InnoDB为每行记录添加了一个事务ID,每当修改数据时,将当事务ID写入。
在读取事务开始时,系统会给事务一个当前版本号(事务ID),事务会读取版本号<=当前版本号的数据,这时就算另一个事务插入一个数据,并立马提交,新插入这条数据的版本号会比读取事务的版本号高,因此读取事务读的数据还是不会变。
可重复读注意点
但是,当前事务想再写这行数据的话,还是以数据库提交的数据为准。并且会加行锁,其他的事务要再来修改的话,就得等到当前事务结束。
举例:
我们先看看现象,再分析原理。我的mysql版本是5.5。
下面是一张表,只有一条数据,并且我开启了事物
此时,另一个事物将record加1,因此我在开启一个命令行客户端,执行下面的命令:
成功加1之后,实际上,数据库中record肯定是2。
然后回到之前的客户端,再查一次:
没毛病,record还是1,果然是可重复读。有些人以为mysql的可重复读是通过行锁实现的,
从上面可以知道,肯定不是,如果是的话,第一次select * from test的时候,id=1的记录就会加行锁,我都加行锁了,我还没提交,另外的事物是怎么update成功的。
结论就是mysql使用的MVCC(多版本并发控制),MVCC详解可以看:
我们继续,我之前的第一个事物还没提交,不过提交之前,我也想加1;
加完之后我再查一下,额,record是3,好像很奇怪,但也不奇怪。
其实,update test set record=record+1 where id=1;这条语句中,在加1之前,他知道自己等于2,然后2+1=3。
也就是说,update时读取数据是最新版本的数据,而select是到当前事物版本为止的数据。当更新成功之后,当前版本即为最新版本,再次select,读取的是最新的数据。
在这里讨论下乐观锁的必要性。下面是乐观锁的实现,实现乐观锁,我们一般会这么做
update test set record=record+1 where id=1 and record=1;
如果不用乐观锁,你用select读取到的值其实根本不准确。除非你开启悲观锁,像下面这样:
select * from test where id=1 for update;
这样可以读取到最新的内容,同时在你当前的事物提交之前,其他事物的update此条记录将会锁等待。
故事到此,还没有结束,此时我们开启事物三,也做加1操作看会发生什么。
结果是,锁等待超时,也就是说(事物一)在更新完后,会加行锁,这个应该比较好理解。事物中,刚开始查询的时候是不会加行锁的,但是当有更新操作之后,会加行锁,直到事物提交。
Innodb在RR级别如何避免幻读
幻读定义
事务不是独立执行时发生的一种现象,例如第一个事务对一个表中的数据进行了修改,这种修改涉及到表中的全部数据行。 同时,第二个事务也修改这个表中的数据,这种修改是向表中插入一行新数据。那么,以后就会发生操作第一个事务的用户发现表中还有没有修改的数据行,就好象 发生了幻觉一样。
mysql如何实现避免幻读
1.在快照读读情况下,mysql通过mvcc来避免幻读。
2.在当前读读情况下,mysql通过next-key来避免幻。
什么是MVCC
mvcc全称是multi version concurrent control(多版本并发控制)。mysql把每个操作都定义成一个事务,每开启一个事务,系统的事务版本号自动递增。每行记录都有两个隐藏列:创建版本号和删除版本号
select:事务每次只能读到创建版本号小于等于此次系统版本号的记录,同时行的删除版本号不存在或者大于当前事务的版本号。
update:插入一条新记录,并把当前系统版本号作为行记录的版本号,同时保存当前系统版本号到原有的行作为删除版本号。
delete:把当前系统版本号作为行记录的删除版本号
insert:把当前系统版本号作为行记录的版本号
什么是next-key锁
行锁+GAP间隙锁
什么是快照读和当前读
快照读:简单的select操作,属于快照读,不加锁。(当然,也有例外,下面会分析)
select * from table where ?;
当前读:特殊的读操作,插入/更新/删除操作,属于当前读,需要加锁。
select * from table where ? lock in share mode;
select * from table where ? for update;
insert into table values (…);
update table set ? where ?;
delete from table where ?;