一、进程间可能存在的关系
资源共享关系
相互合作关系
二、竞争条件race condition
三、mutual exclusion互斥
四、解决方案
- 任何两个进程不能同时处于临界区;
- 不应对CPU的速度和数目做任何假设;
- 临界区外的进程不得阻塞其它过程;
- 不得使进程在临界区外无休止地等待;
五、忙等待的互斥
1.屏蔽中断:最简单的方法是使每个进程在刚刚进入临界区后立即屏蔽所有中断,并在就要离开之前再打开中断。
2.锁变量:设想有一个共享(锁)变量,其初始值为0。当一个进程想进入其临界区时,它首先测试这把锁。如果该锁的值为0,则该进程将其设置为1并进入临界区。若这把锁的值已经为1,则该进程将等待直到其值为0。于是,0就表示临界区内没有进程,1表示已经有某个进程进入临界区。
3.严格轮换法:连续测试一个变量直到某个值出现为止,称为忙等待。用于忙等待的锁,称为自旋锁。
4.严格轮换法的说明:
- 严格轮流进入临界区
- 存在:进程0被一个临界区之外的进程阻塞
- 当两个进程在临界区需要CPU时间相差很大时,此方法并不好
- 用于忙等待的锁:称为spin lock
5.TSL等方案的问题:
- 本质:想进入临界区,先检查是否允许进入,若不允许就等待,重复循环检测;
- 缺点:忙等待;
- 优先级反转问题:两个进程H和L,H的优先级高于L,L处于临界区中,此时H变到就绪态准备运行,H开始忙等待,而此时L不会被调度也就无法离开临界区,所以将永远忙等待下去;
六、原语:sleep and wakeup