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

The PV code Using Pascal

var loadnorthsouth:semaphore;

　 load=;

　 north=;

　 south=;

　 GO_South()

　　  P(load);

　　  P(north);

　　  過北段橋;

　　  到橋中間;

　　  V(north);

　　  P(south);

　　  過南段橋;

　　  到達南岸;

　    V(south);

　    V(load);

　　GO_North()

　    P(load);

　    P(south);

　    過南段橋;

　　  到橋中間

　    V(south);

　　  P(north);

　    過北段橋;

　    到達北岸

　    V(north);

　    V(load);