并发控制机制的任务
对并发操作进行正确调度;保证事务的隔离性;保证数据库的一致性
数据不一致性:由于并发操作破坏了事务的隔离性
并发控制就是要用正确的方式调度并发操作,使一个用户事务的执行不受其他事务的干扰,从而避免造成数据的不一致性
并发控制带来的问题
并发操作带来的数据不一致性
丢失修改(Lost Update)
两个事务T1和T2读入同一数据并修改,T2的提交结果破坏了T1提交的结果,导致T1的修改被丢失。
不可重复读(Non-repeatable Read)
不可重复读是指事务T1读取数据后,事务T2执行更新操作,使T1无法再现前一次读取结果。
读“脏”数据(Dirty Read)
事务T1修改某一数据,并将其写回磁盘;事务T2读取同一数据后,T1由于某种原因被撤销;这时T1已修改过的数据恢复原值,T2读到的数据就与数据库中的数据不一致
并发控制的主要技术
- 封锁(Locking)
- 时间戳(Timestamp)
- 乐观控制法
封锁的基本类型
X锁,写锁,排它锁
若事务T对数据对象A加上X锁,则只允许T读取和修改A,其它任何事务都不能再对A加任何类型的锁,直到T释放A上的锁
S锁,读锁,共享锁
若事务T对数据对象A加上S锁,则其它事务只能再对A加S锁,而不能加X锁,直到T释放A上的S
封锁协议
一级封锁协议
事务T在修改数据R之前必须先对其加X锁,直到事务结束才释放。
解决问题:丢失修改,并保证事务T是可恢复的。
二级封锁协议
在一级封锁协议基础上,增加事务T在读数据R之前必须先对其加S锁,读完后即可释放S锁。
解决问题:丢失修改、读“脏”数据。
三级封锁协议
在一级封锁协议的基础上,增加事务T在读数据R之前必须先对其加S锁,直到事务结束才释放。
解决问题:丢失修改、读“脏”数据、不可重复读。
活锁
多个事务请求封锁同意数据,其中一个事务无限期地等待
避免活锁:采用先来先服务的策略
死锁
事务A锁定数据1,请求访问数据2;事务B锁定数据2,请求访问数据1。事务AB永远在等待对方释放数据。
1. 预防死锁 (难以实现)
破坏产生死锁的条件
一次封锁法
要求每个事务必须一次将所有要使用的数据全部加锁,否则就不能继续执行
存在的问题 1 降低系统并发度 2 难于事先精确确定封锁对象
顺序封锁法
预先对数据对象规定一个封锁顺序,所有事务都按这个顺序实行封锁。
顺序封锁法存在的问题 1维护成本 2难以实现:很难事先确定每一个事务要封锁哪些对象
2. 死锁的诊断与解除(主要)
超时法
如果一个事务的等待时间超过了规定的时限,就认为发生了死锁
优点:实现简单
缺点:1有可能误判死锁 2时限若设置得太长,死锁发生后不能及时发现
事务等待图法
用事务等待图动态反映所有事务的等待情况
并发控制子系统周期性地(比如每隔数秒)生成事务等待图,检测事务。如果发现图中存在回路,则表示系统中出现了死锁。
并发调度的可串行性
一个给定的并发调度,当且仅当它是可串行化的,才认为是正确调度
多个事务的并发执行是正确的,当且仅当其结果与按某一次序串行地执行这些事务时的结果相同
冲突可串行化调度
一个调度Sc在保证冲突操作的次序不变的情况下,通过交换两个事务不冲突操作的次序得到另一个调度Sc‘,且Sc’是串行的
冲突操作是指不同的事务对同一个数据的读写操作和写写操作
一个调度是冲突可串行化,一定是可串行化的调度。冲突可串行化调度是可串行化调度的充分条件,不是必要条件。
两段锁协议
将事务分为两个阶段
第一阶段是获得封锁,也称为扩展阶段
在对任何数据进行读、写操作之前,事务首先要获得对该数据的封锁
事务可以申请获得任何数据项上的任何类型的锁,但是不能释放任何锁
第二阶段是释放封锁,也称为收缩阶段
在释放一个封锁之后,事务不再申请和获得任何其他封锁
事务可以释放任何数据项上的任何类型的锁,但是不能再申请任何锁
理论上证明使用两段封锁协议产生的是可串行化调度
- 事务遵守两段锁协议是可串行化调度的充分条件,而不是必要条件。
- 若并发事务都遵守两段锁协议,则对这些事务的任何并发调度策略都是可串行化的
- 若并发事务的一个调度是可串行化的,不一定所有事务都符合两段锁协议
封锁粒度
封锁对象的大小称为封锁粒度(Granularity)
封锁的对象:逻辑单元,物理单元
在关系数据库中,封锁对象:
逻辑单元: 属性值、属性值集合、元组、关系、索引项、整个索引、整个数据库等
物理单元:页(数据页或索引页)、物理记录等
封锁粒度与系统的并发度和并发控制的开销密切相关。
- 封锁的粒度越大,数据库所能够封锁的数据单元就越少,并发度就越小,系统开销也越小;
- 封锁的粒度越小,数据库所能够封锁的数据单元就越多,并发度较高,但系统开销也就越大
意向锁
多粒度封锁协议:对数据加锁,也要对他的上级数据加锁
意向锁:提高对某个数据对象加锁时系统的检查效率
- 如果对一个结点加意向锁,则说明该结点的下层结点正在被加锁
- 对任一结点加基本锁,必须先对它的上层结点加意向锁
IS锁 意向共享锁
如果对一个数据对象加IS锁,表示它的后裔结点拟(意向)加S锁。
例如:事务T1要对R1中某个元组加S锁,则要首先对关系R1和数据库加IS锁
IX锁 意向排它锁
如果对一个数据对象加IX锁,表示它的后裔结点拟(意向)加X锁。
例如:事务T1要对R1中某个元组加X锁,则要首先对关 系R1和数据库加IX锁
SIX锁 共享意向排它锁
如果对一个数据对象加SIX锁,表示对它加S锁,再加IX锁,即SIX = S + IX。
例:对某个表加SIX锁,则表示该事务要读整个表(所以要对该表加S锁),同时会更新个别元组(所以要对该表加IX锁)。