并发调度的可串行性.pptVIP

并发调度的可串行性 数据库管理系统对并发事务不同的调度可能会产生不同的结果 串行调度是正确的 执行结果等价于串行调度的调度也是正确的，称为可串行化调度 1 可串行化调度 2 冲突可串行化调度 11.5 并发调度的可串行性 可串行化调度 可串行化(Serializable)调度 多个事务的并发执行是正确的，当且仅当其结果与按某一次序串行地执行这些事务时的结果相同 可串行性(Serializability) 是并发事务正确调度的准则 一个给定的并发调度，当且仅当它是可串行化的，才认为是正确调度 可串行化调度 [例1]现在有两个事务，分别包含下列操作： 事务T1：读B；A=B+1；写回A 事务T2：读A；B=A+1；写回B 现给出对这两个事务不同的调度策略 串行调度,正确的调度 T1 T2 Slock B Y=R(B)=2 Unlock B Xlock A A=Y+1=3 W(A) Unlock A Slock A X=R(A)=3 Unlock A Xlock B B=X+1=4 W(B) Unlock B 串行调度(a) 假设A、B的初值均为2。 按T1→T2次序执行结果为A=3，B=4 串行调度策略,正确的调度 串行调度,正确的调度 T1 T2 Slock A X=R(A)=2 Unlock A Xlock B B=X+1=3 W(B) Unlock B Slock B Y=R(B)=3 Unlock B Xlock A A=Y+1=4 W(A) Unlock A 串行调度(b) 假设A、B的初值均为2。 T2→T1次序执行结果为B=3，A=4 串行调度策略,正确的调度 不可串行化调度，错误的调度 T1 T2 Slock B Y=R(B)=2 Slock A X=R(A)=2 Unlock B Unlock A Xlock A A=Y+1=3 W(A) Xlock B B=X+1=3 W(B) Unlock A Unlock B 不可串行化的调度 执行结果与(a)、(b)的结果都不同 是错误的调度 可串行化调度，正确的调度 T1 T2 Slock B Y=R(B)=2 Unlock B Xlock A Slock A A=Y+1=3 等待 W(A) 等待 Unlock A 等待 X=R(A)=3 Unlock A Xlock B B=X+1=4 W(B) Unlock B 可串行化的调度 执行结果与串行调度(a)的执行结果相同 是正确的调度 冲突可串行化调度 冲突可串行化 一个比可串行化更严格的条件 商用系统中的调度器采用 冲突操作：是指不同的事务对同一数据的读写操作和写写操作： Ri(x)与Wj(x) /*事务Ti读x，Tj写x，其中i≠j*/ Wi(x)与Wj(x) /*事务Ti写x，Tj写x，其中i≠j*/ 其他操作是不冲突操作 不能交换（Swap）的动作: 同一事务的两个操作 不同事务的冲突操作 冲突 一个调度Sc在保证冲突操作的次序不变的情况下，通过交换两个事务不冲突操作的次序得到另一个调度Sc’，如果Sc’是串行的，称调度Sc是冲突可串行化的调度 若一个调度是冲突可串行化，则一定是可串行化的调度 可用这种方法判断一个调度是否是冲突可串行化的 冲突可串行化 Sc2=r1(A)w1(A)r1(B)w1(B)r2(A)w2(A)r2(B)w2(B) T1 T2 [例2] 今有调度 Sc1=r1(A)w1(A)r2(A)w2(A)r1(B)w1(B)r2(B)w2(B) Sc2等价于一个串行调度T1，T2。所以Sc1冲突可串行化的调度 冲突可串行化 冲突可串行化调度 冲突可串行化调度是可串行化调度的充分条件，不是必要条件。还有不满足冲突可串行化条件的可串行化调度。 [例11.4]有3个事务 T1=W1(Y)W1(X)，T2=W2(Y)W2(X)，T3=W3(X) 调度L1=W1(Y)W1(X)W2(Y)W2(X) W3(X)是一个串行调度。 调度L2=W1(Y)W2(Y)W2(X)W1(X)W3(X)不满足冲突可串行化。但是调度L2是可串行化的，因为L2执行的结果与调度L1相同，Y的值都等于T2的值，X的值都等于T3的值 参见爱课程网11.4节动画《冲突可串行化 》