现代操作系统.pptVIP

死 锁 主要内容 一、死锁产生 二、死锁处理 三、分布式死锁处理技术 一、死锁产生 死锁的基本概念 如果一个进程集合中的每个进程都在等待只能由该组进程中的其他进程才能引发的事件，那么，该组进程是死锁的。 死锁的起因 竞争资源 一、死锁产生 死锁的条件 1. 互斥条件 每个资源要么已经分配给了一个进程，要么可用。 2. 占有和等待条件 已经得到了某个资源的进程可以再请求新的资源。 3. 不可抢占条件 已经分配给一个进程的资源不能强制性地被抢占，它只能被占有它的进程显式地释放。 4. 环路等待条件 死锁发生时，系统中一定有由两个或两个以上的进程组成的一条环路，该环路中的每个进程都在等待着下一个进程所占有的资源。 二、死锁处理 有四种处理死锁的策略 忽略 ——鸵鸟算法 2. 让死锁发生，检测它们是否发生；一旦发生，采取行动解决 ——死锁检测和恢复 3. 仔细分配资源，动态地避免死锁 ——死锁避免 4. 破坏引起死锁的四个条件之一，防止死锁产生 ——死锁预防 1. 鸵鸟算法 如果死锁平均每5年发生一次，而每个月系统都会因为硬件故障、编译器错误或者操作系统故障而崩溃一次，那么大多数工程师不会以性能损失和可用性的代价去防止死锁。 大多数操作系统（如UNIX和Windows）处理这一问题的办法是忽略它，因为解决死锁的代价通常很大，给进程带来诸多不便，而多数用户宁可在极偶然情况下产生死锁，也不愿受很多不便限制。 大多数操作系统潜在地受到了死锁的威胁，但这些死锁从来没有被检测到过，理所当然地自动解除了。 2. 死锁检测和死锁恢复 对资源的分配不加任何限制，也不采取死锁避免措施，但系统定时地运行一个“死锁检测”程序，判断系统内是否已出现死锁，如果检测到系统已发生了死锁，再采取措施解除它 每种类型一个资源的死锁检测常借助资源分配图；每种类型多个资源的死锁检测常基于矩阵 2. 死锁检测和死锁恢复 简化进程-资源分配图检测系统是否处于死锁状态 如果能在进程-资源分配图中消去此进程的所有请求边和分配边，成为孤立结点。经一系列简化，使所有进程成为孤立结点，则该图是可完全简化的；否则则称该图是不可完全简化的。 系统为死锁状态的充分条件是：当且仅当该状态的进程-资源分配图是不可完全简化的。该充分条件称为死锁定理。 2. 死锁检测和死锁恢复 利用抢占恢复 临时将某个资源从它的当前所有者那里转移到另一个进程（对运行在大型主机上的批处理操作系统来说，要人工干预） 比较困难；可行与否取决于资源本身特性；挂起进程的选择取决于哪个进程拥有较易收回的资源 利用回退恢复 根据系统保存的检查点，让所有进程回退，直到足以解除死锁。进程检查点中应包括存储映像，资源状态，及资源的分配情况等 这种措施要求系统建立保存检查点、回退及重启机制；当进程执行时，一系列检查点文件被累积 2. 死锁检测和死锁恢复 通过杀死进程恢复 杀掉环中的一个进程或选一个环外的进程作为牺牲品以释放该进程资源。 杀掉环中进程的最坏情况是逐个撤销陷于死锁的进程并回收其资源重新分派，直至死锁解除；杀掉环外进程时，该进程应正好持有环中某些进程所需的资源。 杀死进程在第二次运行时可能是不安全的（如数据库的更新进程），故最好杀死可以从头开始运行不会带来副作用的进程 3. 死锁避免 避免死锁的主要算法是基于安全状态的概念。 所谓安全状态即对于所有进程的资源请求，存在某种调度次序能使得进程运行完毕。 资源轨迹图与银行家算法 3. 死锁避免 银行家算法 系统中的所有进程进入进程集合, 在安全状态下系统收到进程的资源请求后,先把资源试探性分配给它。 系统用剩下的可用资源和进程集合中其他进程还要的资源数作比较，在进程集合中找到剩余资源能满足最大需求量的进程,从而,保证这个进程运行完毕并归还全部资源。 把这个进程从集合中去掉, 系统的剩余资源更多了,反复执行上述步骤。 最后,检查进程集合,若为空表明本次申请可行,系统处于安全状态,可实施本次分配;否则,有进程执行不完，系统处于不安全状态,本次资源分配暂不实施,让申请进程等待。 3. 死锁避免 银行家算法 3. 死锁避免 死锁避免算法与死锁检测算法是类似的，不同在于后者考虑了检查每个进程还需要的所有资源能否满足要求；而前者则仅要根据进程的当前申请资源量来判断系统是否进入了不安全状态。 4. 死锁预防 通过限制进程的资源请求来达到预防死锁的目的，都是通过打破四个死锁条件中的一个条件来实现的。 破坏占有和等待条件 所有进程在开始执行前请求所需的全部资源 优点：易实现，安全，有效防死锁 缺点：很多进程直到开始运行时才知道它需要多少资源；资源利用率不高，进程推迟运行 大型机批处理系统要求用户在所提交作业的第一行列出所需资源，系统分配所需全部资源