《34管程old》-课件设计（公开）.pptVIP

二、 Hoare方法实现的管程 (18) P1 C1 P(IM.next); IM.next_count := IM.next_count - 1; end; end; end if IM.next-count 0 then V(IM.next); // IM.next-count=1, IM.next.value=0,唤醒P1 else V(IM.mutex); consume the item in nextc ; IM.next_count := IM.next_count - 1;// 二、 Hoare方法实现的管程 (19) P1 C1 IM.next_count=0 end; end; end if IM.next-count 0 then V(IM.next); // IM.next_count=0 else V(IM.mutex);// IM.mutex.value=1 Operating System OS 操作系统 郑州大学 申丰山 Operating System OS 操作系统 郑州大学 申丰山 主要内容： 什么是管程 管程的组成部分 管程的实现 管程的应用 3.4 管程 一、什么是管程 (1) 1.为什么要引入管程 信号量机制的缺点：进程自备同步操作，wait（S）和signal（S）操作大量分散在各个进程中，不易管理，易发生死锁。 管程特点：管程封装了同步操作，对进程隐蔽了同步细节，简化了同步功能的调用界面。用户编写并发程序如同编写串行程序。 引入管程机制的目的： ?把分散在各进程中的临界区集中起来进行管理； ?防止进程有意或无意的违法同步操作; ?便于用高级语言来书写程序，也便于程序正确性验证。 一、什么是管程 (2) 2.什么是管程 一个管程定义了一个数据结构和能为并发进程所执行的在该数据结构上的一组操作，这组操作能同步进程和改变管程中的数据。 3.管程的三个组成部分 1）局部于管程的共享变量； 2）对数据结构进行操作的一组过程； 3）对局部于管程的数据进行初始化的语句。 一、什么是管程 (3) 4.管程语法 type 管程名 = monitor 变量定义 procedure entry P1（...）; begin … end ; procedure entry P1（...）; begin … end ; … procedure entry Pn（...）; begin … end ; begin 初始化代码； end ; 一、什么是管程 (4) 说明： 管程内的数据结构是私有的，只能在管程内使用，管程内的过程也只能使用管程内的数据结构。进程通过调用管程的过程使用临界资源。任一时刻，管程中只能有一个活跃进程。 一、什么是管程 (5) condition c1 wait(c1) … condition cn wait(cn) Urgent queue signal 局部数据 条件变量 过程1 过程k 出口 初始化代码 入口 管程 等待调用的进程队列 管程等待区域 … 管程的结构 当一个进入管程的进程执行等待操作时，其它进程应该被允许进入管程； 当一个进入管程的进程执行唤醒操作时（如Ｐ唤醒Ｑ），管程中便存在两个同时处于活动状态的进程，由于任一时刻，管程中只能有一个活跃进程。所以处理办法为： 1）Ｐ等待Ｑ继续，直到Ｑ退出或等待 2）Ｑ等待Ｐ继续，直到Ｐ等待或退出 3）规定唤醒为管程中最后一个可执行的操作 管程机制分析（1） 因为管程是互斥进入的，所以当一个进程试图进入一个巳被占用的管程时它应当在管程的入口处等待，因而在管程的入口处应当有一个进程等待队列，称作入口等待队列。 如果进程Ｐ唤醒进程Ｑ，则Ｐ等待Ｑ继续，如果进程Ｑ在执行又唤醒进程Ｒ，则Ｑ等待Ｒ继续，……，如此，在管程内部，由于执行唤醒操作，可能会出现多个等待进程，因而还需要有一个进程等待队列，这个等待队列被称为紧急等待队列。它的优先级应当高于入口等待队列的优先级。 管程机制分析（2） 管程机制分析（3） 由于管程通常是用于管理资源的，因而在管程内部，应当存在某种等待机制。当进入管程的进程因资源被占用等原因不能继续运行时使其等待。为此在管程内部使用了一种特殊类型的变量，称作条件变量。 VAR C:condition; 对于条件型变量，可以执行wait和signal操作。 wait（c）：如果紧急等待队列非空，则唤醒第一个等待者；否则释放管程的互斥权，执行此操作的进程的PCB入c链尾