操作系统 死锁 CCH08.ppt

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. （一组等待的进程，其中每一个进程都持有资源，并且等待着由这个组中其他进程所持有的资源） Example （例如） System has 2 tape drives.（系统有两个磁带设备） P1 and P2 each hold one tape drive and each needs another one.（进程P1和P2各占有一个磁带设备并且实际需要两个磁带） Example 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.（有可能产生饥饿） System Model（系统模型） Resource types （资源类型）R1, R2, . . ., Rm CPU cycles, memory space, I/O devices （CPU周期，内存空间，I/O设备） Each resource type Ri has Wi instances. （每一种资源Ri有Wi 种实例） Each process utilizes a resource as follows （每一个进程如下的利用资源） request （申请） use （使用） Release（释放） 进程死锁 资源的分类 根据资源性质：可剥夺（抢占）和不可剥夺（抢占）资源。 可抢占资源—指资源占有进程虽然需要使用该资源，但另一个进程却强行把资源从占有者进程处抢来。 不可抢占资源—指只有占用者进程不再需要使用该资源而主动释放资源外，其它进程不得在占有者进程使用资源过程中强行抢占。 进程死锁 死锁的定义 死锁Deadlock：是计算机系统中多道程序并发执行时，两个或两个以上的进程由于竞争资源而造成的一种互相等待的现象（僵局），如无外力作用，这些进程将永远不能再向前推进。 陷入死锁状态的进程称为死锁进程，所占用的资源或者需要它们进行某种合作的其它进程就会相继陷入死锁，最终可能导致整个系统处于瘫痪状态。 死锁的原因和条件 竞争资源引起死锁 当系统中供多个进程所共享的资源，不足以同时满足它们的需要时，引起它们对资源的竞争而产生死锁； 进程推进顺序不当引起死锁 在多道程序系统中，并发执行的进程推进序列不可予测，有些推进顺序，进程可以顺利完成，这些推进顺序是合法的；而有的推进顺序会引起进程无限期地等待永远不会发生的条件而不能向前推进，造成了死锁。 Deadlock Characterization（死锁的特性） Mutual exclusion: only one process at a time can use a resource.（互斥：一次只有一个进程可以使用一个资源） Hold and wait: a proce