并发进程精品.pptVIP

* 兰州理工大学计算机与通信学院 死锁的产生不仅与系统拥有的资源数量有关，而且与资源分配策略，进程对资源的使用要求以及并发进程的推进顺序有关。 * 兰州理工大学计算机与通信学院 死锁防止 系统形成死锁的四个必要条件： （1）互斥条件 （2）部分分配条件 （3）不剥夺条件 （4）环路条件 * 兰州理工大学计算机与通信学院 破坏第一个条件：使资源可同时访问而不是互斥使用。 破坏第三个条件：采用剥夺式调度方法。 破坏第二个条件或第四个条件 上述死锁防止办法造成资源利用率和吞吐率 低。介绍两种比较实用的死锁防止方法。 * 兰州理工大学计算机与通信学院 死锁的避免 银行家算法 银行家拥有一笔周转资金 客户要求分期贷款，如果客户能够得到各期贷款，就一定能够归还贷款，否则就一定不能归还贷款 银行家应谨慎的贷款，防止出现坏帐 用银行家算法避免死锁 操作系统（银行家）、操作系统管理的资源(周转资金)、进程（要求贷款的客户） * 兰州理工大学计算机与通信学院 实例说明系统所处的安全或不安全状态 如果系统中共有五个进程和A、B、C三类资源; A类资源共有10个,B类资源共有5个,C类资源共有7个。 在时刻T0,系统目前资源分配情况如下： * 兰州理工大学计算机与通信学院 Process Allocation Claim Available A B C A B C A B C P0 0 1 0 7 5 3 3 3 2 P1 2 0 0 3 2 2 P2 3 0 2 9 0 2 P3 2 1 1 2 2 2 P4 0 0 2 4 3 3 * 兰州理工大学计算机与通信学院 （1） 进程P1申请资源request1=(1,0,2) （2） 进程P4请求资源(3,3,0) （3） 进程P0的资源请求(0,2,0) * 兰州理工大学计算机与通信学院 资源分配图和死锁定理 解决死锁问题的一条途径是死锁检测和解除，这种方法对资源的分配不加任何限制，也不采取死锁避免措施，但系统定时地运行一个“死锁检测”程序，判断系统内是否已出现死锁，如果检测到系统已发性了死锁，再采取措施解除它。 死锁的检测和解除 * 兰州理工大学计算机与通信学院 进程-资源分配图PRAG 约定Pi→Rj为请求边，表示进程Pi申请资源类Rj中的一个资源得不到满足而处于等待Rj类资源的状态，该有向边从进程开始指到方框的边缘，表示进程Pi申请Rj类中的一个资源。 Rj→Pi为分配边，表示Rj类中的一个资源已被进程Pi占用，由于已把一个具体的资源分给了进程Pi，故该有向边从方框内的某个黑圆点出发指向进程。 * 兰州理工大学计算机与通信学院 资源分配图的一个例子 R1 R2 ． ．． ． P1 P2 P3 R3 * 兰州理工大学计算机与通信学院 资源分配图的另一个例子 R1 R2 P2 P3 P4 P1 * 兰州理工大学计算机与通信学院 简化进程-资源分配图检测系统是否死锁 (1)如果进程-资源分配图中无环路，则此时系统没有发生死锁。 (2)如果进程-资源分配图中有环路，且每个资源类中仅有一个资源，则系统中发生了死锁，此时，环路是系统发生死锁的充要条件，环路中的进程便为死锁进程。 (3)如果进程-资源分配图中有环路，且涉及的资源类中有多个资源，则环路的存在只是产生死锁的必要条件而不是充分条件。 * 兰州理工大学计算机与通信学院 如果能在进程-资源分配图中消去无请求边进程的所有分配边，使之成为孤立结点。重复上述过程，若能使图中所有进程成为孤立结点，则该图是可完全简化的；否则则称该图是不可完全简化的。 系统为死锁状态的充分条件是：当且仅当该状态的进程-资源分配图是不可完全简化的。该充分条件称为死锁定理。 * 兰州理工大学计算机与通信学院 死锁的具体检测和解除方法 借助于死锁的安全性测试算法来实现。死 锁检测算法与死锁避免算法是类似的，不同在于 前者考虑了检查每个进程还需要的所有资源能否 满足要求；而后者则仅要根据进程的当前申请资 源量来判断系统是否进入了不安全状态。 * 兰州理工大学计算机与通信学院 死锁的解除 ?立即结束所有进程的执行，并重新启动操作 系统。方法简单,但以前工作全部作废,