【av68676164（p23-p24)】临界区和锁

4.4.1 临界资源和临界区

一次只允许一个进程独占访问（使用）的资源

例：例子中的共享变量i

进程中访问临界资源的程序段

// 程序A

i = 100;

printf("A:i=%d", i);

// 程序B

i = 200;

printf("B:i=%d", i);

忙则等待：当临界区忙时，其他进程必须在临界区外等待
空闲让进：当无进程处于临界区时，任何有权进程可以进入临界区
有限等待：进程进入临界区的请求应在有限时间内满足
- 思考：临界区的设置大些好还是小些好？
  - 不能随意扩大（其他进程等待更长时间）
  - 不能太小（达不到目的）
让权等待：等待进程放弃CPU（让其他进程有机会得到CPU）

设置一个“标志”S：

进入临界区之前检查标志是否“可用”？——上锁操作

离开临界区时将标志修改为“可用”状态——开锁操作

// 上锁源语

void Lock(S) {

  test:

  if (S == 0) {

    goto test;

  } else {

    S = 0;	// 上锁

  }

}

// 开锁愿语

void Unlock(S) {

  S = 1;

}

graph TB
S=1-->上锁Lock
上锁Lock-->临界区
临界区-->开锁Unlock