第2章进程管理(part3).pptVIP

* 2. 3.4 管 程 机 制 1. 管程的基本概念 1)管程的定义 管程由三部分组成： ① 局部于管程的共享变量说明； ② 对该数据结构进行操作的一组过程； ③ 对局部于管程的数据设置初始值的语句。此外，还须为管程赋予一个名字。 * 图 2-11 管程的示意图 * 管程的语法如下： type monitor-name=monitor variable declarations procedure entry P1(…); begin … end; procedure entry P2(…); begin … end;  … procedure entry Pn(…); begin … end; begin initialization code; end * 2) 条件变量 管程中对每个条件变量，都须予以说明，其形式为：Var x, y:condition。 该变量应置于wait和signal之前，即可表示为X.wait和X.signal。例如，由于共享数据被占用而使调用进程等待，该条件变量的形式为：nonbusy:condition。此时， wait原语应改为nonbusy.wait，相应地，signal应改为nonbusy.signal。 应当指出，X.signal操作的作用，是重新启动一个被阻塞的进程，但如果没有被阻塞的进程，则X.signal操作不产生任何后果。这与信号量机制中的signal操作不同。因为，后者总是要执行s∶ =s+1操作，因而总会改变信号量的状态。 * 如果有进程Q处于阻塞状态， 当进程P执行了X.signal操作后，怎样决定由哪个进行执行，哪个等待，可采用下述两种方式之一进行处理： (1) P等待，直至Q离开管程或等待另一条件。 (2) Q等待，直至P离开管程或等待另一条件。 采用哪种处理方式， 当然是各执一词。 但是Hansan却采用了第一种处理方式。 * 2 .利用管程解决生产者-消费者问题 在利用管程方法来解决生产者-消费者问题时， 首先便是为它们建立一个管程，并命名为Proclucer-Consumer, 或简称为PC。其中包括两个过程： (1) put(item)过程。 (2) get(item)过程。 * (1) put(item)过程。 生产者利用该过程将自己生产的产品投放到缓冲池中， 并用整型变量count来表示在缓冲池中已有的产品数目，当count≥n时，表示缓冲池已满，生产者须等待。 (2) get(item)过程。消费者利用该过程从缓冲池中取出一个产品，当count≤0时，表示缓冲池中已无可取用的产品， 消费者应等待。 * type producer-consumer=monitor Var in,out,count:integer; buffer:array［0,…,n-1］ of item; notfull, notempty:condition; procedure entry put(item) begin if count≥n then notfull.wait; buffer(in)∶ =nextp; in∶ =(in+1) mod n; count∶ =count+1; if notempty.queue then notempty.signal; end * procedure entry get(item) begin if count≤0 then notempty.wait; nextc∶ =buffer(out); out∶ =(out+1) mod n; count∶ =count-1; if notfull.quene then notfull.signal; end begin in∶ =out∶ =0; count∶ =0 end * 在利用管程解决生产者-消费者问题