4.4死锁讲述.ppt

第十讲 死锁 目的与要求：了解死锁的定义，掌握死锁预防，了解死锁避免，死锁检测，死锁恢复的方法。 重点与难点：死锁预防法则的使用。 作业：21，22 4.4 死锁 4.4.1 死锁示例 日常生活中的例子 进程死锁的例子 竞争外部设备 竞争辅存空间 编程错的例子 4.4.2 死锁定义及性质 死锁定义 在一个进程集合中，若每个进程都在等待某些事件（指：释放资源）的发生，而这些事件又必须由这个进程集合中的某些进程来产生，就称该进程集合处于死锁状态。 死锁定义及性质 出现死锁的系统必须同时满足下列四个必要条件 互斥：必须存在需要互斥使用的资源 占有等待：一定有占有资源而又等待其它资源的进程 非剥夺：系统中进程占有的资源未主动释放时不可以剥夺 循环等待：进程集合{P0, P1, ……, Pn}，Pi等待Pi+1，Pn等待P0 死锁定义及性质 资源分配图定义 资源分配图由如下部件组成： 如果各类资源数为1，则系统出现死锁的充要条件是资源分配图含圈 死锁研究的主要内容 死锁防止 死锁避免 死锁检测 死锁恢复 4.4.3 死锁防止 逻辑公式： D→C1∧C2∧C3∧C4 ? C1∨? C2∨? C3∨? C4→ ? D 破坏互斥占用条件 让资源都能共享使用（但有些资源必须互斥使用） 破坏占有等待条