操作系统-进程同步、互斥、信号量

先上图，进程同步、互斥的概念。

进程具有异步性的特征，异步性是指各个并发执行的进程以独立的不可预知的进度进行。读进程与写进程是并发地运行，并发必定导致异步性，因此读进程和写进程的执行顺序是不能预测的。但是实际中必须是"写进程->读进程"的顺序来执行的。

同步也称直接制约关系，是为了完成某个任务而建立的多个进程，这些进程为了要完成任务中某个协调工作顺序而产生制约关系。这些制约管理直接来自进程互斥合作。

、

上图是进程互斥的例子。

临界区是访问临界资源的地方。进入区和退出区是负责实现互斥的代码段。

为了实现临界区互斥访问，保证整体操作系统性能，需要遵循下列要求

1. 空闲让进。临界区空闲时，可以允许一个请求进入临界区的进程进入临界区。
2. 忙则等待。当已经有进程在临界区里时，其他试图进入临界区的进程必须等待。
3. 有限等待。对于请求进入临界区的进程，应当限制一定时间内进入临界区。
4. 让权等待。当进程不能进入临界区时，应立即释放处理器，防止忙等待。

那么下面看看信号量。

信号量机制分为整形信号量和记录信号量。信号量其实就是一个变量，可以用一个信号量来表示系统资源可用数量。比如一台打印机可以用整形1来表示。

下面是一个互斥操作。

 

整形信号量有个缺陷是有"忙等待"问题，所以后来又提出了“记录形”信号量。