同步与互斥

2022.10.14

本文是《同步与互斥》专题的精简总结版，包含概念关键词、图表汇总、易错点汇总。

➡️ 详细版入口

➡️ 题目入口

1. 同步与互斥的基本概念

   1. 临界资源与临界资源的访问

      1. 临界资源：一次仅允许一个进程使用的资源，对资源需要互斥访问。
      2. 进入区：为了进入临界区使用临界资源，在进入区要检查可否进入临界区，若能进入临界区，则应设置正在访问临界区的标志，以阻止其他进程同时进入临界区。
      3. 临界区：访问临界资源的代码。
      4. 退出区：将正在访问临界区的标志清除。
      5. 剩余区：代码中的其余部分。

   2. 同步/直接制约关系：工作次序与信息传递产生的制约。信号量初值为1。

   3. 互斥/间接制约关系：访问临界资源产生的制约。信号量初值为用户自定义。

   4. 进入临界区规则：空闲让进、忙则等待、有限等待、让权等待。

   5. 【例题】一个正在访问临界资源的进程由于申请等待 I/O 操作而被中断时，允许其他进程抢占处理器，但不得进入该进程的临界区