操作系统第5章-2内容资料.pptVIP

* * 5.2 用信号量机制实现进程的同步与互斥 5.2.1 信号量机制 5.2.2 利用信号量机制实现进程互斥 5.2.3 利用信号量机制解决进程的同步 5.2.4 经典的同步与互斥问题 信号量按其用途分为两类： 公用信号量：与公用信号量联系的一组并发进程均可对它实施P、V操作。 私有信号量：只允许信号量的拥有者进程对它实施P操作，与信号量的拥有者进程合作的进程对它实施V操作。 2.P、V操作的定义设S为信号量，q为对资源S操作的进程，Q为S的等待队列。 （1）P操作原语P(S)可描述为： ①?S=S-1； ②若S≥0，则调用P（S）的进程q继续运行； ③若S＜0，则调用P（S）的进程q将进入阻塞状态，并放入S的等待队列Q中。 （2）V操作原语V(S)可描述为： ①??S=S+1； ②?若S＞0，则调用V（S）的进程q继续运行； ③?若S≤0，则从S的等待队列中唤醒头一个进程，然后，调用V（S）的进程q继续运行。 3.信号量和P、V操作的物理意义（1） 信号量（用S表示）是代表资源的实体，是一个与进程队列Q有关的整形变量，除信号量的非负初值外，信号量的值只能由P操作和V操作来改变。 操作系统利用信号量实施对进程的控制和对资源的管理。 ????? 3.信号量和P、V操作的物理意义（2） 信号量S的取值表示系统中某类资源的数目。 当S0时： 其值表示系统中当前可用的某类资源数量； 当S=0时： 表示系统中当前已无某类资源可用； 当S0时： 其绝对值表示系统中因请求该类资源而被阻塞的进程数量或登记排列在该信号量s队列之中等待的进程个数。 ????? 3.信号量和P、V操作的物理意义（4） P操作原语为请求资源而设，V操作原语为释放资源而设； P操作即可充当资源申请原语的作用，也可以充当进程阻塞原语的作用； V操作即可充当资源释放原语的作用，也可以当作进程唤醒原语的作用； 在整个系统中，P、V操作必须成对出现。 5.2.2 利用信号量机制 实现进程互斥的模型 设n个进程P1，P2， …，Pn的相关临界区分别为CS1，CS2，…，CSn，只要在每个进程的临界区两端放上P、V操作原语即可实现临界区互斥。 假设信号量S的初值为1，则，互斥的模型如下： Pi（i=1,2,3,…,n） …… P（S） Csi(临界区) V（S） …… 利用信号量机制实现进程互斥的模型： s : semaphore; s := 1; cobegin …… process Pi begin …… P(s); 临界区； V(s); …… end; …… coend; 例5-5（互斥问题） 民航售票系统有n个售票处，各个售票处均需访问公共数据区存放的现有票数。试用信号量和P、V操作控制n个并发的售票进程的正确执行。 分析：假定公共数据区Aj(j=1,2,…,m)存放X月X日X次航班的现有票数，那么，只要把公共数据区Aj当作临界资源对待，n个并发售票进程互斥访问临界区即可。 信号量和PV操作解决机票问题 Var A : ARRAY[1..m] OF integer; S : semaphore; S:= 1; cobegin process Pi（I=1,2,…,n) var Xi:integer; begin L1: 按旅客定票要求找到A[j]； P(S) Xi := A[j]; if Xi=1 then begin Xi:=Xi-1; A[j]:=Xi; V(S);输出一张票； end; else begin V(S);输出票已售完； end; goto L1; coend; ? ? 5.2.3 利用信号量机制 解决进程的同步模型 设信号量S的初值为0，P1与P2同步的模型如下： 进程P1 L1：V（S） ． ． ． ．． ． 进程P2 ． ． ． ． ． ． L2：P（S） 说明：进程P1在L1点完成了P2等待的事件，调用V（S）操作； 进程P2在L2点检测事件是否发生调用P（S）操作。 例5-6