操作系统_进程管理笔记（三）

在信号量机制中
要访问每个临界资源的进程
都必须自备同步的PV操作
容易操作不当导致死锁

管程
保证进程互斥
提供了条件变量
1、定义
资源管理程序
代表共享资源的数据结构
2、组成
（1）管程的名称
（2）局部于管程内部的共享结构数据说明
（3）对该数据结构进行操作的一组过程
（4）对局部于管程内部的共享数据结构设置初始值的语句

像一个类
1）把对共享资源的操作封装起来
外部调用take_away()申请资源
2）每次只允许一个进程进入管程

3、条件变量
阻塞原因
每个·条件变量保存一个等待队列
对条件变量只能进行两种操作
x.wait
条件不满足
将自己插入x条件的等待队列
并释放管程
x.signal

条件变化，唤醒一个因x条件而阻塞的进程
条件变量的定义和使用

monitor Demo{
共享数据结构S；
condition x;
init_code(){...}
take_away;{
if(S<=0)   x.wait();//资源不够，在条件变量x上阻塞等待
资源足够，分配资源，做一系列相应处理；
}
give_back()   
归还资源，做一系列相应处理；
if(有进程在等待)  x.signal;//唤醒一个阻塞进程
}
}

条件变量与信号量的比较
1）相似点：wait/signal类似于P/V操作，可以实现进程的阻塞/唤醒
2）不同点：条件变量“没有值”，仅实现“排队等待”功能
信号量“有值”，反应剩余资源数，管程中剩余资源数用共享数据结构记录