第2章 进程管理(part6).ppt

* 　　说明： 局部于管程内部的数据结构，仅能被局部于管程内部的过程所访问，任何管程外的过程都不能访问它； 反之，局部于管程内部的过程也仅能访问管程内的数据结构。 由此可见，管程相当于围墙，它把共享变量和对它进行操作的若干过程围了起来，所有进程要访问临界资源时，都必须经过管程(相当于通过围墙的门)才能进入，而管程每次只准许一个进程进入管程，从而实现了进程互斥。 * 　　管程是一种程序设计语言结构成分，它和信号量有同等的表达能力，从语言的角度看，管程主要有以下特性： 　　(1) 模块化。管程是一个基本程序单位，可以单独编译。 　　(2) 抽象数据类型。管程中不仅有数据，而且有对数据的操作。 　　(3) 信息掩蔽。管程中的数据结构只能被管程中的过程访问，这些过程也是在管程内部定义的，供管程外的进程调用，而管程中的数据结构以及过程(函数)的具体实现外部不可见。 * 管程的要素： ⑴管程中的共享变量在管程外部是不可见的，外部只能通过调用管程中所说明的外部过程（函数）来间接地访问管程中的共享变量。 ⑵为了保证管程共享变量的数据完整性，规定管程互斥进入。 ⑶管程通常是用来管理资源的，因而在管程中应当设有进程等待队以及相应的等待及唤醒操作 * 问题：多个进程出现在管程中 当一个进入管程的进程执行等待操作时，它应当释放管程的互斥权；当一个进入管程的进程执行唤醒操作时（如Ｐ唤醒Ｑ），管程中便存在两个同时处于活动状态的进程。 处理方法有三种： Ｐ等待Ｑ继续，直到Ｑ退出或等待 Ｑ等待Ｐ继续，直到Ｐ等待或退出 规定唤醒为管程中最后一个可执行的操作 Hoare Hansan 为了解决这类问题，引入了条件变量condition。通常，一个进程被阻塞或挂起的条件(原因)可有多个，因此在管程中设置了多个条件变量，对这些条件变量的访问，只能在管程中进行。 * 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操作，因而总会改变信号量的状态。 * 管程和进程的异同点： （1）设置进程和管程的目的不同 （2）系统管理数据结构 进程：PCB 管程：等待队列 （3）管程被进程调用 （4）管程是操作系统的固有成分，无创建和撤消 * 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(