计算机操作系统
考虑由n个进程共享的具有m个同类资源的系统，证明：如果对i=1，2，…，n，有Need＞0而且所有最大需求量之和小于m+n，那么该系统是死锁无关的。
题目
考虑由n个进程共享的具有m个同类资源的系统，证明：如果对i=1，2，…，n，有Need＞0而且所有最大需求量之和小于m+n，那么该系统是死锁无关的。
相似问题和答案
第1题：
A、m=4，n=3，w=2
B、m=2，n=2，w=1
C、m=5，n=2，w=3
D、m=4，n=3，w=3
第2题：
假设系统中有m个同类的互斥资源，当n个进程共享这m个互斥资源时，每个进程的最大需求数是w。在下列情况中，系统可能会产生死锁的是______。
A．m=5，n=3，w=2
B．m=6，n=2，w=3
C．m=5，n=3，w=3
D．m=6，n=3，w=3
A．
B．
C．
D．
解析：对于选项A：m=5，n=3，w=2，即系统中有5个资源，3个进程使用，每个进程最多要求2个资源。由于n×(w-1)+1=3×(2-1)+1=4m=5，因此系统不会产生死锁。
对于选项B：m=6，n=2，w=3，即系统中有6个资源，2个进程使用，每个进程最多要求3个资源。因为n×(w-1)+1=2×(3-1)+1=5m=6，所以系统不会发生死锁。
对于选项C：m=5，n=2，w=3，即系统中有5个资源，2个进程使用，每个进程最多要求3个资源。由于n×(w-1)+1=2×(3-1)+1=5=m，因此系统不会发生死锁。
对于选项D：m=6，n=3，w=3，即系统中有6个资源，3个进程使用，每个进程最多要求2个资源。由于n×(w-1)+1=3×(3-1)+1=7＞m=6，因此系统可能会产生死锁。
第3题：
假设系统中有m个同类的互斥资源，当m个进程共享这，n个互斥资源时，每个进程的最大需求数是wo在下列情况中，系统可能会产生死锁的是______。
A．m=4，n=3，w=2
B．m=4，n=2，w=3
C．m=5，n=2，w=3
D．m=5，n=3，w=2
解析：这是一道很简单的估算题。首先给每个进程1个资源，然后再给每个进程1个资源(如果有的话)，依次类推。到某个阶段，如果没有1个进程的资源得到满足，且系统已经没有可用资源，则会发生死锁。显然，选项B中，首先给2个进程分别分配1个资源(这时系统还剩下2个资源)，接着再分别为每个进程分配1个资源(这时系统还剩下。个资源)，但这2个进程的资源都没有完全满足，不能运行，即发生死锁。
第4题：
B.m=2，n=2，w=1
C.m=4，n=3，w=2
D.m=4，n=2，w=3
第5题：
A.1
B.2
C.3
D.4
第6题：
A 1
B 2
C 3
D 4
第7题：
已知有n个进程共享一个互斥段，如果最多允许m个进程(m＜n)同时进入互斥段，则信号量的变化范围是(26)。
A．-m～1
B．-m～0
C．-(n-m)～m
D．-(m-1)～n
解析：本题考查的是操作系统中同步与互斥的基本知识及应用。本题中，已知有n个进程共享一个互斥段，如果最多允许m个进程(mn)同时进入互斥段，这意味着系统有m个单位的资源，信号量的初值应设为m。当第一个申请该资源的进程对系信号量S执行P操作，信号量S减1等于m l，进程可继续执行：当第二个申请该资源的进程对系信号量S执行P操作，信号量S减1等于m-2，进程可继续执行……当第n个申请该资源的进程对系信号量S执行P操作，信号量S减1等于-(n-m)。所以正确答案为C。
第8题：
系统中有4个甲．位的存储器资源，被n个进程共享，如果每个进程都要求i个单位的存储器资源，那么当(49)时系统不会发生死锁。
A．n=2，i=4
B．n=4，i=3
C．n=3，i-2
D．n-3，i-3
解析：本题考查的是操作系统中死锁的基本知识及应用。在多道程序系统中，死锁是指多个进程因竞争资源而造成的一种僵局，若无外力作用，这些进程将永远不能再向前推进。本题中，系统有4个单位的存储器资源，对于第一个选项，若2个进程同时申请并各自都占有2个资源，都无法继续获得资源进而执行结束，则发生死锁；对于第二个选项，若4个进程同时申请并各自都占有1个资源，都无法继续获得资源进而执行结束，则发生死锁；对于第四个选项，若3个进程同时申请并有2个进程占有1个资源，另一个进程占有2个资源，都无法继续获得资源进而执行结束，则发生死锁：而对于第三个选项，最坏情况下，若3个进程同时申请并各自都占有1个资源，系统还剩余1个资源，可以供3个进程中的任意一个进程获得资源进而执行结束，之后释放所占资源，以供另外2个进程使用，最后可以全部执行结束，系统不会发生死锁。所以正确答案为C。
第9题：
假设系统由相同类型的7个资源被3个进程共享，若要使系统不会死锁，每个进程最多可以申请的资源个数是
A.1
B.2
C.3
D.4
第10题：
一个系统中存在某类资源m个，被n个进程共享。资源的分配和释放必须一个一个进行，请证明在以下两个条件下不会发生死锁： 每个进程需要资源的最大数在1~m之间； 所有进程需要的资源总数小于m+n；
略