07处理机调度.ppt

Page * * 死锁的检测 资源分配图 表示法: 资源类:用方框表示（资源的不同类型） 资源实例:用方框中的圆点表示（存在于每个资源中） 进程 :用圆圈中加进程名表示 分配边：资源实例?进程的一条有向边 申请边：进程?资源类的一条有向边 P 1 P 2 r 1 r 2 获得 申请 Page * * 死锁的检测 死锁定理 如果资源分配图中没有环路，则系统中没有死锁，如果图中存在环路则系统中可能存在死锁。 如果每个资源类中只包含一个资源实例，则环路是死锁存在的充分必要条件。 Page * * 死锁的检测 死锁定理 有环有死锁 Page * * 死锁的检测 死锁定理 有环无死锁 Page * * 死锁的检测 死锁定理——资源分配图化简 找出一个既不阻塞又非独立的进程结点pi，在顺利的情况下pi可获得资源而继续运行，再释放所有资源。消去pi所有的请求边和分配边，将其变为孤立结点 再把相应的资源分配给一个等待该资源的进程，即将某进程的申请边变为分配边 在进行一系列化简后若能消去图中所有的边，使所有进程结点成为孤立结点，则称该图是可完全简化的；否则是不可完全简化的 已经证明：所有的化简顺序都得到相同的不可简化图。同样可以证明，S为死锁的充分条件是：当且仅当S状态的资源分配图是不可完全简化的。该充分条件称为死锁定理 Page * * 死锁的检测 死锁定理 资源分配