十 真經之安全島問題（南開1997）[1]

十 真經之安全島問題（南開）

　　

　　在南開大學至天津大學間有一條彎曲的路每次只允許一輛自行車通過但中間有小的安全島M（同時允許兩輛車）可供兩輛車在已進入兩端小車錯車設計算法並使用PV實現

     

　　

　　問題分析

　　由於安全島M僅僅允許兩輛車停留本應該作為臨界資源而要設置信號量但根據題意任意時刻進入安全島的車不會超過兩輛(兩個方向最多各有一輛)因此不需要為M設置信號量在路口s和路口t都需要設置信號量以控制來自兩個方向的車對路口資源的爭奪這兩個信號量的初值都是此外由於從s到t的一段路只允許一輛車通過所以還需要設置另外的信號量用於控制由於M的存在可以為兩端的小路分別設置一個互斥信號量

　　

　　The PV code Using Pascal

　　

　　var TNNTLMK:semaphore;

　　    TN:=;

　    　NT:=;

　    　L:=;

　　    K:=;

　    　M:=;

 

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

[]  []  

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