总复习第6章资料.ppt

问题描述3分钟 第六章 并发性：死锁与饥饿 死锁的概念P183 死锁的四个必要条件P189 解决死锁的三种方案：死锁预防、死锁避免、死锁检测 P188表6.1 死锁避免：银行家算法 P192 6.1 死锁原理 定义：一组相互竞争系统资源或进行通信的进程间的“永久”阻塞 6.1.4 死锁的条件 互斥 一次只有一个进程可以使用一个资源 占有且等待 当一个进程等待其它资源时，可以占有已分配的资源 不可抢占 不能强行抢占进程拥有的资源 死锁的条件 循环等待 存在一个封闭的进程链，使得每个进程至少占有链中下一个进程所需要的一个资源 以生产者/消费者问题分析死锁必要条件 生产者 … wait(mutex) wait(empty) … 消费者 … wait(mutex) wait(full) … 可能的两个死锁：第一种 当缓冲区空时，假设消费者先执行，发生死锁满足条件： 互斥：缓冲区使用权 占有且等待：消费者获得缓冲区使用权后，又提出申请满缓冲区的请求 非抢占：生产者不能抢占消费者占有的缓冲区访问权 环路等待 生产者 消费者 满缓冲区 缓冲区访问权 可能的两个死锁：第二种 当缓冲区满时，假设生产者先执行，发生死锁满足条件： 互斥：缓冲区使用权 占有且等待：生产者获得缓冲区使用权后，又提出申请空缓冲区的请求 非抢占：消费者不能抢占生产者占有的缓冲区访问权 环路等待 生产者 消费者 空缓冲区 缓冲区访问权 处理死锁的基本方法 1、预防死锁： 通过设置某些限制条件，去破坏死锁四个充要条件中的一个或多个，来防止死锁。 较易实现，广泛使用，但由于所施加的限制往往太严格，可能导致系统资源利用率和系统吞吐量的降低。 处理死锁的基本方法 2、避免死锁： 不事先采取限制去破坏产生死锁的条件，而是在资源的动态分配过程中，用某种方法去防止系统进入不安全状态，从而避免死锁的发生。 实现较难，只需要较弱的限制条件，可获得较高的资源利用率和系统吞吐量。 处理死锁的基本方法 3、检测死锁： 事先并不采取任何限制，也不检查系统是否进入不安全区，允许死锁发生，但可通过检测机构及时检测出死锁的发生，并精确确定与死锁有关的进程和资源，然后采取适当措施，将系统中已发生的死锁清除掉 处理死锁的基本方法 4、恢复死锁： 与检测死锁相配套，用于将进程从死锁状态解脱出来。 常用的方法是撤消或挂起一些进程。以回收一些资源，再将它们分配给处于阻塞状态的进程，使之转为就绪状态。 实现难度大，但可获得较好的资源利用率和系统吞吐量。 资源分配拒绝(银行家算法) 系统的状态是当前给进程分配的资源情况 安全状态（至少有一个安全序列） 系统按某种顺序并发进程，并使它们都能达到获得最大资源而顺序完成的序列为安全序列。 能找到安全序列的状态为安全状态，安全状态不会导致死锁 不安全状态（没有安全序列） 不安全状态不一定导致死锁 利用银行家算法避免死锁 1、银行家算法中的数据结构 资源总量向量Resource，m维，表示m种资源的总量。 可用资源向量Available，m维，表示未分配的各种可用资源数量。 需求矩阵Claim，n*m矩阵，表示n个进程对m类资源的最大需求。 分配矩阵Allocation ，n*m矩阵，表示n个进程已分配的各种资源数。 银行家算法 当一进程提出资源申请时，银行家算法执行下列步骤以决定是否向其分配资源： （1）检查该进程所需要的资源是否已超过它所宣布的最大值。 （2）检查系统当前是否有足够资源满足该进程的请求。 (3）系统试探着将资源分配给该进程，得到一个新状态。 (4）执行安全性算法，若该新状态是安全的，则分配完成；若新状态是不安全的，则恢复原状态，阻塞该进程。 6.6 哲学家进餐问题 五个哲学家共用一张圆桌，桌上有五个盘子、五把叉子和一大盘面条。 平时哲学家进行思考，想吃面时便试图取其左右最近的叉子，只有拿到两把叉子时他才能进餐。进餐完毕后，放下叉子继续思考。 要求互斥使用叉子，并且没有死锁与饥饿。 * * 问题描述3分钟