在MySQL读书笔记--事务的ACID及实现中介绍一下重做日志。在这本篇文章,只提及重做日志中redo,并简单介绍了它的作用和实现过程。其实在重做日志中,还有一个重要组成部分---undo段。undo段是实现事务滚回和MVCC(多版本并发控制)的根本。
undo段是位于共享表空间的一个特殊字段,主要存储(相反)的事务记录。在事务提交之后不能马上删除undo log 和 undo log所在页。因为可能由其他事务在使用。所以事务提交时将undo log 放入一个链表中,是否要删除由purge线程判断。
滚回的实现原理:
INSERT, INNODB引擎会生成DELETE
DELETE, INNODB引擎会生成INSERT
UNPDATE,会生成一个相反的操作
在滚回时,会从undo执行对应操作。
MVCC的实现:
一致性非锁定读:Innodb通过行多版本控制的方式来读取当前执行时间数据库种的行数据,如果读取的行正在执行行DELETE或者UPDATE操作,这时读取操作不会因此等待上锁的释放,而是取夺取行的一个快照。
快照数据是指该行的之前版本的数据,该实现是通过undo段来实现完成。而undo用来在事务中滚回数据,因此快照数据本身是没有额外开销。读取快照不需要上锁,因为没有事务对历史数据进行操作
这个实现的条件是Innodb的事务类型必须是READ COMMITTED 或者REPEATABLE READ。
在READ COMMITTED 下,对于快照数据,一致性非锁读总是读取被锁定行的最新的一份快照数据。在REPEATABLE READ下,总是读取事务开始时的行数据
比如:表test
id, a, b
1, a1, b1
2, a2, b2
3, a3, b3
事务:
A:start transaction:
A: insert(4,a4,b4)
B:start tramsaction:
B: SELECT * FROM test----(1)
A:commit
B: SELECT * FROM test----(2)
B:commit
在READ COMMITTED下
(1)读取的的结果:
1 a1 b1
2 a2 b2
3 a3 b3
(2)读取的的结果:
1 a1 b1
2 a2 b2
3 a3 b3
4 a4 b4
在REPEATABLE READ下
(1)读取的的结果:
1 a1 b1
2 a2 b2
3 a3 b3
(2)读取的的结果:
1 a1 b1
2 a2 b2
3 a3 b3