问题
问答题
考虑定义在事务集(T1,T2,T3) 上的调度S1和S2,S1与S2是否是冲突等价的为什么
S1 | S2 | ||||
T1 | T2 | T3 | T1 | T2 | T3 |
read(P) | read(Q) | ||||
read(Q) | read(P) | ||||
write(Q) | write(Q) | ||||
write(Q) | write(Q) | ||||
write(P) | write(P) | ||||
write(P) | write(Q) | ||||
write(P) | write(P) | ||||
read(P) | read(P) |
答案
参考答案:
解析: 冲突等价调度是指一个调度s,通过调换S中的不冲突操作次序所得到的新调度称为S的冲突等价调度。不冲突操作有两类:一是对同一数据均为读操作,即Ri(x),Rj(x);对不同数据对象的一组操作中可以有写的操作,即Ri(x),wj(y)或Wi(x)Wj(y)。显然T1和T2对数据对象Q进行了相同的写操作,所以是冲突的,所以S1和S2不是冲突等价的。