基本概念
进程同步协调多个并发进程间的执行次序，以达到有效的资源共享和相互合作，使程序执行具有可再现性。
竞态条件
- 间接制约关系：需要互斥地访问互斥资源。
- 直接制约关系：相互合作。
临界资源
一次仅允许一个进程访问的资源。
临界区
访问临界资源的代码
同步机制
规则
- 空闲让进：当无进程处于临界区时，表明临界资源处于空闲状态，应允许一个请求进入临界区的进程立即进入自己的临界区，以有效地利用临界资源。
- 忙则等待：当已有进程进入临界区时，表明临界资源正在被访问，因而其它试图进入临界区的进程必须等待，以保证对临界资源的互斥访问。
- 有限等待：对要求访问临界资源的进程，应保证在有限时间内能进入自己的临界区，以免陷入“死等”状态。
- 让权等待：当进程不能进入自己的临界区时，应立即释放处理机，以免进程陷入“忙等”状态。