操作系统教程（第6版）课件6.9 管程概述.pptx

掌握管程的基本概念

理解管程与条件变量

理解管程的执行模型计算机操作系统6并发程序设计–6.4管程6.4.1管程概述

管程概念的提出管程试图抽象相关并发进程对共享变量访问，以提供一个友善的并发程序设计开发环境管程是由若干公共变量及其说明和所有访问这些变量的过程所组成管程把分散在各个进程中互斥地访问公共变量的那些临界区集中起来管理，管程的局部变量只能由该管程的过程存取进程只能互斥地调用管程中的过程

管程的基本形式TYPE管程名=MONITOR管程变量说明;define（能被其他模块引用的）过程名列表;use（要引用的模块外定义的）过程名列表；procedure过程名(形式参数表);begin过程体；end;……procedure过程名(形式参数表);begin过程体；end;begin管程的局部数据初始化语句；end;

管程的条件变量条件变量（conditionvariables）：当调用管程过程的进程无法运行时，用于阻塞进程的信号量同步原语wait：当一个管程过程发现无法继续时（如发现没有可用资源时），它在某些条件变量上执行wait，这个动作引起调用进程阻塞同步原语signal：用于释放在条件变量上阻塞的进程

管程的执行模型conditionc1wait(c1)…conditioncnwait(cn)Urgentqueuesignal局部数据条件变量过程1过程n出口变量初始化代码入口管程等待调用进程队列管程等待区域互斥调用管程过程队列互斥调用管程过程高优先级队列条件变量队列条件变量队列

管程过程执行中signal的处理问题当使用signal释放一个等待进程时，可能出现两个进程同时停留在管程内。解决方法：执行signal的进程等待，直到被释放进程退出管程或等待另一个条件被释放进程等待，直到执行signal的进程退出管程或等待另一个条件霍尔采用了第一种办法汉森选择了两者的折衷，规定管程过程所执行的signal操作是过程体的最后一个操作