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

　　cobegin

　  　Procedure Bike TN

　  　begin

　　    p(TN);

　    　p(L);

　    　go T to L;

　    　p(M);

　    　go into M;

　    　V(L);

　    　P(k);

　    　go K to s;

　    　V(M);

　    　V(k);

　    　V(TN);

　  　end

　  　Procedure Bike NT

　  　begin

　    　P(NT);

　    　p(k);

　    　go v to k;

　    　p(M);

　    　go into M;

　    　V(k);

　    　P(L);

　    　go L to T;

    　　V(M);

　    　V(L);

　    　V(NT);

　  　end

　　coend

 

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

[]  []  

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