死锁 操作系统高级 培训讲解.pptVIP

银行家算法 (3) Work:=Work+Allocation[i]; Finish[i]:=true; 转(2) (4) 若对所有i,Finish[i]=true,则系统处于安全状态，否则处于不安全状态 银行家算法 死锁检测： 允许死锁发生，操作系统不断监视系统进展情况，判断死锁是否发生 一旦死锁发生则采取专门的措施，解除死锁并以最小的代价恢复操作系统运行 3.死锁的检测与解除 死锁的检测与解除 检测时机： 当进程由于资源请求不满足而等待时检测死锁 （其缺点是系统的开销大） 定时检测 系统资源利用率下降时检测死锁 死锁的检测与解除 一个简单的死锁检测算法 * 每个进程和资源指定唯一编号 * 设置一张资源分配表 记录各进程与其占用资源之间的关系 * 设置一张进程等待表 记录各进程与要申请资源之间的关系 北京大学软件与微电子学院2009春季 操作系统高级 Operating Systems Advanced Class 第五讲 死锁 死锁的基本概念 死锁的解决方案 （预防，避免，检测及解除） 资源分配图 死锁的现象 一、死锁的基本概念 1.死锁的定义 一组进程中，每个进程都无限等待被该组进程中另一进程所占有的资源，因而永远无法得到的资源，这种现象称为进程死锁，这一组进程就称为死锁进程 死锁（Deadlock） 饥饿（Starvation） 活锁（Livelock） 参与死锁的进程最少是两个 （两个以上进程才会出现死锁） 参与死锁的进程至少有两个已经占有资源 参与死锁的所有进程都在等待资源 参与死锁的进程是当前系统中所有进程的子集 注：如果死锁发生，会浪费大量系统资源，甚至导致系统崩溃 关于死锁的一些结论 4.产生死锁的例子 1.申请不同类型资源产生死锁 P1： … 申请打印机 申请扫描仪 使用 释放打印机 释放扫描仪 … P2： … 申请扫描仪 申请打印机 使用 释放打印机 释放扫描仪 … 2.申请同类资源产生死锁（如内存） 设有资源R，R有m个分配单位，由n个进程P1,P2,…,Pn（n m）共享。假设每个进程对R的申请和释放符合下列原则： * 一次只能申请一个单位 * 满足总申请后才能使用 * 使用完后一次性释放 产生死锁的例子 m=2，n=3 二、死锁的解决方案 不考虑此问题（鸵鸟政策） 不让死锁发生 静态策略：设计合适的资源分配算法，不让死锁发生 动态策略： 让死锁发生 1.死锁预防 定义： 在系统设计时确定资源分配算法，保证不发生死锁 具体的做法是破坏产生死锁的四个必要条件之一 死锁预防 破坏“不可剥夺”条件 实施方案1：在允许进程动态申请资源前提下规定，一个进程在申请新的资源不能立即得到满足而变为等待状态之前，必须释放已占有的全部资源，若需要再重新申请 实施方案2：当一个进程申请的资源被其他进程占用时，可以通过操作系统抢占这一资源 （适用于状态易于保存和恢复的资源） 破坏“请求和保持”条件 要求每个进程在运行前必须一次性申请它所要求的所有资源，且仅当该进程所要资源均可满足时才给予一次性分配 问题：资源利用率低；”饥饿”现象 死锁预防 破坏“循环等待”条件 采用资源有序分配法： 把系统中所有资源编号，进程在申请资源时必须严格按资源编号的递增次序进行，否则操作系统不予分配 问题：？ （解决哲学家就餐问题） 死锁预防 2.死锁避免 O M M 用户乙 用户甲 A B X X1 X2 Y Y1 Y2 O2 O1 O3 死锁避免 O M M 用户乙 用户甲 A B X Y O1 O2 A为用户甲总资源需求量 Y = M – A 一旦乙占用超过Y的资源， 甲将得不到足够的资源执行 乙的B和对应的X 与甲的A和对应的Y 意义和关系相似 O M M 用户乙 用户甲 A B X X1 Y Y1 O1 O2 X1为当前分配给用户甲的资源数量 Y1为当前分配给用户乙的资源数量 无论用户甲还是用户乙 剩余资源总数 都能满足用户对资源的需求 O M M 用户乙 用户甲 A B X X2 Y Y1 O1 O2 X2为当前分配给用户甲的资源数量 Y1为当前分配给用户乙的资源数量 剩余资源不能满足乙的需求 但是剩余资源足够甲的需求 甲得到执行后，释放资源， 从而使得乙也有足够资源满足自己需求 O M M 用户乙 用户甲 A B X X2 Y Y2 O1 O2 X2为当前分配给用户甲的资源数量 Y2为当前分配给用户乙的资源数量 剩余资源既不能满足甲的需求 也不足以满足乙的需求 此时甲和乙都无法获得足够的资源使其得到执行 死锁避免（续） O5 O4 Z 死锁避免定义 定义： 在系统运行过程中，对进程发出的每一个系统能够