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

思考

某條河上有一獨木橋可以使行人通過現在河的兩邊都有人過河為了保障安全依照如下規則過橋

同一方向的可連續過河若某方向有人過河則另一方等待

The PV code Using Pascal

var SSS:semaphore;

　 rcrc:integer;

　 SSS:=;

　 rc=rc=;

　 cobegin

     procedure EastWest_i:        procedure WestEast_i:

　　   begin                             begin

　　   p(S);                           p(S);

　　   rc:=rc+;                   rc:=rc+;

　　   if rc== then P(s);       if rc== then p(s);

　　   v(S);                          v(S);

　　   過獨木橋;                    過獨木橋;

　　   p(S);                          p(S);

　　   rc:=rc;                   rc=rc;

　　   if rc== then v(S);      if rc== then v(s);

　　   v(S);                          v(S);

　　   end                              end

　 coend