哲学家进餐问题操作系统.ppt

哲学家进餐问题操作系统;问题描述;(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) ; } } ; 综上所述,解决这一类问题的关键是找出对应的控制关系,设定相应的控制信号量。另外,产生死锁是在用信号量进行流程控制过程中常会遇到的一个问题,因此如何避免死锁就是解决该类问题的关键。;Thank you!