op_第二章(管程全new).ppt

管程中的共享变量在管程外部是不可见的，外部只能通过调用管程中所说明的外部过程（函数）来间接地访问管程中的共享变量 为了保证管程共享变量的数据完整性，规定管程互斥进入 管程通常是用来管理资源的，因而在管程中应当设有进程等待队列以及相应的等待及唤醒操作 管程的要素 因为管程是互斥进入的，所以当一个进程试图进入一个巳被占用的管程时它应当在管程的入口处等待，因而在管程的入口处应当有一个进程等待队列，称作入口等待队列 如果进程Ｐ唤醒进程Ｑ，则Ｐ等待Ｑ继续，如果进程Ｑ在执行又唤醒进程Ｒ，则Ｑ等待Ｒ继续，……，如此，在管程内部，由于执行唤醒操作，可能会出现多个等待进程，因而还需要有一个进程等待队列，这个等待队列被称为紧急等待队列。它的优先级应当高于入口等待队列的优先级 问题：多个进程出现在管程中 ①当一个进入管程的进程执行等待操作时，它应当释放管程的互斥权； ②当一个进入管程的进程执行唤醒操作时（如Ｐ唤醒Ｑ），管程中便存在两个同时处于活动状态的进程 处理方法有三种： Ｐ等待Ｑ继续，直到Ｑ退出或等待（Hoare) Ｑ等待Ｐ继续，直到Ｐ等待或退出 规定唤醒为管程中最后一个可执行的操作 (Henson) 由于管程通常是用于管理资源的，因而在管程内部，应当存在某种等待机制。当进入管程的进程因资源被占用等原因不能继续运行时使其等待。为此在管程