问答题 考虑定义在事务集(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不是冲突等价的。