第3章死锁知识讲稿.pptVIP

3.6死锁;3.6.1 死锁的基本概念;死锁产生的原因 1.竞争资源引起 永久性资源:可以被多个进程多次使用(可再用资源) 剥夺性资源(CPU、内存） 非剥夺性资源(磁带机、打印机) 竞争什么资源会引起死锁？ 临时性资源:只可使用一次的资源； 如信号量,中断信号,同步信号等(可消耗性资源) 竞争临时性资源是否会引起死锁？ 2. 进程推进顺序不当引起 对资源采用“申请--分配--使用--释放”模式, 由于推进顺序不当两进程都要申请对方已经占有的资源时。;死锁举例;死锁举例(续）;3.6.2产生死锁的四个必要条件;P1： … 申请打印机 申请扫描仪 使用 释放打印机 释放扫描仪 …;3.7 死锁的预防和解除 3.7.1 死锁的预防;3.7.2 避免死锁的算法;死锁的避免-单种资源的银行家算法;死锁的避免-单种资源的银行家算法;死锁的避免-多种资源的银行家算法;银行家算法 数据结构： n：系统中进程的总数; m：资源类总数 可用资源向量 Available: ARRAY[1..m] of integer; 最大需求矩阵Max: ARRAY[1..n,1..m] of integer; 分配矩阵Allocation: ARRAY[1..n,1..m] of integer; 需求矩阵Need: ARRAY[1..n,1..m] of integer; Need[i,j]=MAX[i,j]-Allocatin[i,j] 请求矩阵Request: ARRAY[1..n,1..m] of integer; 简记符号： Available, Max[i], Allocation[i], Need[i], Request[i];算法: 当进程Pi提出资源申请时, 系统执行下列步骤: (1).若Request[i]≤Need[i],转(2)否则错误返回 (2).若Request[i]≤Available, 转(3)否则进程等待 (3).假设系统分配资源, 则有: Available:=Available-Request[i]; Allocation[i]:=Allocation[i]+Request[i]; Need[i]:=Need[i]-Request[i]; (4)系统执行安全性算法，检查此次资源分配后，系统是否处于安全在状态，若安全，才正式将资源分配给进程Pi ；否则，将本次试探分配作废，恢复原来的分配状态，让进程Pi等待。;为进行安全性检查, 定义数据结构： 工作向量Work:系统可提供给进程继续运行所需的各 类资源数目,有m个元素, 其初值为多少？ Finish:系统是否有足够的资源分配给进程,使之完成; 安全性检查的步骤： (1) Work:=Available; Finish:=false; (2) 寻找满足条件的i： Finish[i]=false; Need[i]≤Work; 如果不存在，则转(4) (3) Work:=Work+Allocation[i]; Finish[i]:=true; 转(1) (4) 若对所有i,Finish[i]=true,则系统处于安全状态, 否则处于不安全状态; 进程 最大需求 已分配 尚需要 可用 P1 10 5 5 3 P2 4 2 2 P3 9 2 7 ;1) 检查T0时刻的安全性;检查此刻的安全性;3) 假定P4请求资源, 发出请求向量Request(3,3,0) Request(3,3,0) Available(2,3,0),让P4等待 4) 若P0请求资源,发出请求向量Request(0,2,0)假定分配,资源为:;检查此刻的安全性;3.8 死锁的检测与解除;3.8.1死锁的检测;;;2. 死锁定理 资源分配图化简方法： 1）找一个非孤立点进程结点且只有分配边，去掉分配边，将其变为孤立结点。 2）再把相应的资源分配给一个等待该资源的进程，即将某进程的申请边变为分配边。 3) 在进行一系列化简后，若能消去图中所有的边，使所有的节点都成为孤立的，则称该图是可化简的；否则，为不可化简的。 ;2. 死锁定理 S为死锁状态的充分条件是：当且仅当S状态的资源分配图是不可完全化简的。;3.8.2死锁的解除;课后题;补充2: 设三个进程P