[习题—死锁.pptVIP

不安全状态是否必然导致系统进入死锁状态？ 不安全状态不一定导致系统进入死锁状态。因为，安全性检查中的向量Max是进程执行前提供的，而在实际运行过程中，一进程需要的总资源量可能小于Max，如某进程对应的程序中有一段进行错误处理的代码，其中需要n个Ａ种资源，若该进程在运行过程中没有碰到应错误而不需要调用错误处理代码，则它实际不会请求这n个Ａ种资源。 九、死锁例子——哲学家进餐 有五个哲学家共用一张圆桌，分别坐在周围的五张椅子上，在圆桌上有五个碗和五只筷子，他们的生活方式是交替在进行思考和进餐。平时，一个哲学家进行思考，饥饿时便试图取用其左右最近他的筷子，只有在他拿到两只筷子时才能进餐。进餐毕，放下筷子继续思考。 1.利用信号量实现同步 经分析可知，放在桌子上的筷子是临界资源，在一段时间内只允许一位哲学家使用。为了实现对筷子的互斥使用，可以用一个信号量表示一只筷子，由这五个信号量构成信号量数组。其描述如下： 　　Var chopstick: array[0，…，4] of semaphore； Var chopstick :array[0,…,4] of semaphore :=(1,1,1,1 ,1); repeat think; wait (chopstick[i]); wait (chopstick(i+1) mod 5]); ： eat; ： signal (chopstick[i]); signal (chopstick(i+1) mod 5]); ： think; until false; Swait (chopstick(i+1) mod 5],chopstick[i]); 死锁产生的必要条件之一循环等待不可能成立。 如果存在所有左边的哲学家等待右边的哲学家放下筷子的循环等待链，则右撇子不存在。同样也不可能存在相反的循环等待链。系统中也不可能存在５个以下哲学家的循环等待链，因为不相邻的哲学家之间不竞争资源。因此，不保能产生死锁。 在哲学家就餐问题中，如果将先拿起左边的筷子的哲学家称为左撇子，而将先拿起右边筷子的哲学家称为右撇子，请说明在同时存在左撇子和右撇子的情况下，任何就座安排都不会产生死锁。 2.利用管程解决 ForksControl : monitor type T = array [0, ……,4 ] of integer; B = array [0, ……,4 ] of boolean; var forks, Right , left : T; ready : B; procedure entry Pickup ( var me : integer ); begin if fork ( me ) 2 then ready ( me ).wait; forks ( right ( me )) := forks ( right ( me )) - 1; forks ( left ( me )) := forks ( left ( me )) - 1; end procedure entry Putdown ( var me : integer ); begin forks ( right ( me )) := forks ( right ( me )) + 1; forks ( left ( me )) := forks ( left ( me )) + 1; if fork ( right (me )) = 2 then ready (right( me) ).signal; if fork ( left (me )) = 2 then ready ( left(me) ).signal; end begin for i = 0 to 4 do begin fork (i) :=2; right(i)=[i+1] mod 5; left(i)=[i+1] mod 5; ready (i):= true; end parbegin Philosopher 0 : Process (var hung : boolean ); begin  re