操作系统概念（第六章） 进程同步（二）

进程同步

虽然信号量提供了一种方便且有效的机制以处理进程同步，但是使用不正确仍然会导致一些时序错误，且难以检测，因为这些错误只有在特殊的执行顺序的情况下才会出现，而这些顺序不会总出现。

管程(monitor)

管程是一种高级语言结构，它是编程语言的组成部分，编译器知道它们的特殊性，因此可以采用与其他过程调用不同的方法来处理对管程的调用。
进入管程时的互斥由编译器负责，但通常的做法是用一个互斥量或二元信号量。因为是由编译器而非程序员来安排互斥，所以出错的可能性要小得多。在任一时刻，写管程的人无须关心编译器是如何实现互斥的。他只需知道将所有的临界区转换成管程过程即可，决不会有两个进程同时执行临界区中的代码。

使用

管程类型提供了一组由程序员定义的、在管程内互斥的操作。管程类型的表示包括一组变量的声明（这些变量的值定义了一个类型实例的状态）和对这些变量操作的子程序和函数的实现。管程的类型表示不能直接为各个进程所使用。因此，在管程内定义的子程序只能访问位于管程内那些局部声明的变量和形式参数。类似的，管程的局部变量能被局部子程序访问。

管程结构确保一次只有一个进程能在管程内活动。不需要显示的编写同步代码。而对于特定同步方案，需要额外的同步机制，这些由条件（condition）结构来提供。

condition x,y;  
x.wait();   //调用操作的进程会被挂起
x.signal(); //重新启动一个悬挂的进程

管程的语法：