2015综合题管程.txt

monitor Schedule
condition wfull,wempty,sfull,sempty;
integer wc=0,sc=N;
procedure wake;
begin 
      if(wc==0) then wait(wempty);
      if(sc==N) then wait(sfull);
      if(sc==0){
if(wc==M)
refuse();
else{
sc:=sc-1;
wc=wc+1;
}
      if(wc==M) then signal(wfull);
      if(sc==0) then signal(sempty);
end
procedure afterWork;
begin
if(wc==M) then wait(wfull);
       if(sc==0) then wait(sempty);
if(wc==0)
      sc=sc+1;
else
      wc=wc+1;
if(wc==0) then wait(wempty);
       if(sc==N) then wait(sfull);
end
end monitor;