|
5仿真币
有如下一个Process:卡车到达检查站进行检查(检查站一次只能检查一辆车),时间分布为n 5,1 min,结束后离开,程序如下:
) I& U1 T8 m6 Q8 A/ t 5 ^$ H& s. u+ R; v. K3 E6 o
begin P_check arriving procedure
" _; B" I c" c# ?" n; I0 N
8 E9 H9 {! \4 {) r3 W) c
3 ^1 ?/ m* a& X: J4 R# `/ Z" d" X& z4 m( x$ W8 j0 d
move into Q_check& Z( E2 E$ `# A% n
3 w0 R6 X5 _ D3 Q7 g9 [
# Y0 g7 `- W0 \! V5 Await for n 5,1 min) S; L2 q o. q \ N" T
, j( g7 H5 q1 {' [2 L
4 J, J6 E p U# L4 g( H( H% `5 Vsend to die6 @4 [1 D8 D7 y" N
end
; F1 _5 H, O: B3 o, G* k) ?我把程序作了如下改动:
% t# { V8 q8 D; z h: O$ t) T6 y; }4 P
begin P_check arriving procedure/ ?1 B5 R% P4 v6 J$ B4 W' h
8 Z; ^9 C7 K3 Y7 ]7 y- v- [- N
move into Q_check_wait g: ~! k8 O' e3 V4 j
8 `4 A7 z9 Y; y8 D. D
move into Q_check
9 R! g1 g& c3 C1 v0 S: a: |
2 y' p6 O; @8 v; k$ Muse R_check for n 5,1 min6 j" F$ r2 B9 S* b+ G4 f
; `5 h. Z- C% m: K$ C$ bsend to die9 {+ ~* h+ y4 ?7 l( V* X! y/ p6 P2 y
end9 s8 v+ }/ b2 A2 R2 E' Q
其中Q_check_wait容量为infinite,Q_check和R_check的容量为1+ _( q( q2 R1 F; d5 v
运行时出错,请教各位高手错在哪里?谢谢! |
|