《计算机操作系统》——管程

管程

为什么要引入管程

  对于信号量机制，每个要访问临界资源的进程都必须自备同步操作wait(S)和signal(S)。这就使得大量的同步操作分散在各个进程中。这导致编写程序困难、容易出错、给系统的管理带来麻烦。

管程的定义

  “一个管程定义了一个数据结构和能为并发进程所执行（在该数据结构上）的一组操作，这组操作能同步进程和改变管程中的数据”，管程是一种特殊的软件模块，由四部分组成：

1. 管程的名称
2. 局部于管程的共享数据结构说明
3. 对该数据结构进行操作的一组过程
4. 对局部于管程的共享数据设置初始值的语句

管程的特征

1. 模块化：管程是一个基本程序单位，可以单独编译
2. 抽象数据类型：管程中不仅有数据，而且有对这些数据的操作
3. 每次只允许一个进程在管程内执行某个内部过程
4. 信息遮掩：管程中的数据结构只能被管程中的过程访问，这些过程也是在管程内部定义的，供管程外的进程调用，而管程中的数据结构以及过程（函数）的具体实现外部不可见。进程也只有通过调用管程内的过程才能进入管程访问共享数据
5. 由编译器负责实现各进程互斥地进入管程中的过程
6. 管程中设置条件变量和等待/唤醒（wait() 和 signal()）操作，以解决同步问题，可以让一个进程或线程在条件变量上等待（此时，该进程应释放管程的使用权，也就是让出“入口”），可以通过唤醒操作将等待在条件变量上的进程或线程唤醒

用管程解决生产者消费者问题

总结