十 真经之安全岛问题（南开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金典》

[] []