第3章 进程管理000.ppt

3.6.2进程互斥 系统中本来没有逻辑关系的多个进程因为竞争使用资源而产生的间接制约关系。 例如：系统中countp表示空闲打印机的台数，每个进程释放打印机都会执行 countp + +，所以countp为共享变量。设当前countp=0，之后执行的两个进程P1和P2都有释放打印机的操作，即都要执行下列程序段A（相当于语句 countp + +，R为寄存器）: R = countp A R = R + 1 countp = R 1）如果P1、P2依次执行程序段A，则countp等于2，结果正确。 3.6.2进程互斥 2）如果P1先进入程序段A，执行完“R = countp”指令后发生中断，中断处理后进程调度选中P2占用处理机，P2执行完程序段A，、、、。之后P1再次获得处理机执行 “R = R + 1” 和 “countp = R” 指令后 countp等于1，结果错误。 R = countp 中断 A R = R + 1 countp = R 为什么？请写出CPU轨迹 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实现临界