熱點推薦:
您现在的位置: 電腦知識網 >> 編程 >> 操作系統 >> 正文

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

2013-11-15 15:55:28  來源: 操作系統 

思考

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

 

 

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

E方向兩輛車分別位於ABS方向一輛車位於CW方向一輛車位於DS方向兩輛車分別位於BCE方向一輛車位於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
    推薦文章
    Copyright © 2005-2013 電腦知識網 Computer Knowledge   All rights reserved.