管程的实现:汉森方法 等待原语wait:执行这条原语后相应进程 被置成等待状态,同时开放管程允许其 它进程调用管程中的过程 procedure wait(var s: semaphore; var IM interf) begin s:=s+1; IM count2: =M count2- 1 if IM count1>0 then beg in IM count1 .=M. count1-1 IM. count2 IM count2+ 1 R(IM. intem) end W(s) end,管程的实现：汉森方法 ⚫ 等待原语wait：执行这条原语后相应进程 被置成等待状态，同时开放管程，允许其 它进程调用管程中的过程 procedure wait(var s:semaphore; var IM interf); begin s := s + 1; IM.count2 := IM.count2 – 1; if IM.count1 > 0 then begin IM.count1 := IM.count1 – 1; IM.count2 := IM.count2 + 1; R(IM.intsem); end; W(s); end;