操作系统讲义-第三章.pptVIP

第三章 处理机调度与死锁 主要内容 3.1 处理机调度的层次 3.1 处理机调度的层次 3.1 处理机调度的层次 3.1 处理机调度的层次 3.1 处理机调度的层次 3.2 调度队列模型和调度准则 3.2 调度队列模型和调度准则 3.2 调度队列模型和调度准则 3.2 调度队列模型和调度准则 3.2 调度队列模型和调度准则 3.2 调度队列模型和调度准则 3.3 调度算法 3.3 调度算法 3.3 调度算法 3.3 调度算法 3.3 调度算法 3.3 调度算法 3.3 调度算法 3.3 调度算法 3.3 调度算法 3.3 调度算法 3.3 调度算法 3.4 实时调度 3.4 实时调度 3.4 实时调度 3.5 产生死锁的原因和必要条件 3.5 产生死锁的原因和必要条件 3.5 产生死锁的原因和必要条件 3.6 预防死锁的方法 3.6 预防死锁的方法 3.6 预防死锁的方法 3.6 预防死锁的方法 3.6 预防死锁的方法 3.6 预防死锁的方法 3.6 预防死锁的方法 3.6 预防死锁的方法 3.7 死锁的检测与解除 3.7 死锁的检测与解除 3.7 死锁的检测与解除 本章小结 本章作业 本章作业 本章作业 （1） 摒弃“请求和保持”条件，要么全部分配，要么一个也不分配； （2） 摒弃“不剥夺”条件，资源在进程运行过程中可被暂时释放； （3） 摒弃“环路等待”条件，进程对资源的请求按照某种顺序依次进行。 1. 预防死锁 安全状态 是指系统能按某种进程顺序（P1，P2，… ，Pn），来为每个进程Pi分配其所需资源，直至满足每个进程对资源的最大需求，使每个进程都顺利执行。 安全状态实例:假设系统中有三个进程P1，P2，P3，共12台磁带机。 2. 系统安全状态 2 9 P3 2 4 P2 3 5 10 P1 可用 已分配 最大需求 进程 数据结构 3. 银行家算法 （1）可利用资源向量Available（m个元素的数组），其中Available[j] = k，表示系统中 Rj 类资源有 k 个。 （2）最大需求矩阵Max（n×m）的矩阵，Max[i,j]=k，表示进程Pi需要Rj类资源的最大数目是k个。 （3）分配矩阵Allocation（ n×m）的矩阵， Allocation[i,j]=k，表示Pi已经分得Rj类资源的数目是k个。 （4）需求矩阵Need （ n×m）的矩阵， Need[i,j]=k，表示Pi还需要Rj类资源的数目是k个。 上述关系： Need[i,j]= Max[i,j] - Allocation[i,j]； 算法描述 3. 银行家算法 假设Request i 是Pi的请求向量，Request i [j]=k表示Pi请求k个Rj类资源，Pi申请后，系统进行检查： （1）如果Request i [j] ≤ Need [i,j] ，则转（2），否则出错（需要资源超过它宣布的最大值）。 （2）如果Request i [j] ≤ Available [j] ，则转（3），否则尚无足够的资源，Pi必须等待。 （3）系统为Pi分配资源（试探性的分配）： Available[j]:=Available[j] - Request i [j] ; Allocation[i,j]:=Allocation[i,j] + Request i [j]; Need[i,j]:=Need[i,j] - Request i [j]; （4）执行安全性算法，若安全则分配（为Pi），否则不分配，令Pi等待。 安全性算法 3. 银行家算法 （1）设置两个向量：工作向量Work，表示系统可提供给进程继续运行所需的各类资源数目，含有m个元素，初始work := Available；向量Finish，表示系统是否有足够的资源分配给进程，使之运行完成，初始时Finish:=false，有足够资源分配时，Finish:=true； （2）在进程集合中找到一个能满足下述条件的进程： a）Finish[i]=false; b）Need[i,j] ≤Work[j]；如果找到则转（3），否则转（4）； （3）进程Pi获得资源可顺利完成，并释放资源，则执行 Work[j]:=Work[j] + Allocation[i,j]; Finish[i]:=true; 转（2）； （4）如果所有进程的Finish[i]=true都满足，表示系统处于安全状态，否则系统进入不安全状态。 假设系统中有五个进程{P0, P1, P2, P3, P4}和三类资源{A, B, C