国防科大OS4-4章节幻灯片.pptVIP

* * * * * * * 第十讲 死锁 目的与要求：了解死锁的定义，掌握死锁预防，了解死锁避免，死锁检测，死锁恢复的方法。 重点与难点：死锁预防法则的使用，死锁避免和检测算法。 作业：25，27，32，35 4.4 死锁 4.4.1 死锁示例 日常生活中的例子 进程死锁的例子 竞争外部设备 竞争辅存空间 编程错的例子 4.4.2 死锁定义及性质 死锁定义 在一个进程集合中，若每个进程都在等待某些事件（指：释放资源）的发生，而这些事件又必须由这个进程集合中的某些进程来产生，就称该进程集合处于死锁状态。 死锁定义及性质 出现死锁的系统必须同时满足下列四个必要条件 互斥：必须存在需要互斥使用的资源 占有等待：一定有占有资源而又等待其它资源的进程 非剥夺：系统中进程占有的资源未主动释放时不可以剥夺 循环等待：进程集合{P0, P1, ……, Pn}，Pi等待Pi+1，Pn等待P0 死锁定义及性质 资源分配图定义 资源分配图由如下部件组成： 如果各类资源数为1，则系统出现死锁的充要条件是资源分配图含圈 Pi .. . . . 死锁研究的主要内容 死锁防止 死锁避免 死锁检测 死锁恢复 无死锁系统 允许死锁、 出现排除 4.4.3 死锁防止 逻辑公式： D→C1∧C2∧C3∧C4 ? C1∨? C2∨? C3∨? C4→ ? D 破坏互斥占用条件 让资源共享使用（但有些资源必须互斥） 破坏占有等待条件 将进程所要资源一次性分给进程，要么没分到一个资源，要么全部满足（适合廉价资源的分配,如外存空间分配） 进程在下一轮申请资源时，释放所占的所有资源 (用完一个再用下一个) 破坏非剥夺条件(用于内存管理、CPU管理等) 当进程Pi申请ri类资源时，若有则分配，若没有则剥夺（释放）Pi占有的所有资源； 当进程Pi申请ri类资源时，若有则分配，若无则剥夺（淘汰）占有ri类资源进程所占的ri类资源分配给Pi； 或看占用ri类资源的Pk处于什么状态，若处于等资源状态，则剥夺其资源，否则让Pi等待,等于剥夺Pi的资源。 破坏循环等待条件 采用资源顺序分配方法：给每类资源编号，进程只能按序号由小到大的顺序申请资源，若不满足则拒绝分配。 反证：若出现循环等待，则必会有小序号资源序号大序号资源序号。 4.4.4 死锁避免 银行家算法(在系统处理资源申请时，判断在满足申请时，系统是否还处于安全状态？是则满足本次资源申请 ，否则拒绝。依此引导进程运行次序) 单类资源系统安全状态定义：设系统中有n个进程，若存在一个序列〈P1，Ｐ2…Ｐn〉使得Pi(i＝1，2…n)以后还需要的资源可以通过系统现有资源加上所有Pj(j＜i)占有的资源来满足 ，则称这个系统处于安全状态,序列〈Ｐ１， Ｐ２…Ｐn〉称为安全序列。 举例 设银行家有10万贷款，P,Q,R分别需要8,3,9万元搞项目（假设任何人满足资金总额后都会归还所有贷款）。 如果P已申请到了4万，Q要申请2万，显然，如果满足Q的申请，有安全序列P,Q,R / Q,P,R。 但如果R要申请4万，显然，如果满足R的申请，则不存在安全序列。 扩展的银行家算法描述 n：系统中的进程个数。m：系统中的资源类型数。 Available(1:m):现有资源向量。Available(j)=k表示有k个未分配的j类资源。 Max(1:n,1:m):资源最大申请量矩阵。Max(i,j)=k表示第i个进程对第j类资源的最大申请量为k. Allocation(1:n,1:m):资源分配矩阵。 Allocation(i,j)=k表示进程i已占有k个j类资源。 Need(1:n,1:m):进程以后还需要的资源矩阵。Need(i,j)=k表示第i个进程以后还需要k个第j类资源。显然Need=Max-Allocation Request(1:n,1:m):进程申请资源矩阵。Request(i,j)=k表示进程i申请k个第j类资源。 资源分配程序的工作过程： 当进程提出资源申请时，系统首先检查该进程对资源的申请量是否超过其最大需求量及系统现有资源能否满足进程需要。若能则进一步检查：若把资源分给该进程系统能否处于安全状态。若安全则分配，否则置该进程为等待资源状态。 为简单起见，记Ai为A(i,1),A(i,2)…A(i,m)。其中A为n×m矩阵。 定义长度为m的向量 X、Y间的关系为： X≤Y当且仅当X(i)≤Y(i)(i=1,2…m) 1如果RequestiNeedi则报错返回。 2如果Requesti Available,则进程i进入等待 资源状态，返回。 3