计算机操作系统：第2章 进程管理.pptVIP

* P-V操作，荷兰文 P Passeren V Vrijgeven * { while(true) { p(rmutex); if(readcount= =0) p(wmutex);/*第一位读者阻止写者*/ readcount++; V(rmutex); 读数据集； p(rmutex); readcount--; if(readcount= =0) v(wmutex);/*第末位读者允许写者进*/ V(rmutex); } } reader() 修改readcount 修改readcount { while(true) { p(wmutex); /**阻止其它进程（读、写）进/ 写数据集； V(wmutex); /**允许其它进程（读、写）进/ } } writer() 返回 2.5 管程机制 信号量机制实现进程同步的问题 用信号量机制实现进程间的同步和互斥，即方便又有效。但存在以下两个问题： 每个访问临界资源的进程都必须自备同步操作（P、V操作），这使大量的同步操作分散在各个进程中，给系统的管理带来麻烦。 会因同步操作使用不当而导致系统死锁。 解决方法----管程（Monitors) Dijkstra于1971年提出，为每个共享资源设立一个“秘书”来管理对它的访问。一切来访者都要通过秘书，而秘书每次仅允许一个来访者（进程）来访问共享资源。这样既便于系统管理共享资源，又能保证进程的互斥访问和同步。1973年，Hanson和Hoare又把“秘书”概念发展为管程概念。 一、管程的基本概念 ※基本思想 把访问某种临界资源的所有进程的同步操作都集中起来，构成一个所谓的“秘书”进程（管程），凡是访问临界资源的进程，都需要报告 “秘书”，由秘书来实现诸进程的同步。 ※管程的定义 一个数据结构和在该数据结构上能被并发进程所执行的一组操作，这组操作能同步进程和改变管程中的数据。如下图所示。 一、管程的基本概念 ※条件变量 在管程机制中，当某进程通过管程请求临界资源未能满足时，管程便调用wait原语使该进程等待，但等待的原因可能有多个，为了加以区别，在P，V操作前，引入条件变量加以说明。 （1）条件变量的定义格式 Var x,y: condition （2）对条件变量执行的两种操作 Wait操作 如x.wait用来将执行进程挂到与条件变量x相应的 等待队列上。 Signal操作 如x.signal用来唤醒与条件变量x相应的等待队列 上的一个进程。 二、用管程机制解决生产者—消费者问题 1、建立Producer-consumer(PC)管程 Type producer-consumer=monitor var in,out,count:integer; buffer:array[0,…,n-1] of item; notfull,notempty:condition; put(item); get(item); begin in:=out:=0; /* 初始化代码*/ count:=0; end 管程中的两个条件变量： (1) notfull 当缓冲区中不全满，该变量为真。 (2)notempty 当缓冲区中不全空，该变量为真。 二、用管程机制解决生产者—消费者问题 1、建立Producer-consumer(PC)管程 put(item)过程 生产者利用此过程将自已的消息放到缓冲池中，若发现缓冲已满（count n),则等待。 Get(item)过程 消费者利用此过程将缓冲池中的消息取走，若发现缓冲已空（count 0),则等待。 put(item) Procedure entry put(item) begin if count = n then notfull.wait; buffer(in):=nextp; in:=(in+1) mod n; count:=count+1; i