3.4.1 概念

1.临界资源：一次只允许一个进程使用
2.互斥：当一个进程在使用这个资源时，另一个进程不能使用
3.同步机制应遵循的原则
空闲让进：其他进程均不处于临界区
忙则等待：已有进程处于临界区
有限等待：等待进入临界区的进程不能死等
让权等待：不能进入临界区的进程，应释放CPU（如切换到阻塞状态）
-------------- 可以通过有无空循环判断
4.进程同步：直接制约，相互协作，保证先后顺序，前驱后继关系

3.4.2 解决互斥问题

1.使用软件算法
（3）面包店算法
取得小号优先，如果不同进程取号一样，保证编号小的进程先进入临界区
2.锁机制
3.信号量机制
（1）整型信号量机制
初始化操作：非负整数
P操作:wait() -1
V操作:signal() +1
（2）记录型信号量机制

使用信号量机制解决同步互斥时，对互斥信号量初值通常为“1”，对同步信号量初值通常为“0”（前驱进程尚未完成）。
为临界资源设置一个互斥信号量semaphore mutex=1:
wait(mutex)；临界区; signal(mutex);

应先执行对资源信号量的wait操作，再执行对互斥信号量的wait操作。否则可能引起进程死锁

例题：

3.4.3 经典进程同步问题

1.生产者-消费者问题
2.哲学家进餐问题
3.读者-写者问题
4.理发师问题