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

begin

　var Smutex=Nmutex=mutex=:semaphore;

　　 SCarCount=NCarCount=:integer;

　cobegin

　　process Scari(i=)

　　  begin

　　  p(Smutex);

　　  if(SCarCount=)then p(mutex);

　　  SCarCount=SCarCount+;

　     v(Smutex);

　     過橋

　    p(Smutex);

　　  SCarCount=SCarCount;

　　  if(SCarCount=)then v(mutex);

　    v(Smutex);

　    end

　　process Ncarj(j=)

　　  begin

　　  p(Nmutex);

　　  if(NCarCount=)then p(mutex);

　　  NCarCount=NCarCount+;

　　  v(Nmutex);

　　  過橋

　　  p(Nmutex);

　　  NCarCount=NCarCount;

　　  if(NCarCount=)then v(mutex);

　　  v(Nmutex);

　　  end

　coend

end