考虑事务T1,T2和T3以及时间表S1和S2,描述三个 并发运行的事务,如下所示,其中r1(X)表示一个 将对象X从磁盘读取到内存中,并且w3(Z)表示对象Z的一次写入 从内存返回磁盘。
T1:r1(x); w1(y); c1。
T2:r2(q); c2。
T3:r3(x); r3(y); w3(p); w3(x); c3。
T4:w4(q); r4(y); w4(y); c4。
S:r3(x); r3(y); w3(p); w4(q); r2(q); w3(x); c3; r1(x); w1(y); c1; r4(y); w4(y); c4; c2。
在使用的符号中,r1(x)例如表示T1将对象x从磁盘读取到内存中; w3(z)例如表示T3更新对象z并将其从内存写回磁盘, 和c2,例如,代表来自T2的提交。
我想确定上面的时间表S是否可以序列化冲突?
我知道我可以使用优先级图来解决它。但是,我不确定在计划中进行提交是否会对构造优先级图产生影响?