哈工程考研课件-第2章管程.ppt

* 4.3.2 进程的同步机制──管程 管程的提出 采用PV同步机制来编写并发程序，对于共享变量及信号量变量的操作将被分散于各个进程中 缺点： （１）易读性差，因为要了解对于一组共享变量及信号量的操作是否正确，则必须通读整个系统或者并发程序 （２）不利于修改和维护，因为程序的局部性很差，所以任一组变量或一段代码的修改都可能影响全局 （３）正确性难以保证，因为操作系统或并发程序通常很大，要保证这样一个复杂的系统没有逻辑错误是很难的 管程：一种同步机制 (管程-类程-进程) 管程定义: 指关于共享资源的数据及在其上操作的一组过程或共享数据结构及其规定的所有操作 系统按资源管理的观点分解成若干模块，用数据表示抽象系统资源，同时分析了共享资源和专用资源在管理上的差别，按不同的管理方式定义模块的类型和结构，使同步操作相对集中，从而增加了模块的相对独立性 管程：集中式同步机制，它的基本思想是将共享变量以及对共享变量能够进行的所有操作集中在一个模块中，一个操作系统或并发程序由若干个这样的模块所构成，由于一个模块通常较短，模块之间关系清晰，提高了可读性，便于修改和维护，正确性易于保证 管程的形式 TYPE monitor_name = MONITOR; 共享变量说明 define 本管程内所定义、本管程外可调用的过程（函数）名字表 use 本管程外所定义、本管程内将调用的过程（函数）名字表 PROCEDURE 过程名（形参表）； 过程局部变量说明； BEGIN 语句序列； END; ...... FUNCTION 函数名（形参表）：值类型； 函数局部变量说明； BEGIN 语句序列； END; ...... BEGIN 共享变量初始化语句序列； END; 管程的三个主要的特性： （一）模块化，一个管程是一个基本程序单位，可以单独编译 （二）抽象数据类型，管程是一种特殊的数据类型，其中不仅有数据，而且有对数据进行操作的代码 （三）信息掩蔽，管程是半透明的，管程中的外部过程（函数）实现了某些功能，管程中的外部过程（函数）实现了某些功能，至于这些功能是怎样实现的，在其外部则是不可见的 管程有如下几个要素： （一）管程中的共享变量在管程外部是不可见的，外部只能通过调用管程中所说明的外部过程（函数）来间接地访问管程中的共享变量 （二）为了保证管程共享变量的数据完整性，规定管程互斥进入 （三）管程通常是用来管理资源的，因而在管程中应当设有进程等待队以及相应的等待及唤醒操作 问题：多个进程出现在管程中 当一个进入管程的进程执行等待操作时，它应当释放管程的互斥权；当一个进入管程的进程执行唤醒操作时（如Ｐ唤醒Ｑ），管程中便存在两个同时处于活动状态的进程 处理方法有三种： Ｐ等待Ｑ继续，直到Ｑ退出或等待? Ｑ等待Ｐ继续，直到Ｐ等待或退出 规定唤醒为管程中最后一个可执行的 操作 因为管程是互斥进入的，所以当一个进程试图进入一个巳被占用的管程时它应当在管程的入口处等待，因而在管程的入口处应当有一个进程等待队列，称作入口等待队列 如果进程Ｐ唤醒进程Ｑ，则Ｐ等待Ｑ继续，如果进程Ｑ在执行又唤醒进程Ｒ，则Ｑ等待Ｒ继续，……，如此，在管程内部，由于执行唤醒操作，可能会出现多个等待进程，因而还需要有一个进程等待队列，这个等待队列被称为紧急等待队列。它的优先级应当高于入口等待队列的优先级 由于管程通常是用于管理资源的，因而在管程内部，应当存在某种等待机制。当进入管程的进程因资源被占用等原因不能继续运行时使其等待。为此在管程内部可以说明和使用一种特殊类型的变量，称作条件变量： VAR C:condition; 对于条件型变量，可以执行wait和signal操作： wait（c）：如果紧急等待队列非空，则唤醒第一个等待者；否则释放管程的互斥权，执行此操作的进程的PCB入c链尾部 signal（c）：如果c链为空，则相当于空操作，执行此操作的进程继续；否则唤醒第一个等待者，执行此操作的进程的PCB入紧急等待队列的尾部 管程的实现 两个主要途径： * 直接构造 * 间接构造，即用某种已经实现的同步机制去构造 前者效率高 例子：用PV操作构造管程 管程的四个组成部分： 名称 数据结构说明 对该数据结构进行操作的一组过程/函数 初始化语句 TYPE one_instance=RECORD mutex:semaphore;（初值1） urgent:semaphore;（初值0） urgent_count:integer;（初值0） END; TYPE monitor_elements=MODULE; de