題組內容

四、試解釋並行控制（concurrency control）中以下兩個排程是否符合衝突可順序排程（conflict serializable）？如果符合，試繪出其約當順序排成圖（equivalent serial schedule）以資證明。 （每小題 15 分，共 30 分）

⑴ r1(X)；r3(X)；w1(X)；r2(X)；w3(X)；

詳解 (共 1 筆)

詳解 提供者：nagoya
衝突共有三個條件
1.Read - > write
2.write -> Read
3.write -> write
題目要求判斷衝突可順序排程
表示約當順序排成圖不能夠有迴圈的情形
先看第一個操作R1(X)，跟W3(X)有衝突
65d1eec4d3a54.jpg
所以約當順序排成圖中的T1指向T3
依序處理可以得知，T1並沒有跟T2有衝突，而且T2也是一樣
65d1ee92d411e.jpg
由於不存在迴圈，所以該排序為衝突可順序排程
資料來源
https://www.youtube.com/watch?v=zv0ba0Iok1Y&ab_channel=GateSmashers