死锁的概念.pptVIP

死锁：指多个进程因竞争共享资源而造成的一种僵局，若无外力作用，这些进程都将永远不能再向前推进。 Example 1 系统有两个磁带设备 进程P1和P2各占有一个磁带设备并且实际需要两个磁带 Example 2 信号量A，B初始化为1 P0 P1 wait (A); wait(B) wait (B); wait(A) 只有一个方向 桥的每一个部分都可以看成资源 如果死锁发生，它可以由一辆车返回而解决 （抢占资源并回退） V被分为两个部分 P = {P1, P2, …, Pn}, P：含有系统中全部的进程 R = {R1, R2, …, Rm}, R：含有系统中全部的资源 请求边：Pi ? Rj 分配边：Rj ? Pi ProcessResource Type with 4 instances资源有四个实例 Pi requests instance of Rj Pi 请求一个Rj的实例 Pi is holding an instance of Rj Pi 持有一个Rj的实例 如果图没有环，那么不会有死锁 如果图有环 如果每一种资源类型只有一个实例，那么死锁发生 如果一种资源类型有多个实例，可能死锁 死锁定理：S为死锁状态的充分条件是：尚且仅当S状态的资源分配图是不可完全简化的。 资源分配图（有向图）的简化。--离散数学算法 1. 产生死锁的原因 竞争资源引起死锁 在多道程序系统，多个进程共享系统的资源。系统资源分为二类: 一类是不可抢占的资源，如打印机、磁带机等。当系统把这类资源分配给某进程后，再不能强行收回，只能在进程用完后自动释放。 另一类是可抢占的资源，如CPU、内存等。由于系统拥有的不可抢占的资源有限，多个进程共享竞争不可抢占的资源就可能引起死锁。 进程推进顺序不当引起死锁 在多道程序系统中，并发执行的进程推进序列不可予测，有些推进顺序，进程可以顺利完成，这些推进顺序是合法的；而有的推进顺序会引起进程无限期地等待永远不会发生的条件而不能向前推进，造成了死锁。 互斥（ Mutual exclusion ）条件：一个资源一次只能被一个进程所使用，即是排它性使用。 不可抢占（ No preemption ）条件：一个资源仅能被占有它的进程所释放，而不能被别的进程强占。 请求和保持（ Hold-and-wait ）条件：进程已经保持了至少一个资源，但又提出了新的资源要求，而该资源又已被其它进程占有，此时请求进程阻塞，但又对已经获得的其它资源保持不放。 环路等待（ Circular wait ）条件：当每类资源只有一个时，在发生死锁时，必然存在一个进程-资源的环形链。如一系统状态的资源分配图所示，P1正在等待一个P2 占用的资源R2，P2正在等待一个P1占用的资源R1。 * 死锁的概念 死锁概念 过桥的例子 左桥部分R1 右桥部分R2 资源分配图 一个顶点的集合V和边的集合E: Resource-Allocation Graph Pi Rj Pi Rj 一个资源分配图例子 有死锁的资源分配图 有环但没有死锁的资源分配图 基本事实 死锁的原因和条件 2.产生死锁的必要条件 End *