ch3-3.4管程1.pptVIP

3.4 管程 3.4.1 管程和条件变量 3.4.2 霍尔方法实现管程 3.4.3 汉森方法实现管程 3.4.1什么是管程?(1)为什么要引入管程 把分散在各进程中的临界区集中起来进行管理 ； 防止进程有意或无意的违法同步操作； 便于用高级语言来书写程序，也便于程序正确性验证。 什么是管程?(2) 管程是由局部于自己的若干公共变量及其说明和所有访问这些公共变量的过程所组成的软件模块 管程有以下属性 ?共享性： ?安全性： ?互斥性： 管程的基本形式 TYPE 管程名 = MONITOR 管程变量说明; define （能被其他模块引用的）过程名列表; use （要引用的模块外定义的）过程名列表； procedure 过程名(形式参数表); begin 过程体； end; …… procedure 过程名(形式参数表); begin 过程体； end; begin 管程的局部数据初始化语句； end; 管程的结构 管程的示例 TYPE SSU = MONITOR var busy : boolean; nobusy : semaphore; define require, return; use wait, signal； procedure