银行家算法-四川大学.PPT

《计算机操作系统》- 第5章 操作系统原理Operating System Principles 四川大学计算机学院 段 磊 leiduan@ 2014 Spring 第5章 死 锁 并发进程竞争使用资源，如果同步措施不恰当，容易导致死锁现象。 操作系统除了需要预防死锁、避免死锁外，还需要能够检测死锁，并从死锁中进行恢复。 本章目录 5.1 死锁的产生 5.2 死锁预防 5.3 死锁避免 5.4 死锁的检测和解除 5.5 线程死锁 死锁知识铺垫-基本概念 死锁是多个进程因竞争共享资源而造成的一种僵局，若无外力作用，这些进程都将永远不能再向前推进。 即：一组进程中，每个进程都无限等待被该组进程中另一进程所占有的资源，因而永远无法得到的资源，这种现象称为进程死锁，这一组进程就称为死锁进程。 死锁知识铺垫-举例1 死锁知识铺垫-举例2 可分配空间为200K。 当两个进程都执行第二次空间请求时，发生死锁。 死锁知识铺垫-有关结论 参与死锁的进程最少是两个 参与死锁的进程至少有两个已经占有资源 参与死锁的所有进程都在等待资源 参与死锁的进程是当前系统中所有进程的子集 注：如果死锁发生，会浪费大量系统资源，甚至导致系统崩溃。 5.1.1 死锁产生的原因 死锁产生原因：①竞争系统资源 若系统中只有一台打印机R1和一台读卡机R2，可供进程P1和P2共享。若形成环路，这样会产生死锁。 死锁产生原因：①竞争系统资源 死锁产生原因：②推进顺序不当 死锁产生原因：②推进顺序不当 5.1.2 死锁产生的必要条件 互斥条件（资源独占） 请求和保持条件（部分分配，占有申请） 不剥夺条件（不可强占） 环路等待条件 这四个条件是死锁发生的必要条件，进程必须同时具备这四个条件才会发生死锁。其中任意一条不满足，都不会发生死锁。但这四个条件并不是死锁发生的充分条件。 5.1.2 死锁产生的必要条件 互斥条件（资源独占） 请求和保持条件（部分分配，占有申请） 不剥夺条件（不可强占） 环路等待条件 这四个条件是死锁发生的必要条件，进程必须同时具备这四个条件才会发生死锁。其中任意一条不满足，都不会发生死锁。但这四个条件并不是死锁发生的充分条件。 5.1.2 死锁产生的必要条件 互斥条件（资源独占） 请求和保持条件（部分分配，占有申请） 不剥夺条件（不可强占） 环路等待条件 这四个条件是死锁发生的必要条件，进程必须同时具备这四个条件才会发生死锁。其中任意一条不满足，都不会发生死锁。但这四个条件并不是死锁发生的充分条件。 5.1.2 死锁产生的必要条件 互斥条件（资源独占） 请求和保持条件（部分分配，占有申请） 不剥夺条件（不可强占） 环路等待条件 这四个条件是死锁发生的必要条件，进程必须同时具备这四个条件才会发生死锁。其中任意一条不满足，都不会发生死锁。但这四个条件并不是死锁发生的充分条件。 5.1.2 死锁产生的必要条件 互斥条件（资源独占） 请求和保持条件（部分分配，占有申请） 不剥夺条件（不可强占） 环路等待条件 这四个条件是死锁发生的必要条件，进程必须同时具备这四个条件才会发生死锁。其中任意一条不满足，都不会发生死锁。但这四个条件并不是死锁发生的充分条件。 5.1.3 处理死锁的基本方法 预防死锁： 破坏必要条件,消除“占有并请求条件”或“环路等待条件”。但是，这样破坏死锁会引起系统的资源利用率低。 避免死锁： 合理的调节各并发进程的资源分配和推进顺序 银行家算法、安全性算法 检测死锁：资源分配图、死锁定理 解除死锁：以最小代价恢复系统,撤销或挂起死锁进程，回收资源，重新分配给其他请求资源并处于阻塞状态的进程 5.1.4 资源分配图 用于描述进程已经分配和正在请求的资源。通过对资源分配图中各进程资源分配情况的分析，可以判别是否具备死锁发生的条件。 进程顶点用圆圈表示，资源顶点用方块表示，方块中的一个点表示一个资源。有向线段连接进程到资源。箭头从进程指向资源，表示进程正在等待资源；箭头从资源指向进程，表示进程已经获得资源。 资源分配图 如果资源分配图中没有构成环，则不存在死锁； 如果构成环，且死锁发生必要条件的其他三个条件（主要是占有并等待条件，因为互斥条件和不剥夺条件肯定是具备的。）存在，则可能发生死锁。 本章目录 5.1 死锁的产生 5.2 死锁预防 5.3 死锁避免 5.4 死锁的检测和解除 5.5 线程死锁 预防死锁的方法 在系统设计时确定资源分配算法，保证不发生死锁。具体的做法是破坏产生死锁的四个必要条件之一。 资源一次性分配--破坏请求和保持条件。 可剥夺资源--即当某进程新的资源未满足时，释放已占有的资源，破坏不可剥夺条件。 资源有序分配法--系统