十六 真經之機房上機問題(北大
某高校計算機系開設網絡課並安排上機實習
每兩個學生組成一組
只有一組兩個學生到齊
上機實習由一名教師檢查
試用P
注意
本題目隱含一個進程(Guard)
The P
var stu
ste:=
computer:=
enter:=
finish:=
test:=
cobegin
Procedure Student Procedure Teacher Procedure Guard
begin begin begin
p(computer); p(finish); p(stu);
p(stu); Test the work; p(stu);
Start computer; v(test); Enter;
v(finish); v(test); v(enter);
v(test); end v(enter);
v(computer); end
end
coend
From:http://tw.wingwit.com/Article/program/czxt/201311/24332.html