操作系统 进程同步

软件实现方式:

1.单标志法

违背“空闲让进”原则，只能交替使用临界资源

2.双标志先检查

违背“忙则等待”原则，进程执行代码的随机性（检查和上锁不是一气呵成），当两个代码同时发现资源空闲，都进入了临界区。

3.双标志后检查

解决了“忙则等待”，但是违背了“空闲让进，有限等待”原则，导致“饥饿”。

4.Peterson 算法

违背“让权等待”，遵循其余三个原则。在while循环处一直占用CPU。

硬件实现方法：

1.中断屏蔽方法

2.硬件指令方法

互斥锁

信号量

1.整型信号量

2.记录型信号量

3.利用信号量实现进程互斥

4.利用信号量实现进程同步

5.利用信号量实现前驱关系

管程