顺序保留冲突可序列化计划的含义是什么？

Question

我正在研究冲突序列化类中的顺序保留的概念，并且遇到了顺序保留冲突可序列化（简称 OCSR）。以下是我查到的OCSR的定义：

\n\n

\n

如果h是等价于串行历史hs 的冲突，其中 t,t'\xe2\x88\x88h:如果t完全出现在h中的t'之前，则历史 h 是可序列化的保留冲突顺序的冲突，那么hs中也同样成立。

\n

\n\n

以下是 OCSR 中的计划示例之一：

\n\n

\n

w3(y) c3 w1(x)r2(x) c2 w1(y) c1

\n

\n\n

但我不明白为什么这个时间表在 OCSR 中。因为根据我的理解，这是冲突图 t3 --- > t1 ---- > t2

\n\n

它显示了一个串行时间表，其中 t1 在 t2 之前。但在原始的交错时间表中，t2 完全出现在 t1 之前。那么给定的示例如何说是在 OCSR 中呢？\n谁能帮我更好地理解这一点吗？

\n

Answer 1

在时间表中，T3完全发生在T1和T2之前，但T2和T1是交错的（因此它们之间不存在“一个完全发生在另一个之前”的关系）。因此，只要存在 T3 完全发生在 T1 和 T2 之前的序列历史，就可以处于 OCSR。

实际上存在满足上述条件的串行历史T3->T1->T2。然后，它处于 OCSR 中。