|
|
5仿真币
有如下一个Process:卡车到达检查站进行检查(检查站一次只能检查一辆车),时间分布为n 5,1 min,结束后离开,程序如下:% l1 F/ w9 X! |: X( j5 z X
* T1 H* }2 Q6 B( D% B# Zbegin P_check arriving procedure
3 i. n1 i! |% J% b3 x& q9 ]7 G
" |" W2 H: c# j! q" Z- X% S5 ~0 j2 E& ]; U" X; @
: x% h" c% L d+ L% }7 C
move into Q_check
; X: m9 H+ a+ |" _, q
, L. ?4 M' S+ y: X9 A* W( P/ A6 Z" `( `& |
wait for n 5,1 min* Y# Y$ X$ R% B2 b; t- l
9 t- L" `6 J5 v6 _+ O! W6 {
. r3 ~* E* T* Q9 Esend to die
$ T6 M6 l+ N, J- I end
8 @* ]# ^9 g) x% E! i我把程序作了如下改动:
; n7 S8 T4 [4 w# ^; A; e* N; V( M$ `7 o
begin P_check arriving procedure# z& J+ ~, F1 K+ Y5 H
8 Z" U0 ~7 l: U4 T) A
move into Q_check_wait0 r2 h! e- L0 o% u. n/ B
% R* X' a2 y9 ?+ u; L0 Xmove into Q_check
( \: {5 r& I! H6 X3 y1 I% |4 O, J5 `+ e. Y3 B* V, N6 Q# ]
use R_check for n 5,1 min1 d3 | N$ m! x& C
8 \4 `- \ G3 V: x. o
send to die8 L1 L+ y \, ~0 ?- \
end% R, N P2 c; t0 W
其中Q_check_wait容量为infinite,Q_check和R_check的容量为1
/ U/ _# r2 K) ]7 @ z% J7 _% L8 {运行时出错,请教各位高手错在哪里?谢谢! |
|