并发进程

顺序程序

进程互斥

Peterson互斥算法

Dekkel互斥算法

Lamport面包店算法

Eisenberg-Mcguire算法

硬件互斥算法

多处理机的互斥

信号灯与PV操作的定义

临界区指的是一个访问共用资源（例如：共用设备或是共用存储器）的程序片段，而这些共用资源又无法同时被多个线程访问的特性。当有线程进入临界区段时，其他线程或是进程必须等待（例如：bounded waiting 等待法），有一些同步的机制必须在临界区段的进入点与离开点实现，以确保这些共用资源是被互斥获得使用，例如：semaphore。只能被单一线程访问的设备，例如：打印机。

算法正确
互斥性
进展性
有限等待性