第3章 进程管理.ppt

P1：R countp （此时countp=0，R=0） 中断处理 进程调度程序（保护P1现场（现场中R=0）；调度选中P2；恢复P2现场） P2 ：R countp （此时countp=0，R=0） R R+1 （此时R=1） countp R （此时R=1 ，countp=1） 、、、 进程调度程序（保护旧进程现场；调度选中P1； 恢复P1现场（现场中R＝0）） P1：R R+1 （此时R=1） countp R （此时countp=1） 一种出错情况的CPU轨迹描述如下： 进程调度保护P1的现场后 0 内存 countp变量 的内存单元 、、、 P2调度现场中保存R的内存单元 、、、 、、、 0 R P1调度现场中保存R的内存单元 、、、 、、、 0 进程调度保护P2的现场后 1 内存 countp变量 的内存单元 、、、 P2调度现场中保存R的内存单元 、、、 、、、 1 R P1调度现场中保存R的内存单元 、、、 、、、 0 1 进程调度恢复P1的现场后 内存 countp变量 的内存单元 、、、 P2调度现场中保存R的内存单元 、、、 、、、 0 R P1调度现场中保存R的内存单元 、、、 、、、 0 1 前页中倒数第二条指令执行后 内存 countp变量 的内存单元 、、、 P2调度现场中保存R的内存单元 、、、 、、、 1 R P1调度现场中保存R的内存单元 、、、 、、、 0 1 前页第一条指令执行后 0 内存 countp变量 的内存单元 、、、 P2调度现场中保存R的内存单元 、、、 、、、 0 R P1调度现场中保存R的内存单元 、、、 、、、 前页中最后一条指令执行后 1 内存 countp变量 的内存单元 、、、 P2调度现场中保存R的内存单元 、、、 、、、 1 R P1调度现场中保存R的内存单元 、、、 、、、 0 1 如果中断出现在指令“R R+1”之后，一种导致错误CPU轨迹： P1：R countp （此时countp=0，R=0） R R+1 （此时R=1） 中断处理 进程调度程序（保护P1现场（现场中R=1）；调度选中P2； ；恢复P2现场） P2 ：R countp （此时countp=0，R=0） R R+1 （此时R=1） countp R （此时R=1 ， countp=1） 、、、 进程调度程序（保护旧进程现场；调度选中P1；恢复P1现场（现场中R＝1）） P1：countp R （此时R=1 ， countp=1） 临界资源：只允许进程依次地（互斥地）使用的资源。 临界区：只允许进程依次地（互斥地）进入的程序段，其中含有对共享的变量、表格、队列等临界资源的访问操作。 同类临界区：含有对同一临界资源进行访问操作的不同程序段。 “countp- -;”语句 对应着下列程序段B，和前面描述的程序段B构成同类临界区 R=countp B R=R -1 countp=R 如果对前面的程序段A和B不作为同类临界区处理，问共有多少种出错的情况情况？请描述其中一种的CPU轨迹（作业）. 3.6.3实现临界区互斥的几种方法 １、开关中断法 　　 　　 　　关中断 　临界区 　　开中断 　　Lock w 　　 临界区 　　Unlock w Lock w和Unlock w 分别被称为关锁原语和开锁原语。 Unlock w 的实现:　w:=0; Lock w的实现: L: if w=1 then goto L else w:=1; 共享变量w取值0和1分别表示锁的状态为”开”和”关” 如果Lock w不能用一条指令实现，又产生了临界区问题 2、锁操作法 1 ) 、设计成一条硬件指令 2 ) 、开关中断循环检测方法(请同学自己画出流程图) 　Lock w的实现方法 W=0 　关中断 Y N 　　W←1 　开中断 　有没有问题？ 1 ) 、设计成一条硬件指令 2 ) 、开关中断循环检测方法 　Lock w的实现方法 关中断 W=0 Y N W←1 开中断 开中断 　有没有问题？(效率怎样? 是否可以提高效率?) 1 ) 、设计成一条硬件指令 2 ) 、开关中断循环检测方法 3 ) 、开关中断循环检测方法的改进方法 　Lock w的实现方法 关中断 W=0 Y N W←1 开中断 开中断 将此进程加入到w的等待队列 进程调度切换 　 Lock w如上图实现时， Unlock w相应地如