系统是否死锁 证明.doc

题目： 假定系统中有m个同类资源，并被个进程所共享，进程每次只申请或释放一个资源。如果：a 每个进程至少需要一个资源，且最多不超过m个资源；b 所有进程的需求总和少于m+。该系统会不会发生死。i 1，2，　．．．p 。 由题意：p个进程共享m个资源；每个进程的最大资源需求数小于m；所有进程的最大资源需求数之和小于m+p，则有： 1 ≤ ri m ① p＋m ② 设系统在k 2≤k≤p 个进程（不妨设为p1，p2， ．．．pk）之间发生死锁。 由死锁的定义，所有死锁进程的最大资源需求数为： ≥ m＋k ③ 又由①式，所有非死锁进程的最大资源需求数为： ≥ p－k ④ 由③和④式，有： ＝＋≥（m＋k）＋（p－k）＝p＋m 　即：≥ p＋m，与②式矛盾。证毕。 求证：若某个进程的最大资源需求数ri＝0，则系统会死锁。 证明：设P 4；m 4； r1 r2 2；r3 3；r4 0。则有： ri m 4 ； 7 p＋m 证明2 反证法 ： 设每个进程每次可申请多个资源，且最大资源需求数为 ri i 1，2，　．．．p 。 由题意：p个进程共享m个资源；每个进程的最大资源需求数小于m；所有进程的最大资源需求数只和小于m+p，有： 1 ≤ ri m ① p＋m ② 设系统在k 2≤k≤p 个进程（不妨设为p1，p2， ．．．pk）之间发生死锁，且系统仍有Q Q≥ 0 个资源，但不能满足死锁进程的的申请要求。 由死锁的定义，所有死锁进程的最大资源需求数为： ≥ m－Q＋k Q＋1 ③ 又由①式，所有非死锁进程的最大资源需求数为： ≥ p－k ④ 由③和④式，有： ＝＋≥ m－Q＋k Q＋1 ＋（p－k） ＝ m－Q＋kQ＋K ＋（p－k） ＝p＋m＋Q k－1 　由假设：Q≥ 0且k≥2，所以： ≥ p＋m，与②式矛盾。　证毕。 证明3 顺证法 ： 设每个进程的最大资源需求数为ri i 1，2，　．．．p 。 由题意：p个进程共享m个资源；每个进程的最大资源需求数小于m；所有进程的最大资源需求数之和小于m+p，有： 1 ≤ ri m ① p＋m ② 由②式有： ＝（）－p p＋m －p＝m 即： m　　　　③ ③式表明：系统至少有一个资源，使得某个进程（不妨设为p1）能完成，然后释放其占用的资源。此后： 由①式有r1－1≥0；又由③式，有： ＝－ r1－1 ≤　 m 即： m　　　　④ ④式表明：系统至少有一个资源，使得某个进程（不妨设为p2）能完成（然后释放其占用的资源）。 依此推理，则可证明系统中的所有进程均能完成，故不会发生死锁。 P1 P4 P3 P2