管程机制
一、定义
一个管程定义了一个数据结构和能为并发进程所执行(在该数据结构上)的一组操作,这组操作能同步进程和改变管程中的数据
二、管程的特点
- 任何进程只能通过调用管程提供的过程入口才能进入管程访问共享数据
- 任何时刻,仅允许一个进程在管程中执行某个内部过程(天然互斥)
- 管程中通过条件变量的操作管理实现同步控制
三、条件变量
条件变量是一种抽象数据类型,每个条件变量保存了一个链表,用于记录因改条件变量而阻塞的所有进程
cwait(x):正在调用管程的进程因x条件需要被阻塞或挂起
csignal(x):重新启动一个因x条件而阻塞或挂起的进程(与信号量signal的区别:
信号量signal会执行s=s+1,改变信号量的状态,若无阻塞进程条件变量不会产生任何效果)
四、生产者-消费者问题的管程解决方法
type p_c=monitor //定义一个管程p_c
int in=0,out=0,count=0;
buffer: array[0,…,n-1] of item
x,y: condition; //设置条件变量,x表示没有盘子,y表示没有产品
procedure entry put(var product:item) //生产者放入
{
if count>=n then cwait(x); //没有盘子等待
buffer[in]=product;
in=(in+1) mod n;
count=count+1;
csignal(y); //放入产品唤醒y条件
}
procedure entry get(var product:item) //消费者取出
{
if count<=0 then cwait(y); //没有产品等待
nextc=buffer[out];
out=(out-1) mod n;
count=count-1;
csignal(x); //取走产品唤醒x条件
}
Producer:
begin
repeat
生产an item in nextp;
p_c.put(nextp);
until
end
Consumer:
begin
repeat
p_c.get(nextc);
消费an item in nextc;
until
end
五、管程的优缺点
优点:
1.保证进程互斥地访问共享变量,并方便地阻塞和唤醒进程
2.管程可增强模块的独立性
3.引入管程可提高代码的可读性,便于修改和维护,正确性易于保证
缺点:
大多数常用的编程语言中没有实现管程(但可将P、V操作作为第一个独立的例程或操作系统的管理程序调用加入)