CCH08_Deadlock操作系统.pptVIP

Module 8: Deadlocks（死锁） System Model（系统模型） Deadlock Characterization（死锁特征） Methods for Handling Deadlocks（处理死锁的方法） Deadlock Prevention（预防死锁） Deadlock Avoidance（死锁避免） Deadlock Detection （死锁检测） Recovery from Deadlock （死锁恢复） Combined Approach to Deadlock Handling（综合处理方法） The Deadlock Problem（死锁问题） A set of blocked processes each holding a resource and waiting to acquire a resource held by another process in the set. （一组等待的进程，其中每一个进程都持有资源，并且等待着由这个组中其他进程所持有的资源） 死锁Deadlock：计算机系统中多道程序并发执行时，两个或两个以上的进程由于竞争资源而造成的一种互相等待的现象（僵局），如无外力作用，这些进程将永远不能再向前推进。 如果一个进程要使用OS管理的资源，需先向系统提出申请，如果有可用资源，系统才进行分配。 资源的分类,根据资源性质： 可抢占资源—指资源占有进程虽然需要使用该资源，但另一个进程却可强行把资源从占有者进程处抢来。 不可抢占资源—指只有占用者进程不再需要使用该资源而主动释放资源外，其它进程不得在占有者进程使用资源过程中强行抢占。 The Deadlock Problem Example 1 System has 2 tape drives.（系统有两个磁带设备） P1 and P2 each hold one tape drive and each needs another one.（进程P1和P2各占有一个磁带设备并且实际需要两个磁带） Example 2 semaphores A and B, initialized to 1（信号量A，B初始化为1） P0 P1 wait (A); wait(B) wait (B); wait(A) Bridge Crossing Example（过桥的例子） Traffic only in one direction.（只有一个方向） Each section of a bridge can be viewed as a resource. （桥的每一个部分都可以看成资源） If a deadlock occurs, it can be resolved if one car backs up (preempt resources and rollback). （如果死锁发生，它可以由一辆车返回而解决，抢占资源并回退） Several cars may have to be backed upif a deadlock occurs. （如果死锁发生，可能很多车都不得不返回） Starvation is possible.（有可能产生饥饿） 死锁的原因和条件 竞争资源引起死锁 当系统中供多个进程所使用的资源，不足以同时满足它们的需要时，引起它们对资源的竞争而产生死锁 进程推进顺序不当引起死锁 在多道程序系统中，并发执行的进程推进序列不可予测 有些推进顺序，进程可以顺利完成 有的推进顺序会引起进程无限期地等待永远不会发生的条件而不能向前推进，造成死锁 Deadlock Characterization（死锁的特性） Mutual exclusion: only one process at a time can use a resource.（互斥：一次只有一个进程可以使用一个资源） Hold and wait: a process holding at least one resource is waiting to acquire additional resources held by other processes. （占有并等待：一个至少持有一个资源的进程等待获得额外的由其他进程所持有的资源）(请求与保持) Deadlock Characterization（死锁的特性） No preemption: a resource can be released only voluntarily by the process holding it, after that process has completed its task. （不可抢占：一个资源只有