操作系统第二章进程同步与通信(第二部分)2016-9.ppt

* 图 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操作，因而总会改变信号量的状态。 * 2.5.2 利用管程解决生产者-消费者问题 在利用管程方法来解决生产者-消费者问题时， 首先便是为它们建立一个管程，并命名为Procducer-Consumer, 或简称为PC。其中包括两个过程： (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 * 在利用管程解决生产者-消费者问题时， 其中的生产者和消费者可描述为： producer:begin repeat produce an item in nextp; PC.put(item); until false; end consumer:begin repeat PC.get(item); consume the item in nextc; until false; end * §2.8 进程通信（一） 进程通信（communication）是指进程间交换信息。显然，进程同步也是一种简单的通信方式，但交换的信息量少，通信效率低，称为低级通信方式。 本节讨论的是高效传递大量信息的高级通信方式。 讨论以下问题 进程通信的类型 消息缓冲队列通信机制 直接