管程由三部分组成:局部于管程的共享变量说明;对该数据结构进行操作的一组过程;对局部于管程的
数据设置初始值的语句.(图见P80)
因为调用wait原语后,使进程等待的原因有多种,为了区别它们,引入了条件变量.