孙钟秀操作系统PPTch3-3.4管程.pptVIP

管程的实现：汉森方法(2) 每个管程使用的一个数据类型： TYPE interf = RECORD intsem : condition; /* 开放管程的信号量 */ count1 : integer; /* 等待调用的进程个数 */ count2 : integer; /* 调用了管程中的过程且不 END; 处于等待状态的进程个数 */ 管程的实现：汉森方法(3) 调用查看原语check： 如果管程是开放的，则执行这条原语后关闭管程，相应进程继续执行；如果管程是关闭的，则执行这条原语后相应进程被置成等待调用状态 管程的实现：汉森方法(4) procedure check(var IM:interf); begin if IM.count2 = 0 then IM.count2 := IM.count2 + 1; else begin IM.count1 := IM.count1 + 1; W(IM.intsem); end; end; 管程的实现：汉森方法(5) 开放原语release： 如果除了发出这条原语的进程外，不再有调用了管程中过程但又不处于等待状态的进程，那么就释放一个等待者或开放管程 管程的实现：汉森方法(6) procedure release(var IM interf); begin IM.count2 := IM.count2 - 1; if IM.count2 = 0 and IM.count1 0 then begin IM.count1 := IM.count1 - 1; IM.count2 := IM.count2 + 1; R(IM.intsem); end; end; 管程的实现：汉森方法(7) 等待原语wait： 执行这条原语后相应进程被置成等待状态，同时开放管程，允许其它进程调用管程中的过程 管程的实现：汉森方法(8) procedure wait(var s:condition; 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; 管程的实现：汉森方法(9) 释放原语signal： 执行这条原语后释放指定等待进程队列中的一个进程。如指定等待进程队列为空，本操作相当于空操作 管程的实现：汉森方法(10) procedure signal(var s:condition; var IM interf); begin if s 0 then begin s := s – 1; IM.count2 := IM.count2 + 1; R(s); end; end; 管程的实现：汉森方法(11) 用管程实现进程同步时，进程应按下列次序工作： ??请求资源。 ??使用资源。 ??释放资源。 汉森管程实现读者写者问题(1) 有两组并发进程：读者与写者，共享一个文件，要求：1）允许多个读者同时执行读操作；2）任一写者在完成写操作之前不允许其他读者和写者工作；3）写者欲工作，要等待已存在的读者完成读操作，新的读者与写者均被拒绝 汉森管程实现读者写者问题(2) type read_writer = MONITOR var rc, wc : integer; R, W : condition; define start_read, end_read, start_write, end_write; use wait, signal, check, release; ?procedure start-read; begin check(IM); if wc0 then wait(R,IM); rc := rc + 1; signal(R, IM); release(IM); end; procedure end-read; begin