湖南大学操作系统作业 (4).docVIP

ADDIN CNKISM.UserStyle操作系统第二次作业 第七章 7.2 Consider the deadlock situation that could occur in the dining-philosophers problem when the philosophers obtain the chopsticks one at a time. Discuss how the four necessary conditions for deadlock indeed hold in this setting. Discuss how deadlocks could be avoided by eliminating any one of the four conditions. 考虑哲学家进餐问题中可能出现死锁的情况，即当哲学家一次拿一只筷子时，讨论4个死锁必要条件的存在性，讨论如何通过避免四种情况之一来消除死锁 答 死锁的4个必要条件为：互斥、占有等待、非抢占、循环等待 考虑互斥性，A哲学家拿了筷子C1后该C1筷子在未被释放资源前无法被其他哲学家B获取，故互斥。这个问题可以通过哲学家的筷子可以互相使用来实现。 考虑占有等待性，A哲学家必须先占有左手筷子C1，并等待右手筷子C2，而C2可能为其他哲学家所占有。这个问题可以通过设置哲学家在申请更多筷子时，必须释放现已分配的所有筷子，或协议每个哲学家在进餐前申请并获得所有筷子，即预先静态分配。 考虑非抢占性，A哲学家占有筷子C1时不能被B哲学家抢占。这个问题可以通过协议某个哲学家占有筷子并申请另一个不能被立即分配的筷子时，那么其现已拥有的筷子均可被抢占，即自己剥夺自己。 考虑循环等待，出现循环等待的可能性为：每个哲学家同时只拥有左手的筷子而等待右手的筷子，而右手的筷子只能通过右手的哲学家释放其左手的筷子才能得到，故出现循环等待。这个问题可以通过对筷子进行编号，对筷子的申请顺序由低到高来实现。 7.6 Consider a system consisting of four resources of the same type that are shared by three processes, each of which needs at most two resources.Show that the system is deadlock-free. 考虑一个由4种相同资源、3个共享进程，每个需要2个该资源的系统，试证明这个系统不会出现死锁 答：这个问题比较简单，“抽屉原理”表明，4个资源分配给3个进程，则至少有一个进程分配到2个资源，那么该进程就得以运行，运行结束时，该进程会释放已分配的2个资源给系统里剩下的两个进程，这时4个资源分配给2个进程，不会出现死锁。 7.7 Consider a system consisting of m resources of the same type, being shared by n processes. Resources can be requested and released by processes only one at a time. Show that the system is deadlock free if the following two conditions hold: a. The maximum need of each process is between 1 and m resources b. The sum of all maximum needs is less than m + n 考虑一个系统由m个同种资源被n个进程共享，某一资源一次只能被请求或释放，证明这个系统如满足下面2个条件则不会死锁 A 每个进程最大需求资源为1-m之间 B 最大资源需求 之和m+n 答：每个进程占有资源Allocation[]并申请资源Need[]，如果发生了死锁，说明m个资源全部被分配，即 i=1 而由题设，i 而Max[i]=Allocation[i]+Need[i]，这说明 i=1nNeed[i]m+ 这说明n个进程，当前的总需求小于n，因而总有某个进程的需求Need[i]=0，即该进程不再需要请求资源，故该进程在完成后会释放资源，而进程在完成后会释放资源的数目为1~m之间，所以这个进程会把释放的资源分配给其他进程，如果再在某时刻出现i=1nAllocation[i]=m 的情况，一样可以通过这个过程 7.8 Consider the dining-philosophers problem where the chopsticks are placed at the