操作系统原理-第3章-处理机调度与死锁.pptVIP

2021/3/27 淮海工学院计算机科学系 * 习题3-3 P102:17、19、20 2021/3/27 淮海工学院计算机科学系 * 3.7 死锁的检测与解除 3.7.1 死锁的检测 死锁检测和解除主要研究系统在没有采取任何安全措施的情况下为进程分配资源,一旦发生死锁,系统如何来检测死锁并解除死锁。为此系统必须:1）保留资源申请和分配信息;2）死锁检测算法。 实际上,死锁检测和解除技术是指定期启动一个软件来检测系统的状态，若发现有死锁存在，则采取措施解除。 2021/3/27 淮海工学院计算机科学系 * 3.7 死锁的检测与解除 资源分配图(Resource Allocation Graph) 资源分配图由二元组（N,E）构成,N是由进程和资源（按类划分）构成的结点集合,每一个进程或每一类资源作为图中一个结点;E是由连接结点的有向边组成的集合。其中，一个由进程指向资源的弧（箭头）表示该进程将申请一个单位的该类资源;反之，表示该进程已分配到一个单位的该类资源。 右图为一含有两个进程P1、P2和两类资源r1、r2所构成的资源分配图 。 一般可用资源分配图来描述系统的死锁状态。 2021/3/27 淮海工学院计算机科学系 * 2. 死锁定理 利用资源分配图来检测系统是否处于死锁状态,步骤如下 : 在资源分配图中,找出一个既不阻塞又不孤立的进程结点Pi,消去Pi所有的请求边