高级数据库技术(10并发控制).ppt

事务的调度与相关理论 并发操作带来问题 DDBS并发控制的封锁技术 基于时间戳的并发控制技术 1. 事务的调度与相关理论 事务的调度 可串行化理论 并发调度的可恢复性 可串性理论扩展 并发控制机制 1. 事务的调度与相关理论 1.1 事务的调度 事务的执行顺序称为一个调度，表示事务的指令在系统中执行的时间顺序 一组事务的调度必须保证 包含了所有事务的操作指令 一个事务中指令的顺序必须保持不变 操作系统可能产生许多不同的调度，有些可能使数据库处于不一致状态，DBMS必须保证事务调度执行后数据库总处于一致状态 1. 事务的调度与相关理论 事务执行示例 1. 事务的调度与相关理论 1. 事务的调度与相关理论 1. 事务的调度与相关理论 1. 事务的调度与相关理论 1. 事务的调度与相关理论 串行调度:在串行调度中，属于同一事务的指令紧挨在一起 并行调度:在并行调度中，来自不同事务的指令可以交叉执行 将所有事务串行起来的调度策略一定是正确的调度策略。 以不同的顺序串行执行事务也有可能会产生不同的结果，但由于不会将数据库置于不一致状态，所以都可以认为是正确的。 1. 事务的调度与相关理论 1.2 可串行化理论 考虑哪些调度能保证一致性，哪些不能的问题。 只关心read和write操作。 可串行化：若调度S与一个串行调度的执行有相同的效果，则称调度S是可串行化的。 1. 事务的调度与相关理论 指令的顺序 考虑一个调度S中的两条连续指令（仅限于read与 write操作）Ii与Ij，分别属于事务Ti与Tj ①Ii = read(Q), Ij = read(Q); ②Ii = read(Q), Ij = write(Q); ③Ii = write(Q), Ij = read(Q); ④Ii = write(Q), Ij = write(Q); 在① 情况下，Ii与Ij的次序无关紧要。其余情况下，Ii与Ij的次序不同，其执行结果也不同，数据库最终状态也不同 1. 事务的调度与相关理论 冲突指令 当两条指令是不同事务在相同数据项上的操作，并且其中至少有一个是write指令时，则称这两条指令是冲突的 如在②、③、④情况下，Ii与Ij 是冲突的 非冲突指令交换次序不会影响调度的最终结果 冲突等价 如果调度S可以经过一系列非冲突指令交换转换成调度S，则称调度S与S是冲突等价的 1. 事务的调度与相关理论 1. 事务的调度与相关理论 冲突可串行化 当一个调度S与一个串行调度冲突等价时，则称该调度是冲突可串行化的 如并行调度3是冲突可串行化的，能保证一致性 1. 事务的调度与相关理论 1. 事务的调度与相关理论 冲突可串行化判定 优先图(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) 1. 事务的调度与相关理论 1. 事务的调度与相关理论 冲突可串行化判定准则 如果优先图中存在边Ti?Tj ，则在任何等价于S的串行调度S‘中，Ti都必须出现在Tj之前 如果调度S的优先图中有环，则调度S是非冲突可串行化的。如果图中无环，则调度S是冲突可串行化的 事务并发调度要解决的最基本问题是并行执行事务对数据库的冲突操作(如读—写、写—写等) ,让冲突操作串行执行,使非冲突操作并行执行。 1. 事务的调度与相关理论 与冲突可串行化等价的串行顺序 串行顺序可由拓扑排序得到，求出与优先图的偏序相一致的线序 1. 事务的调度与相关理论 1. 事务的调度与相关理论 可恢复调度 事务的恢复：一个事务失败了，应该能够撤消该事务对数据库的影响。如果有其它事务读取了失败事务写入的数据，则该事务也应该撤消 1. 事务的调度与相关理论 无级联调度 1. 事务的调度与相关理论 1.4 可串性理论扩展 可串性理论可以直接扩展到无重复副本的分布式数据库中。 事务在每个站点上的执行调度称作局部调度 如果数据库无重复副本的分布式数据库，并且每个局部调度都是可串调度，则它们的并（全局调度）也是可串行调度 例Site1 R1(A),W1(A),R2(A), W2(A ) Site2 R1(B),W1(B),R2(B),W2(B) 1. 事务的调度与相关理论 1.4 可串性理论扩展 对有重复副本的调度,保证所有数据项副本的值相同,称为单副