数据库第11章 并发控制.pptVIP

* 兰彬制作 * 可串行化 read(A); write(A); read(B); write(B); T1 T2 read(B); write(B); 并 行 调 度 3 read(A); write(A); read(A); write(A); read(B); write(B); T1 T2 write(B); read(A); write(A); read(B); read(A); write(A); read(B); write(B); write(B); read(A); write(A); read(B); 交换1 交换2 交换3 read(A); write(A); read(B); write(B); read(B); write(B); read(A); write(A); * 兰彬制作 * 可串行化 冲突可串行化 当一个调度S与一个串行调度冲突等价时，则称该调度是冲突可串行化的 如并行调度3是冲突可串行化的 read(A); T1 T2 write(A); write(A); 非冲突串行化的例子： 存在结果相同，但非冲突等价的调度 * 兰彬制作 * 可串行化 read(A); A := A - 50 write(A); T1 T2 冲突指令 T1 T2 read(B); B := B - 10 write(B); read(B); B := B + 50 write(B); read(A); A := A + 10 write(A); read(A); A := A - 50 write(A); read(B); B := B + 50 write(B); read(B); B := B - 10 write(B); read(A); A := A + 10 write(A); A=950￥ B=2000￥ A=950￥ B=1990￥ A=950￥ B=2040￥ A=960￥ B=2040￥ A=960￥ B=2040￥ A=950￥ B=2050￥ 存在非冲突等价但仍可串行化的调度 * 兰彬制作 * 可串行化 冲突可串行化判定 优先图(precedence graph) 一个调度S的优先图是这样构造的：它是一个有向图G =（V，E），V是顶点集，E是边集。顶点集由所有参与调度的事务组成，边集由满足下述条件之一的边Ti? Tj组成： ①在Tj执行read(Q)之前，Ti执行write(Q) ②在Tj执行write(Q)之前，Ti执行read(Q) ③在Tj执行write(Q)之前，Ti执行write(Q) * 兰彬制作 * 可串行化 T1 T2 并 行 调 度 3 T1 T2 read(A); write(B); T1 T2 write(A); read(B); write(B); 并 行 调 度 4 read(A); write(A); read(B); T1 T2 read(A); write(A); read(B); write(B); read(B); write(B); read(A); write(A); * 兰彬制作 * 可串行化 如果优先图中存在边Ti?Tj ，则在任何等价于S的串行调度S中，Ti都必须出现在Tj之前 冲突可串行化判定准则 如果调度S的优先图中有环，则调度S是非冲突可串行化的。如果图中无环，则调度S是冲突可串行化的 T1 T2 T1 T2 并行调度3是冲 突可串行化的 并行调度4是非 冲突可串行化的 * 兰彬制作 * 可串行化 与冲突可串行化等价的串行顺序 串行顺序可由拓扑排序得到，求出与优先图的偏序相一致的线序 T1 T3 T2 T4 T1 T2 T3 T4 T1 T3 T2 T4 * 兰彬制作 * 11.5 并发调度的可串行性 一、什么样的并发操作调度是正确的 二、如何保证并发操作的调度是正确的 * 兰彬制作 * 二、如何保证并发操作的调度是正确的 为了保证并行操作的正确性，DBMS的并发控制机制必须提供一定的手段来保证调度是可串行化的。 保证并发操作调度正确性的方法： 在某一事务执行时禁止其他事务执行（实际不可行） 封锁方法 —— 两段锁协议 时标方法 乐观方法 * 兰彬制作 * 11.6 两段锁协议 两段锁协议的内容： 1. 在对任何数据进行读、写操作之前，事务首先要申请并获得对该数据的封锁 2. 在释放一个封锁之后，事务不再获得任何其他封锁。 事务分为两个阶段： 第一阶段是获得封锁，也称为扩展阶段； 第二阶段是释放封锁，也称为收缩阶段。 两段锁协议的含义： * 兰彬制作 * 两段锁协议 举例 事务1的封锁序列： 扩展阶段 收缩阶段 事务2的封锁序列： Slock A； Slock B； Xl