死锁综合例题.pptVIP

（1）利用信号量机制解决哲学家进餐问题 用一个信号量chopstick表示一只筷子，这五个信号量构成信号量数组，其描述为：chopstick[i]。所有信号量被初始化1，第i个哲学家的活动可描述为。 typedef int semaphore； //定义信号量 semaphore chopstick[5] 1，1，1，1，1 ； //初始化信号量 void philosopher int i //第i个哲学家的程序 while 1 Thinking（）； P chopstick[i] ； P chopstick[ i+1 % 5] ； Eating（）； V chopstick[i] ； V chopstick[ i+1 % 5] ； 虽然上述解法可保证不会有两个相邻的哲学家同时抓住一只筷子，但可能引起死锁。假如五个哲学家同时饥饿而拿起各自左边的筷子，使五个信号量chopstick均为0；当他们再试图去拿右边筷子时，他们都将无限期地等待。对于上述死锁问题，可采取几种解决方法解决。 （2）至多只允许四个哲学家同时进餐，以保证至少有一个哲学家可以获得二只筷子，可以进餐，最终总会释放出他所用过的两只筷子，从而可使更多的哲学家进餐。例程如下： typedef int semaphore； //定义信号量 semaphore chopstick[5] 1，1，1，1，1 ；//初始化信号量 semaphore eating 4； //仅允许四个哲学家可以进餐 void philosopher int i //第i个哲学家的程序 while 1 thinking ； //工作之一 P eating ； //请求进餐，若是第五个则先挨饿 P chopstick[i] ； //请求左手边的筷子 P chopstick[ i+1 %5] ； //请求右手边的筷子 Eating ； //进餐 V chopstick[ i+1 %5] ； //释放右手边的筷子 V chopstick[i] ； //释放左手边的筷子 V eating ； //释放信号量给其他挨饿的哲学家 * 有五个哲学家，他们的一生只是进行思考和进餐。哲学家们公用一张圆桌（表示没有主席，也没有特权），周围放有五张椅子，每人坐一张。在圆桌上有五个碗和五只筷子，当一个哲学家思考时，他不与其他人交谈，饥饿时便试图取用其左、右最靠近他的筷子，但他可能一只都拿不到。只有在他拿到两只筷子时，方能进餐，进餐完后，放下左、右筷子又继续思考。 请设计一个程序使得哲学家们能够协调地使用筷子进餐，要防止其死锁。 1、哲学家餐桌问题。 （3）另一种解决方法，同时只允许一位哲学家拿筷子。 typedef int semaphore； //定义信号量 semaphore chopstick[5] 1，1，1，1，1 ； //初始化信号量 semaphore mutex 1； //设置取筷子的信号量 void philosopher int i //第i个哲学家的程序 while 1 thinking ； P mutex ； //在取筷子前获得互斥量 P chopstick[i] ； P chopstick[ i+1 ]%5 ； V mutex ； //释放互斥量 Eating ； V chopstick[ i+1 ]%5 ； V chopstick[i] ； （4）规定奇数号哲学家先拿起其左边筷子，然后再去拿右边筷子；而偶数号哲学家则相反。按此规定，1，2号哲学家竞争1号筷子，3，4号哲学家竞争3号筷子，即五个哲学家都先竞争奇数号筷子，获得后，再去竞争偶数号筷子，最后总会有某一个哲学家能获得两支筷子而进餐。 程序代码如下： typedef int semaphore； //定义信号量 semaphore chopstick[5] 1，1，1，1，1 ； //初始化信号量 void philosopher int i //第i个哲学家的程序 while 1 thinking ； if i%2 0 //偶数哲学家，先右后左 P chopstick[i+1]%5 ； P chopstick[i] ； Eating ； V chopstick[i+1]%5 ； V chopstick[i] ； Else //奇数哲学家，先左后右 P chopstick[i] ； P chopstick[i+1]%5 ; Eating ； V chopstick[i] ； V chop