一. 概述
undo 保存的是旧数据。比方。你改动了一条记录将A列abc改动为def。那么undo里面保存的就是abc。目的有两个:1. 假设你的事务没有提交。可是已经将A列改动,那么别人读取这条数据的时候,不应该可以看到你改动后的内容def,应该还仅仅能看到abc,这个时候就须要去读取undo,才干取到abc。
2. 假设你的事务后来失败,须要将A列由改动过的值def回退到之前的值abc。abc也要从undo里面去取。
这篇文章。简要介绍一下读一致性(也就是别人无法读取到你改动的未提交的内容)与回滚(事务失败。回滚改动记录)是怎么实现的。
二. 读一致性
假如会话1 9:00开启事务,9:02分会话2改动了一条数据由A改动为了B。接着9:03分会话2又将同一条数据由B改动为C,会话2还没有提交。会话1 9:04分读取这条数据,应该读取到的是A,可是缓存中这条数据已经被改动成C了。那么怎么取到A呢。oracle是这样处理,在缓存中找到这条数据。发现这条数据被另外的会话改动了,并且另外一个会话还没有提交。查看改动时间发现是9:03分,比我会话开启时间9:00要晚。于是在数据块的事务槽中找到 另外一个会话这条改动相应的undo记录。这个时候会读取undo块,假设undo已经被刷新输出到磁盘,还须要从磁盘中又一次读取出来。这个时候找到的是9:03改动相应的undo块,找到的旧数据是B,假设这条undo记录是9:00之前。我们就不须要往前找了,可是我们发现是9:03。我们还须要找找这条undo前面是否还有undo(本身undo记录会记录上一个undo记录的地址),我们能找到9:02分那条undo记录。接着再往前找发现没有了,那么9:02分那条undo记录里面的旧数据A就是我们要找的数据了。
听起来好绕,给个图:
三. 回滚
回滚就是,事务失败了。我们须要将这个事务所做的改动全部回退。 说读一致性的时候,我们主要关注的是找数据所在的单个块,然后找这个块全部的undo记录的一个指针链表。从块開始。一直往后找。直到定位到一个足够老的undo数据。
那么回滚事实上也类似,回滚说的就是事务的历史。我们须要事务中全部的undo记录反向排序的指针链表。从最后做的改动開始回退。一直回退到事务做的第一个改动。
回滚和读一致性看起来差点儿相同,事实上有一个重要的不同之处。读一致性,我们是在内存中生成一个数据块的拷贝,应用undo记录到该拷贝块上,一旦完毕相关操作。拿到了旧数据。就会迅速舍弃这个块拷贝。由于我们的目的是拿到旧数据。并非真的要改变数据。回滚就不同,回滚是要拿到当前真正的数据块。并应用undo记录来还原。
1. 回滚操作的是当前数据块,undo应用于当前数据块,终于所做的改动是要持久化到磁盘的。而读一致性是不须要的。
2. 回滚操作的是当前数据块,所以当我们改变它的时候(回滚就是改变),会生成重做(redo),至于会不会生成undo这个没有验证。
3. 回滚操作不仅跟读一致性一样可能须要从磁盘读取undo数据,还有可能须要从磁盘读取改动的数据。由于改动的数据假设已经被刷新输出到磁盘,还须要又一次从磁盘调出来,然后将其值回退到旧值。假设事务比較长,到最后事务失败。那代价是很大的。回退须要消耗的时间,跟正常事务的时候差点儿相同,甚至很多其它。