六、同步互斥机制2/进程间通信机制

本讲知识点：
  管程monitor
  进程间通信
    inter-Process Communication
  典型操作系统的IPC机制

1.管程的基本概念

在引入信号量和PV操作之后，为什么又出现另一种同步机制——管程？

问题信号量机制的不足：程序编写困难、易出错
解决 Beinch Hansen(1973)、Hoare(1974)
方案 在程序设计语言中引入管程成分、一种高级同步机制

管程的定义

是一个特殊的模块
有一个名字
由关于共享资源的数据结构及在它上面操作的一组过程组成
  
进程与管程的关系：
  进程只能通过调用管程中的过程来间接访问管程中的数据结构
  

管程要保证什么？

作为一种同步机制，管程要解决两个问题
  一、互斥
其目的是为了保证数据结构的数据完整性
管程的互斥性是由编译器负责保证的
  二、同步
管程中设置条件变量及等待/唤醒操作以解决同步问题
  

应用管程时遇到的问题

接下来主要介绍其中的：Hoare管程、Mesa管程
  
  

2.Hoare管程

——P唤醒Q，P等待Q执行