1.管程的组成
(1)一组局部变量
(2)对局部变量操作的一组过程
(3)对局部变量进行初始化的语句。(联想面向对象中的类)
2.管程特点
(1)任何进程只能通过调用管程提供的过程入口才能进入管程访问共享数据;
(2)任何时刻,仅允许一个进程在管程中执行某个内部过程。
3.管程的优缺点
(1)保证进程互斥地访问共享变量,并方便地阻塞和唤醒进程。管程比信号量好控制
(2)管程可增强模块的独立性
(3)引入管程可提高代码的可读性,便于修改和维护,正确性易于保证
(4)大多数编程语言没有实现管程
4.条件变量(用于控制进程阻塞和唤醒)
(1)类似信号量变量,但不取具体值;相当于每个阻塞队列的队列指针。
(2)对条件变量的操作需结合对普通变量的条件判断,从而控制进程状态。
(3)x.wait将执行进程挂到x对应的等待队列上;x.signal唤醒x相应的等待队列上的一个进程(signal操作,是重新启动一个被阻塞的进程,但如果没有进程被阻塞,则不产生任何效果)
5.应用举例
type p_c=monitor
var in,out,count: interger;
buffer: array[0,…,n-1] of item
x,y: condition;
procedure entry put(var product:item)
{ if count>=n then x.wait;
buffer[in]=product;
in=in+1 mod n;
count=count+1;
y.signal; }
procedure entry get(var product:item)
{ if count<=0 then y.wait;
nextc=buffer[out];
out=out-1 mod n;
count=count-1;
x.signal; }
{ in=out=0;
count=0; }
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