十四 真經之過橋問題[8]

思考

設有一個T型路口其中ABCD處各可容納一輛車車行方向如圖所示

 

 

試找出死鎖並用有序分配法消除之要求資源編號合理

解（）E方向兩輛車分別位於A和BS方向一輛車位於CW方向一輛車位於D（）S方向兩輛車分別位於B和CE方向一輛車位於AW方向一輛車位於D

　　

The PV code Using Pascal

　　

設位置資源CBAD的編號從低到高依次為管理個位置的信號量分別為SSSS信號量的初值均為

車輛活動如下

semaphore S=S=S=s=l

cobegin

　procedure W:直行  E:左轉     S:左轉

　   begin 　 　 　  begin  　　begin

　　p(S); 　           p(S); 　  p(S);

　　p(S); 　           Enter B;    Enter C;

　　Enter D;            p(S);       p(S);

　　Enter C;      　  Enter A;   Enter B;

　　v(S); 　           v(S);      v(S);

　　Out of C;           p(S);      p(S);

　　v(S);               Enter D;   Enter A;

　　end                   v(S);      v(S);

　　　                    out of D;   out of A;

　　　　                 v(S);      V(S);

　　　　                 end          end

coend

 

返回《操作系統之PV金典》

[]  []  []  []  []  []  []  []  

From:http://tw.wingwit.com/Article/program/czxt/201311/24218.html