进程互斥的原则
- 空闲让进
空闲让进就是临界区空闲时, 可以允许一个请求进入临界区的进程立即进入临界区。 - 忙则等待
当已有的进程进入临界区的时候,其他视图进入临界区的进程必须等待 - 有限等待
对请求访问的进程,保证能在有限时间内进入临界区(保证不会饥饿) - 让权等待
当进程不能进入临界区的时候,应该立即释放处理机,防止进程忙等待
1. 单标志法
一个进程通过改变标志来把临界区让给另一个进程,如果进程没有交让就死了。另一个进程就永远卡死了。
2. 多标志先检查法
每一个标志对应一个进程,当一个进程想要使用临界区的时候就先判断除了自己的标志之外的标志是否为true,为true就一直循环知道循环退出,判断完所有其他标志后,就将自己的标志设为true,然后再访问临界区,访问完临界区之后就将自己的标志设为false。
缺点: 在最后一次循环结束的瞬间,进程时间片到了,可能有另外一个进程刚好也想访问临界区并将它自己对应的标志改为true,这样刚开始那个进程是检测不到的。违背了忙则等待的原则和互斥访问的最核心问题。
3. 多标志后检查法
跟前一种算法一样,区别是先上锁后检测。
缺点: 因为上锁的时候是不检查的,如果过上完锁那一瞬间进程切换,容易导致所有进程都对资源上了锁,容易导致死锁问题。
4. Perterson 算法
每一个进程也是有一个对应的标志,表达对进入临界区的意愿。除此之外还有一个turn变量,每一个进程进入临界区时先表达自己对临界区的意愿即将对应的标志设为true, 然后将 turn 设置为其他进程的id或者能区分唯一进程的属性值,这一步表示谦让。如果一个进程访问临界区,必须要满足自己对应的标志为true而且被别人谦让。访问完临界区后马上取消自己的意愿
缺点: 没有遵循让权等待的原则