操作系统 -- 管程

管程的起源

信号量机制存在的问题：编写程序困难，易出错。
于是人们想着能不能设计一种机制，让程序员写程序时不需要再关注复杂的PV操作。
1937年，BinchHansen首次在程序设计语言Pascal中引入管程成分 — 一种高级的同步机制。

管程是一种特殊的软件模块，有这些部分组成

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

管程的基本特征

1:局部于管程的数据只能被局部于管程的过程所访问
2:一个进程只有通过调用管程内的过程才能进入管程访问共享数据
3:每次仅允许一个进程在管程内执行某个内部过程

引入管程的目的：更方便的实现进程互斥和同步

1:需要在管程中定义共享数据
2:需要在管程中定义用于访问这些贡献数据的“入口”
3:只有通过这些特定的“入口”才能访问共享数据
4:管程中有很多“入口”，但是每次只能开放其中一个“入口”，并且只能让一个进程或线程进入
5:可在管程中设置条件变量及等待/唤醒操作以解决同步问题。可以让一个进程或线程在条件变量上等待；可以通过唤醒操作将等待在条件变量伤的进程或线程唤醒。