如果不衝突的業務交換後,它可以轉變成序列排程,排程被稱為衝突序列化排程。
此排程將是一個序列化的衝突,如果它是相當於衝突的序列排程。
如果所有條件滿足,則這兩個操作會發生衝突:
範例:
僅當S1
和S2
在邏輯上相等時才可以進行交換。
這裡,S1 = S2
。 這意味著它是非衝突的。
在衝突等效中,可以通過交換非衝突操作將其轉換為另一個。 在給定的範例中,S2與S1相當衝突(S1可以通過交換非衝突操作轉換為S2)。
當且僅當以下情況時,兩個排程被認為是衝突等效的:
範例
排程S2是一個連續排程表,因為在這種情況下,T1
的所有操作都是在開始任何T2
操作之前執行的。通過交換S1的非衝突操作,可以將排程S1轉換為連續時間表。
在交換非衝突操作後,排程S1變為:
因為,S1是衝突可序列化的。