读操作系统的设计与实现--进程互斥

1.竞争条件

　当两个或多个进程读写某些共享数据时，而最后的结果取决于进程的运行顺序时，这就称为竞争条件。包含竞争条件的程序，大多数时候运行结果良好，但是往往会发生一些无法解释的结果。事实上，只要涉及到共享资源的情况都会引发竞争条件，要避免这种错误，关键是要找出某种途径防止多个进程同时访问共享资源，这就是我们所说的互斥。在讨论互斥前，我们先来了解下临界区的概念。

2.临界区

　对共享内存进行访问的程序片段就称为临界区。如果能够防止使得两个程序不能同时处于临界区，则能够避免竞争条件。

3.互斥

　一个好的互斥解决方案，需要具备以下四个条件：

　　1.任何两个进程不能同时处于临界区

　   2.不应对cpu的速度和数目做任何假设

　　3.临界区外的进程不得阻塞其他进程

　　4.不得使进程在临界区外无休止的等待