一.管程的组成
封装:
1.一组局部变量
2.对局部变量操作的一组过程
3.对局部变量进行初始化的语句。(联想面向对象中的类)
二.管程特点
- 任何进程只能通过调用管程提供的过程入口才能进入管程访问共享数据;就如同使用临界资源,就要先通过其信号量的申请。
2.任何时刻,仅允许一个进程在管程中执行某个内部过程。
三.管程如何实现同步?
1.对共享变量互斥操作:管程的特点直接实现了该要求,进程一次一个进入管程调用内部过程操作共享变量;管程的互斥访问完全由编译程序在编译时自动添上,无须程序员关心,能保证正确。
2.操作的同步控制:靠条件变量的操作管理实现。进入管程但不能获取资源操作的过程将阻塞,并在满足条件时被唤醒执行。
示例:
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;