进程间通信与同步.pptVIP

解决之道： 当一个进程无法进入临界区时，应该被阻塞起来（sleep）； 当一个进程离开临界区时，需要去唤醒（wake up）被阻塞的进程； 克服了繁忙等待方法的两个缺点（浪费CPU时间、可能死锁）。 如何实现这种阻塞和唤醒机制？ 现有的进程互斥问题形式：两个或多个进程都想 进入各自的临界区，但在任何时刻，只允许一个 进程进入临界区。 新的进程互斥问题形式：两个或多个进程都想进 入各自的临界区，但在任何时刻，只允许 N 个进 程同时进入临界区（N ? 1）。 2.3.4 信号量（Semaphore） 1965年由著名的荷兰计算机科学家Dijkstra提出， 其基本思路是用一种新的变量类型（semaphore） 来记录当前可用资源的数量。 有两种实现方式：1）semaphore的取值必须大于 或等于0。0表示当前已没有空闲资源，而正数表 示当前空闲资源的数量；2）semaphore的取值可 正可负，负数的绝对值表示正在等待进入临界区 的进程个数。 信号量是由操作系统来维护的，用户进程只能通 过初始化和两个标准原语（P、V原语）来访问。 初始化可指定一个非负整数，即空闲资源总数。 P、V原语作为操作系统内核代码的一部分，是一 种不可分割的原子操作（atomic action），在