基于OS必备（背）的程式.docVIP

OS 必備（背）的程式 問題 S M R Producer/Consumer 背 背 背 First-Reader 背 Second-Reader 背(AWAIT) 背 Philosophe 背 背 三部印表機 背 File access 背 Dekker algorithm Bakery algorithm Test_and_Set製作Semaphore ((改善版 SWAP 製作Semaphore (((改善版 製作完整正確的 Semaphore （台大91年那題） Suspend/Wakeup Semaphore Binary Semaphore 製作 Counting Semaphore Semaphore 製作 Monitor Semaphore 製作 Critical Region Monitor製作 Semaphore Critical Region製作 Semaphore Dekker algorithm 程式用途：2個Process的同步解決 注意：在恐龍本上說Dekker algorithm是對的，但實際上 此algorithm是錯的（不滿足Bounded Waiting）…1]:Boolean （初值皆為False） turn:Integer （初值可為0或1） repeat flag[i] = True; while flag[j] do begin if turn = j then begin flag[i] = False; while turn = j do no-op; flag[i] = True; end; end; Critical Section turn = j; flag[i] = False; Remainder Section Until False Bakery algorithm 程式用途：n個Process的同步解決 注意：有時會考，刪除choosing後會有什麼結果？ (( 不滿足 Mutual Exclusion ===================================================================== Bakery algorithm 程式如下： choosing[i] = True; number[i] = Max(number[0],number[1],………,number[n-1])+1; choosing[i] = False; for j = 0 to n-1 do begin while choosing[j] do no-op; while number[j] 0 and (number[j],j)(number[i],i) do no-op; end Critical Section number[i] = 0; Remainder Section Test_and_Set（及SWAP）製作Semaphore ((改善版 Test_and_Set 定義如下： Precedure Test_and_Set(var target : Boolean):Boolean begin Test_and_Set = target; target = True; end; Swap 定義如下： Precedure SWAP (var a,b : Boolean) var temp : Boolean; begin temp = a; a = b; b = temp; end; ===================================================================== Test_and_Set（及SWAP）製作Semaphore改善版程式如下： 共享變數： waiting[0,……,n-1]:Boolean （初值皆為False） Lock:Boolean （初值為False） 區域變數： j:Integer key:Boolean repeat waiting[i] = True; key = True; while (waiting[i] and key) do key = Test_and_Set(Lock); //如果是SWAP這行為 SWAP(Lock,key); waiting[i] = False; Critical Section j= (i+1) mod n; While (j i) and (not waiting[j]) do j = (j+1) mod n;