现代操作系统 IPC

一、进程间可能存在的关系

资源共享关系

相互合作关系

二、竞争条件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