【操作系统】进程间的协作（三）

进程的同步

管程（Monitor，监视器）

管程，即进程管理，用于实现进程同步的工具。是由代表共享资源的数据结构和一组过程（进行PV操作的函数）组成的管理程序（封装）。

管程的组成

• 管程名称
• 局部于管程内部的共享数据结构
• 对该数据结构操作的一组过程（函数）
• 管程内共享数据的初始化语句
  

管程的基本特征

• 是一个模块化的基本程序单位，可以单独编译；
• 是一种抽象数据类型，包含数据和操作（类似于JAVA中的类）；
• 信息掩蔽，共享数据只能被管程内的过程访问（相当于封装性）；

条件变量/条件对象

• 进入管程的进程可能由于条件不满足而阻塞；
• 此时进程应释放管程以便其他进程调用管程；
• 进程被阻塞的条件有多个，会根据相应的条件移入不同的条件队列；
• 进程被移入条件队列后，应该释放管程；

总之，条件变量是封装于管程内部，当进程执行所需的资源不足时，管程会通过条件变量将进程移入对应的条件队列（使用wait）；当该条件满足时就会唤醒进程并移入就绪队列（signal）去重新获取所需资源（当然依旧存在被阻塞的可能性）。

注意：管程是由进程去调用的一个程序，不是进程。