管程的实现:汉森方法 ●释放原语 signal:执行这条原语后释放指定 等待进程队列中的一个进程。如指定等待进 程队列为空。本操作相当于空操作 procedure signal (var s: semaphore; var IM interf) egIn ifs>o then beg in IM count2 =M count2 1 R(s) end end管程的实现：汉森方法 ⚫ 释放原语signal：执行这条原语后释放指定 等待进程队列中的一个进程。如指定等待进 程队列为空，本操作相当于空操作 procedure signal(var s:semaphore; var IM interf); begin if s > 0 then begin s := s – 1; IM.count2 := IM.count2 + 1; R(s); end; end;