操作系统原理与Linux实践教程（第2版）课件 第32讲 管程的实现.pptx

管程的实现

主要内容一、Hoare管程数据结构二、Hoare的wait操作三、Hoare的signal操作四、管程的应用

一、Hoare管程数据结构霍尔方法采用信号量实现条件变量，将信号量的PV操作和同步操作封装在管程的过程中。Hoare管程数据结构（1）mutex（2）next和next-count（3）x-sem和x-count

（1）mutex信号量mutex管理管程入口处的等待队列，供管程中过程互斥调用，初值为1。进程调用管程中的任何过程时，应执行P(mutex)；进程退出管程时应执行V(mutex)开放管程，以便其它调用者进入。进程在等待资源期间，应允许其它进程进入管程，故在wait