Я рассматривал концепцию сохранения порядка в классе Confialt Serializable, и я наткнулся на сериализационный конфликт сохранения порядка (короче говоря, OCSR).Ниже приводится определение OCSR, которое я нашел:
История h является сериализуемым конфликтом, сохраняющим порядок, если h является конфликтом, эквивалентным истории сериалов hs где t, t'∈h: если t полностью наступает до t ' в h , то то же самое сохраняется в hs .
Ниже приведен один пример расписания в OCSR:
w3 (y) c3 w1 (x) r2 (x) c2 w1 (y) c1
Но я не мог понять, почему это расписание в OCSR.Потому что, насколько я понимаю, это график конфликта t3 ---> t1 ----> t2
, который показывает последовательное расписание, где t1 предшествует t2.Но в исходном чередующемся графике t2 полностью предшествует t1.Тогда как этот пример называется в OCSR?Может кто-нибудь помочь мне лучше понять это?