湘潭大学操作系统第4章.ppt

习 题1 3个进程共享4个同类资源，他们一次只能保持和释放1个资源。每个进程最多需要2个资源。问：系统可能死锁吗？ 答案：系统不可能死锁。 根据：抽屉原理/鸽巢原理 ——把多于kn个东西任意分放进n个空抽屉（k是正整数），那么一定有一个抽屉中放进了至少k+1个东西。 进程→鸽巢；资源→鸽子 习 题2 N个进程共享M个资源，保持和释放这些资源每次仅一个。每个进程对资源的需求量最大不超过M,并且这N个进程对资源的最大需求量的总和小于M+N。这时，不会产生死锁。 证明：假设已经产生死锁，且死锁的进程是P1,P2,…,PI。则根据产生死锁的4个必要条件，有： 所有资源(M个)已经被这些进程占用； 这些进程至少需要多于I个单位的资源； 其他N-I个进程至少需要N-I个单位的资源。 因此，这N个进程至少需要M+I+N-I=M+N个资源。矛盾，此矛盾说明死锁不会产生。 * 4.3.1 资源 资源可以分成如下两类： 可剥夺性资源，是指某进程在获得这类资源后，该资源可以再被其他进程或系统剥夺。如：处理机和内存。优先权高的进程可以剥夺优先权低的进程的处理机。内存区可由存储器管理程序把一个进程从一个存储区移到另一个存储区，此即剥夺了该进程原来占有的存储区。甚至可将一个进程从内存调出到外存上。 不可剥夺性资源，当系统把这类资源分配给某进程后，再不能强行收回，只能在进