冲突可串行性是指一个调度,如果通过交换相邻两个无冲突的 *** 作能够转换到某一个串行的调度,则称此调度为冲突可串行化的调度。
如:
r1(A)w1(A)r2(A)w2(A)r1(B)w1(B)r2(B)w2(B)
交换 *** 作的次序:
r1(A)w1(A)r2(A) r1(B)w2(A) w1(B)r2(B)w2(B)
r1(A)w1(A)r1(B)r2(A)w2(A)w1(B)r2(B)w2(B)
r1(A)w1(A)r1(B)r2(A)w1(B)w2(A)r2(B)w2(B)
得到了串行调度
r1(A)w1(A)r1(B)w1(B)r2(A)w2(A)r2(B)w2(B)
其次:可串行包含冲突可串行。
利用画优先图的方法对于每个数据库元素,如果两个事务的冲突 *** 作同时 *** 作一个元素,则有一条有向边,如果最后有环,则不是可串行化的
以第一个为例
w1(A)w2(A) T1->T2
r1(B)w2(B) T1->T2
所以是可穿行化的
S2:
A: t1(A)w3(A) T1->T3 w3(A)w1(A) T3->T1
B: r2(B)w1(B) T2->T1w1(B) r3(B) T1->T3
C:w1(C) w2(C) T1->T2
里面有环,所以不可串行化
欢迎分享,转载请注明来源:内存溢出
评论列表(0条)