1. 为什么引入解决信号量机制编程麻烦、易出错的问题解决临界区分散带来的管理和控制问题一种高级同步机制2. 组成局部与管程的共享变量说明该数据结构进行操作的一组过程(函数)对局部于管程的数据设置初始值的语句3. 基本特征各外部进程/线程只能通过管程提供的特定“入口”才能访问共享数据每次仅允许一个进程在管程内执行某个内部过程4. 补充各进程必须互斥访问管程的特性是由编译器实现的可在管程中设置条件变量及等待/唤醒操作以解决同步问题