软考（软件设计师）--操作系统之进程管理（一）

一、进程互斥与同步

1.进程间两种形式的制约关系
（1）间接相互制约关系—源于资源共享
（2）直接相互制约关系–源于进程合作
2.临界资源
临界资源：把一段时间内只允许一个进程访问的资源称为临界资源或独占资源
临界区：每个进程中访问临界资源的那段代码称为临界区。

二、信号量机制

信号量师OS提供的管理公有资源的有效手段
信号量是一个整数，当信号量大于等于零时，代表可供并发进程使用的资源数量，当信号量小于零时，表示处于阻塞态进程的个数。
两个操作（Wait操作（减量操作）；Signal操作（增量操作））

三、信号量的应用

1. 利用信号量实现进程互斥（模式）
2. 利用信号量实现前驱关系(模式)
3. 利用记录型信号量实现同步（模式）

利用信号量实现进程互斥：
为使多个进程互斥的访问某临界资源，须为该资源设置一互斥信号量mutex，并设其初始值为1，然后将各进程访问资源的临界区CS置于wait(mutex)和signal（mutex）之间即可。

利用信号量实现前驱关系：
设有两个并发执行的进程P1和P2,P1有语句S1，P2有语句S2，希望在S1执行后S2.
使进程P1和P2共享一个公用信号量2，并赋予其初始值为0。

利用记录型信号量实现同步
P1、P2两进程因合作完成一项任务而共用一个变量X。进程P2将处理结果送入X；进程P1将X的结果打印。
即：P2:X=处理结果；
P1：Print(X);
如何实现该合作关系？