-------管程的定义:
系统中的各种硬件资源和软件资源,均可用数据结构抽象地描述其资源特性,即用少量信息和对资源所执行的操作来表征该资源,而忽略了它们的内部结构和实现
细节。管程是由一组数据以及定义在这组数据之上的对这组数据的操作组成的软件模块,这组操作能初始化并改变管程中的数据和同步进程。
--------管程的组成:
(1)、局部于管程的共享结构数据说明
(2)、对该数据结构进行操作的一组过程
(3)、对局部于管程的共享数据结构设置初始值的语句
相信数据面向对象程序设计的读者看到管程的组成后,会立即联想到,管程很像一个抽象类。
--------管程的基本特性:
(1)、局部于管程的数据只能被局部于管程内的过程所访问
(2)、一个进程只有通过调用管程内的过程才能进入管程访问共享数据
(3)、每次仅允许一个进程在管程内执行某个内部过程
由于管程是一个语言成分,所以管程的互斥访问完全由编译程序在编译时自动添加,无需程序员关注,而且确保正确。
管程实质上是一个抽象类,这个抽象类有好几个成员变量,系统中任何设备都可以通过这几个成员变量进行区分和描述;管程中还有对这些成员变量进行操作
的一组成员函数,例如,对外设的操作中,会有 read , writer 这一类函数。例如,进程P0 要使用一台打印机,于是管程这个抽象类会利用初始化语句对自身的几个
成员变量赋初值(这个行为不需要程序员关注),特定的几个初始值可以让管程表示成一台打印机,进程P0进入管程后,通过调用管程中的成员函数(即上面所说的
过程)对这台打印机进行操作。每次进入管程的,只能是一个进程。
上面对管程的描述并不是非常严谨,一些对操作系统认识较为深入的读者可能发现仍然有需要补充的地方。