第7章节死锁的预防避免和检测.ppt

死锁问题 ? 系统中有进程处于相互的无限等待状态 （被阻塞） ? 资源死锁和通信死锁 ? 等待图：将系统中进程对资源的占用与需求共享情况用有向图表示 – 进程集合{P0, P1 ,……, Pn}为节点集，当且仅当进程Pi等待一个被进程Pj占用的资源时，边(Pi, Pj)存在于图中。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 资源(resources)分类 根据资源性质：可剥夺资源(抢占)和不可剥夺资源 可抢占资源：指资源占有进程虽然需要使用该资源，但另一个进程却强行把资源从占有者进程处抢来。 不可抢占资源：指只有占用者进程不再需要使用该资源而主动释放资源外，其它进程不得在占有者进程使用资源过程中强行抢占。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 可抢占资源如：CPU、主存、硬盘，该类资源可为多个进程共享（可抢占） 不可抢占资源如：打印机、读卡机，磁带驱动器，该类资源可为某个进程独享（不可抢占） Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 资源分类 根据使用方式：共享资源和独享资源 根据使用期限：永久资源和临时性资源 永久资源是可顺序重复使用的资源 临时性资源是由一个进程产生，被另外一个进程使用短暂时间之后便无用的资源。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 产生死锁的原因 竞争资源。当系统中供多个进程所共享的资源 ，不足以同时满足它们的需要时，引起它们对资源的竞争而产生死锁。 进程推进的顺序不当。进程在运行过程中，请求和释放资源的顺序不当，导致进程的死锁。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 竞争资源 竞争非剥夺性资源 竞争临时性资源 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. S1，S2，S3是临时资源 P1:Release(S1);Request(S3) P2:Release(S2);Request(S1) P3:Release(S3);Request(S2) 不可能发生死锁 P1:Request(S3) ; Release(S1) P2:Request(S1) ; Release(S2) P3:Request(S2) ; Release(S3) 可能发生死锁 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 死锁问题一实例：哲学家问题 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 哲学家 筷子 盘子 哲学家1号 哲学家5号 哲学家4号 哲学家2号 哲学家3号 1 5 3 2 4 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 哲学家1号 哲学家4号 哲学家2号 哲学家3号 1 5 3 2 4 哲学家5号 先拿左,拿到后再拿右,成功后进餐.吃完后先放左再放右.虽可保证不会有相邻的同时进餐,但可能死锁,如动画所示. 此时没有一个哲学家可以完