HYZ-OS-2017-2-进程管理-2.ppt

* * * * 北京交通大学计算机学院何永忠 记录型信号量实现互斥 process1: begin repeat wait(mutex); N=N-1; signal(mutex); until false; end Process2,3： begin repeat wait(mutex); N=N+1; signal(mutex); until false; end Var mutex: semaphore :=1; * * 北京交通大学计算机学院何永忠 记录型信号量值如何变化 1、进程P1 执行wait操作申请进入临界区，那么mutex=? 能否进入？ 2、进程P2 执行wait操作申请进入临界区，mutex=? 能否进入？ 3、进程P1执行signal操作退出临界区， 那么mutex=? 4、然后P2？ * * 北京交通大学计算机学院何永忠 记录型信号量值如何变化 1、进程P1 执行wait操作申请进入临界区，那么mutex=?，能否进入？ 2、进程P2 执行wait操作申请进入临界区，mutex=?能否进入？ 3、进程P3 执行wait操作申请进入临界区，mutex=?能否进入？ 4、进程P1执行signal操作退出临界区， 那么mutex=? 5、然后，哪个进程被唤醒？ * * 北京交通大学计算机学院何永忠 互斥信号量物理意义 值为1：表示当前有一个临界资源可用，或者最多可允许一个进程进入该资源对应的临界区 值为0：表示临界资源已经被占用，或者已有一个进程进入该资源对应的临界区 值为负：其绝对值表示等待使用该资源的进程数。 * * 北京交通大学计算机学院何永忠 记录型信号量 process1: begin repeat wait(mutex); 临界区; signal(mutex); until false; end Process2,3: begin repeat wait(mutex); 临界区; signal(mutex); until false; end Var mutex: semaphore :=2; * * 北京交通大学计算机学院何永忠 记录型信号量值如何变化 1、进程P1 执行wait操作申请进入临界区，那么mutex=?，能否进入？ 2、进程P2 执行wait操作申请进入临界区，mutex=?能否进入？ 3、进程P3 执行wait操作申请进入临界区，mutex=?能否进入？ 4、进程P1执行signal操作退出临界区， 那么mutex=? 5、然后，哪个进程被唤醒？ * * 北京交通大学计算机学院何永忠 资源信号量物理意义 值为正(n)：表示当前n个临界资源可用，或者最多还可允许n进程进入该资源对应的临界区 值为0：表示临界资源已经全部被占用 值为负(-n)：其绝对值表示等待使用该资源的进程数。 * * 北京交通大学计算机学院何永忠 2.3 进程同步 2.3.1 并发进程间制约关系 2.3.2 临界资源与临界区 2.3.3 进程同步机制准则 2.3.4 信号量机制 2.3.5 信号量机制应用基础 * * 北京交通大学计算机学院何永忠 信号量要描述的前趋关系示例 S1 S2 S3 S4 S5 S6 a b c d e f g * * 北京交通大学计算机学院何永忠 利用信号量来描述前趋关系 Var a,b,c,d,e,f,g: semphore:=0,0,0,0,0,0,0; begin parbegin begin S1; signal(a); signal(b); end; begin wait(a); S2; signal(c); signal(d); end; begin wait(b); S3; signal(e); end; begin wait(c); S4; signal(f); end; begin wait(d); S5; signal(g); end; begin wait(e); wait(f); wait(g); S6; end; parend end * * 北京交通大学计算机学院何永忠 作业题 2.6什么是临界区？引入临界区目的是什么？ 2.7 记录型信号量的物理意义。 2.8 信号量（整型和记录型）不用原语能否实现进程互斥？各举一反例说明。 2.9 三个线程T1,T2,T3。要求采用记录型信号量实现：T1,T2互斥，以及满足前驱关系T1?T3, T2 ? T3。 * * * * * * * * * * * * *