操作系统教程课件教学配套课件柯丽芳第5章-2.pdfVIP

5.2 用信号量机制 实现进程的同步与互斥 5.2.1 信号量机制 5.2.2 利用信号量机制实现进程互斥 5.2.3 利用信号量机制解决进程的同步 5.2.4 经典的同步与互斥问题 5.2.1信号量机制 1.信号量的含义 2.P、V操作的定义 3.信号量和P、V操作的物理意义 1.信号量的含义  操作系统中，信号量是表示物理资源的实 体，它是一个与队列有关的整型变量。实现 时，信号量是一种记录型数据结构，有两个 分量：一个是信号量的值，另一个是信号量 队列的队列指针。 信号量的值 (-2) PCBi PCBj 信号量队列指针 图5.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操作的物理意义（3）  通常，P操作意味着请求一个资源， 因此描述为S=S-1；V操作意味着释 放一个资源，因此描述为S=S+1。  在一定条件下（S=0时），P操作的 结果将会引起进程阻塞；在一定条 件下（S0时）,V操作的结果可以唤 醒某个阻塞进程； 3.信号量和P、V操作的物理意义（4）  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 ） …… 利用信号量机制实现进程互斥的模型：