事务开始
update db1.tb1 --成功
update db2.tb2 --成功
事务提交
2.
update db1.tb1 --成功
update db2.tb2 --失败
db1的 *** 作回滚,不更新
3.
update db1.tb1 --失败
update db2.tb2 --不 *** 作
利用画优先图的方法对于每个数据库元素,如果两个事务的冲突 *** 作同时 *** 作一个元素,则有一条有向边,如果最后有环,则不是可串行化的
以第一个为例
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条)