计算机操作系统_2004_死锁.pptVIP

第八章 死锁 死锁的基本概念 死锁的解决方案 （预防，避免，检测及解除） 资源分配图 死锁的现象 一、死锁的基本概念 1.死锁的定义 一组进程中，每个进程都无限等待被该组进程中另一进程所占有的资源，因而永远无法得到的资源，这种现象称为进程死锁，这一组进程就称为死锁进程 关于死锁的一些结论 参与死锁的进程最少是两个 （两个以上进程才会出现死锁） 参与死锁的进程至少有两个已经占有资源 参与死锁的所有进程都在等待资源 参与死锁的进程是当前系统中所有进程的子集 注：如果死锁发生，会浪费大量系统资源，甚至导致系统崩溃 2. 资源 永久性资源：可以被多个进程多次使用（可再用资源） * 可抢占资源 不可抢占资源 临时性资源：只可使用一次的资源；如信号量,中断信号，同步信号等（可消耗性资源） “申请--分配--使用--释放”模式 3. 产生死锁的四个必要条件 互斥使用（资源独占） 不可强占（不可剥夺） 请求和保持（部分分配，占有申请） 循环等待 1) 互斥使用（资源独占） 一个资源每次只能给一个进程使用 2) 不可强占（不可剥夺） 资源申请者不能强行的从资源占有者手中夺取资源，资源只能由占有者自愿释放 3) 请求和保持（部分分配，占有申请） 一个进程在申请新的资源的同时保持对原有资源的占有 （只有这样才是动态申请，动态分配） 4) 循环等待 存在一个进程等待队列 {P1 , P2 , … , Pn}, 其中P1等待P2占有的资源，P2等待P3占有的资源，…，Pn等待P1占有的资源，形成一个进程等待环路 二、死锁的解决方案 1. 产生死锁的例子 申请不同类型资源产生死锁 申请同类资源产生死锁（如内存） 设有资源R，R有m个分配单位，由n个进程P1,P2,…,Pn（n m）共享。假设每个进程对R的申请和释放符合下列原则： * 一次只能申请一个单位 * 满足总申请后才能使用 * 使用完后一次性释放 m=2，n=3 资源分配不当导致死锁产生 2. 解决死锁的方法 不考虑此问题（鸵鸟政策） 不让死锁发生 静态策略：设计合适的资源分配算法，不让死锁发生 动态策略： 让死锁发生 3. 死锁预防 定义： 在系统设计时确定资源分配算法，保证不发生死锁 具体的做法是破坏产生死锁的四个必要条件之一 死锁预防 破坏“不可剥夺”条件 实施方案1：在允许进程动态申请资源前提下规定，一个进程在申请新的资源不能立即得到满足而变为等待状态之前，必须释放已占有的全部资源，若需要再重新申请 实施方案2：当一个进程申请的资源被其他进程占用时，可以通过操作系统抢占这一资源 （适用于状态易于保存和恢复的资源） 死锁预防 破坏“请求和保持”条件 要求每个进程在运行前必须一次性申请它所要求的所有资源，且仅当该进程所要资源均可满足时才给予一次性分配 问题：资源利用率低；饥饿现象 死锁预防 破坏“循环等待”条件 采用资源有序分配法： 把系统中所有资源编号，进程在申请资源时必须严格按资源编号的递增次序进行，否则操作系统不予分配 问题：？ （解决哲学家就餐问题） 死锁避免定义 定义： 在系统运行过程中，对进程发出的每一个系统能够满足的资源申请进行动态检查，并根据检查结果决定是否分配资源，若分配后系统可能发生死锁，则不予分配，否则予以分配 安全状态与不安全状态 安全状态： 如果存在一个由系统中所有进程构成的安全序列P1，…，Pn，则系统处于安全状态 死锁避免 安全序列： 一个进程序列{P1，…，Pn}是安全的，如果对于每一个进程Pi(1≤i≤n），它以后尚需要的资源量不超过系统当前剩余资源量与所有进程Pj (j i )当前占有资源量之和，系统处于安全状态 (安全状态一定是没有死锁发生的) 安全状态与不安全状态 不安全状态:不存在一个安全序列 不安全状态一定导致死锁 单资源银行家算法 如图有三个顾客P，Q，R，共享10个现金单位，三个顾客共要求20个现金单位。图中括号内为该顾客要求数，括号外为顾客已借得的借款数。 算法：从当前状态出发，逐个检查各顾客中，谁能完成工作（即仍要求数不超过剩余现金总数），然后假定其完成工作且归还全部借款，再进而检查谁又能完成工作，……如果所有顾客都能完成工作，则状态是安全的。 单资源银行家算法 银行家算法 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