哲学家用餐问题.pptVIP

哲学家进餐问题;问题描述;(1) 只有拿到两只叉子时,哲学家才能吃饭。(2) 如果叉子已被别人拿走,则必须等别人吃完之后才能拿到叉子。;怎样才能保证哲学家不被饿死呢？;摘　要:解决“哲学家进餐”问题首先要找出对应的控制关系,设定相应的控制信号量。避免死锁也是解决该类问题的关键。 关键词:进程同步;信号量;临界资源;临界区; 死锁;算法 A;算法分析：;算法改善：;改进后的算法A;算法 B 思想;semaphore fork[5]={1，1，1，1，1}; void philosopher(int i) { while(true) { think(); if(i%2 == 0) //偶数哲学家，先右后左。 { wait (fork[ i + 1 ] mod 5) ; wait (fork[ i]) ; eat(); signal (fork[ i + 1 ] mod 5) ; signal (fork[ i]) ; } Else //奇数哲学家，先左后右。 { wait (fork[ i]) ; wait (fork[ i + 1 ] mod 5) ; eat(); signal (fork[ i]) ; signal (fork[ i + 1 ] mod 5) ; } } ;算法 C思想：;方法1;semaphore fork[5]={1，1，1，1，1}; void philosopher(int I) { while(true) { think(); Swait(fork[(I+1)]%5,fork[I]); eat(); Ssignal(fork[(I+1)]%5,fork[I]); } } ;方法2;semaphore mutex = 1 ; semaphore fork[5]={1，1，1，1，1}; void philosopher(int I) { while(true) { think(); wait(mutex); wait(fork[(I+1)]%5); wait(fork[I]); signal(mutex); eat(); signal(fork[(I+1)]%5); signal(fork[I]); } } ;算法 D思想： ;Test()函数的作用声明：;以下为代码：;void test(int i) { if ( state[i] == HUNGRY state[LEFT(i)] != EATING state[RIGHT(i)] != EATING ) { state[i] = EATING; V(s[i]); } } ;void put_forks(int i) { P(mutex); state[i]= THINKING; test(LEFT(i)); /*看左邻是否进餐*/ test(RIGHT(i)); /*看右邻是否进餐*/ V(mutex); } } ; 综上所述,解决这一类问题的关键是找出对应的控制关系,设定相应的控制信号量。另外,产生死锁是在用信号量进行流程控制过程中常会遇到的一个问题,因此如何避免死锁就是解决该类问题的关键。;Thank you!