作业系统第六章作业.PDF

作業系統第 六章作業 6.3 The first known correct software solution to the critical-section problem for n processes with a lower bound on waiting of n - 1 turns was presented by Eisenberg and McGuire. The processes share the following variables: enum pstate{idle, want_in, in_cs}; pstate flag[n]; int turn; All the elements of flag are initially idle; the inital value of turn is immaterial (between 0 and n-1). The structure of process Pi is shown in Figure 6.26. Prove that the algorithm satisfies all three requirements for the critical-section problem. (102165011) 第一個能以軟體解決 n個行程臨界區間 (加上等待 n-1 次的最低要求)問題的法 則是由 Eisenberg 和 McGuire所提出。這次行程共用以下的變數 : Enum pstate {idle, want_in, in_cs}; Pstate flag[n]; Int turn; Flag的所有元素原先都是 idle ; turn的初值不重要 (介於0 到n-1之間) 。Pi的 結構如圖 6.25所示。證明此演算法滿足臨界區間的所有三種要求。 do { while (TRUE) { j = tur n; while (j != i) { if (flag[j] !=idle) { j = turn; else j= (j+1) % n; } Flag[i] = in_cs; J = 0; While ((j n) (j== I || flag[j] != in_cs)) J++; If ((j = n) (turn == i || flag[turn] == idle)) Break; } // critical section J = (turn + 1) % n; While (flag[j] == idle) J =(j+1) % n; Turn = j; Flag[i] = idle; // remainder section } while (TURE); 圖 6.25 Eisenberg 和 McGuire 演算法的行程 Pi 結構 答案 : 本演算法作法步驟如下: 如果 process i要進入 critical section ，則將flag[]=want_in 。 確認 turn ~ i的 process都是 idle 狀態，如果任何一個不是idle ，則就 等到全部都是idle 狀態為止。 上述條件成就之後，flag[]=in_cs ，然後檢查是否有其他process也是 in_cs 接著，如果turn ==目前 process或者 flag[turn] = idle ，就可以進入 critical section 1. mutual exclusion 滿足：因為只要有其他任何一個 process是 in_cs 狀態， 則自己就不能進入 critical section 2. progress 滿足 ：如果碰到兩個以