申请--分配--使用--释放模式产生死锁的四个必要条件互斥-Read.PPTVIP

死锁处理 死锁的基本概念 资源分配图 死锁的解决方案 （预防，避免，检测及解除） 一、死锁的基本概念 1.死锁的定义 一组进程中，每个进程都无限等待被该组进程中另一进程所占有的资源，因而永远无法得到的资源，这种现象称为进程死锁，这一组进程就称为死锁进程 关于死锁的一些结论 参与死锁的进程最少是两个 （两个以上进程才会出现死锁） 参与死锁的进程至少有两个已经占有资源 参与死锁的所有进程都在等待资源 参与死锁的进程是当前系统中所有进程的子集 注：如果死锁发生，会浪费大量系统资源，甚至导致系统崩溃 2. 资源 永久性资源：可以被多个进程多次使用（可再用资源） * 可抢占资源 不可抢占资源 临时性资源：只可使用一次的资源；如信号量,中断信号，同步信号等（可消耗性资源） “申请--分配--使用--释放”模式 3. 产生死锁的四个必要条件 互斥（资源独占） 不可剥夺 请求又保持 循环等待（子环） 1) 互斥使用（资源独占） 一个资源每次只能给一个进程使用 2)不可剥夺 资源申请者不能强行的从资源占有者手中夺取资源，资源只能由占有者自愿释放 3) 请求又保持 一个进程在申请新的资源的同时保持对原有资源的占有 （只有这样才是动态申请，动态分配） 4) 循环等待 存在一个进程等待队列 {P1 , P2 , … , Pn}, 其中P1等待P2占有的资源，P2等待P3占有的资源，…，Pn等待P1占有的资源，形成一个进程等待环路 二、资源分配图 用有向图描述进程与资源的申请与拥有关系 准确、形象 系统由若干类资源构成，一类资源称为一个资源类；每个资源类中包含若干个同种资源，称为资源实例 资源分配图 二元组G=（V，E） V：结点集，分为P，R两部分 P={p1,p2,…,pn} R={r1,r2,…,rm} E：边的集合，其元素为有序二元组 (pi,rj)或(rj,pi) 资源分配图 表示法 资源类（资源的不同类型） 用方框表示 资源实例（存在于每个资源中） 用方框中的黑圆点表示 进程 用圆圈中加进程名表示 资源分配图 分配边： 资源实例?进程的一条有向边 申请边： 进程?资源类的一条有向边 资源分配图 死锁定理 如果资源分配图中没有环路，则系统中没有死锁，如果图中存在环路则系统中可能存在死锁 如果每个资源类中只包含一个资源实例，则环路是死锁存在的充分必要条件 资源分配图 资源分配图化简： 1）找一个非孤立点进程结点且只有分配边，去掉分配边，将其变为孤立结点 2）再把相应的资源分配给一个等待该资源的进程，即将某进程的申请边变为分配边 三、死锁的解决方案 1. 产生死锁的例子 申请不同类型资源产生死锁 申请同类资源产生死锁（如内存） 设有资源R，R有m个分配单位，由n个进程P1,P2,…,Pn（n m）共享。假设每个进程对R的申请和释放符合下列原则： * 一次只能申请一个单位 * 满足总申请后才能使用 * 使用完后一次性释放 m=2，n=3 资源分配不当导致死锁产生 2. 解决死锁的方法 不考虑此问题（鸵鸟策略???） 不让死锁发生 静态策略：设计合适的资源分配算法，不让死锁发生 动态策略： 让死锁发生 死锁预防 定义： 在系统设计时确定资源分配算法，保证不发生死锁 具体的做法是破坏产生死锁的四个必要条件之一(后三之一或若干) 死锁预防 破坏“不可剥夺”条件 在允许进程动态申请资源前提下规定，一个进程在申请新的资源不能立即得到满足而变为等待状态之前，必须释放已占有的全部资源，若需要再重新申请 死锁预防 破坏“请求又保持”条件 要求每个进程在运行前必须一次性申请它所要求的所有资源，且仅当该进程所要资源均可满足时才给予一次性分配 死锁预防 破坏“循环等待”条件 采用资源有序分配法： 把系统中所有资源编号，进程在申请资源时必须严格按资源编号的递增次序进行，否则操作系统不予分配 （哲学家就餐问题） 4. 死锁避免 死锁避免定义 在系统运行过程中，对进程发出的每一个系统能够满足的资源申请进行动态检查，并根据检查结果决定是否分配资源，若分配后系统可能发生死锁，则不予分配，否则予以分配 安全状态与不安全状态 安全状态： 如果存在一个由系统中所有进程构成的安全序列P1，…Pn，则系统处于安全状态 死锁避免 安全序列： 一个进程序列{P1，…，Pn}是安全的，如果对于每一个进程Pi(1≤i≤n），它以后尚需要的资源量不超过系统当前剩余资源量与所有进程Pj (j i )当前占有资源量之和