死锁综合例.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}