临界区管理

一次至多有一个进程能够进入临界区内执行。如果已有进程在临界区,其他试图进入的进程应等待。进入临界区内的进程应在有限时间内退出,以便让等待进程中的一个进入。

访问临界区时必须遵守的四个原则

  • 空闲让进:无进程在临界区时任何优先使用互斥区的进程可进入
  • 忙则等待:不允许两个以上的进程同时进入临界区
  • 优先等待:任何进入临界区的要求应在有限时间内满足
  • 让权等待:处于等待状态的进程应放弃占用 CPU,以便使得其他进程有机会得到 CPU 的使用权

实现临界区管理的硬件设施

软件实现