第2章 进程管理 2.3

2.3 进程同步
1.进程同步的基本概念
1）进程同步的主要任务： 使并发执行的诸进程之间能有效地共享资源和相互合作，从而使程序的执行具有可再现性。
2）临界资源：一次仅允许一个进程使用的资源。
3）临界区：每个进程中访问临界资源的那段代码叫临界区。为了正确同步，对临界区的代码要增加控制
4）同步机制应遵循的规则：实现互斥的方法应符合如下每条原则
空闲让进：资源使用最基本原则。忙则等待：保证互斥。有限等待：合适时被唤醒防止死等。让权等待：能主动释放CPU防止忙等。
2.信号量机制：荷兰科学家Dijkstra(狄克斯特拉)提出的一种卓有成效的进程同步机制。
1） 整型信号量
最初的信号量机制，两个原子操作对一个共享整型量进行操作。
信号量定义为一个整型量；根据初始情况赋相应的值；仅能通过两个原子操作来访问。 
P操作  wait(S):     
              While S<=0 do no-op; 
              S:=S-1;
V操作  signal(S):      
              S:=S+1;
2）记录型信号量
整型信号量符合“有限等待”原则
signal释放资源后，当CPU被分配给等待进程后，等待进程仍可继续执行，可以符合“有限等待”。但整型信号量不符合“让权等待”原则；整型信号量的wait操作，当s ≤0时，当前进程会占着CPU不断测试；信号量原语不能被打断，这个占有CPU的进程会一直不断的占据CPU循环下去，陷入忙等。
信号量结构信息发生变化
不仅要有值的处理，还有队列的处理。
此时形成记录型数据结构，包括两部分：
整型变量value(代表资源数目) 进程链表L(链接所有等待进程)
P、V操作也有所变化
P操作wait():
    S.value = S.value - 1;
    if  S.value < 0  then  block(S,L)
V操作signal()：
    S.value = S.value + 1;
    if  S.value <= 0 then wakeup(S,L)
定义信号量semaphore代表可用资源实体的数量。又叫信号灯。
当≥0，代表可供并发进程使用的资源实体数
当<0，表示正在等待使用该资源的进程数。
建立一个信号量必须经过说明，包括
信号量所代表的意义
赋初值
建立相应的数据结构，以便指向等待使用临界区的进程。
除初值外，信号量的值仅能由标准原子操作P、V操作来改变。 PV操作是荷兰语通过和释放的意思。
3）信号量的基本应用
实现进程互斥 实现进程间的前趋关系（有序）
互斥信号量注意点：互斥信号量mutex初值为1；每个进程中将临界区代码置于P(mutex)和V(mutex)原语之间；必须成对使用P和V原语（在同一进程中），不能次序错误、重复或遗漏：遗漏P原语则不能保证互斥访问；遗漏V原语则不能在使用临界资源之后将其释放（给其他等待的进程）；
控制同步顺序的注意点：信号量值为0的点是限制的关键所在；成对使用P和V原语（在有先后关系的两个进程中），不能次序错误、重复或遗漏，否则同步顺序出错。
4）AND型信号量
出现原因：一些应用往往需要两个或多个共享资源，而不是前述的一个资源。进程同时要求的共享资源越多，发生死锁可能性越大。
解决思想：一次性分配给进程所需资源，用完一起释放。Wait操作时对它所有需要的资源都要判断，有AND条件，故称“AND同步”、“同时wait”。
5）信号量集
引入原因：每次只能获得或释放一个单位的资源，低效；某些时候资源分配有下限的限制；修改：在大于可分配设置的下界值t前提下，每次可分配d个。