A問題：

　　1965年，Dijkstra提出并解決了一個他稱之為哲學(xué)家進(jìn)餐的同步問題。

　　　“五個哲學(xué)家圍坐在一張圓桌周圍，每個哲學(xué)家的前面都有一份通心面，由于面條很滑，必須使用2把叉子才能夾住。相鄰2份通心面之間有1把叉子。哲學(xué)家的生活包括：吃飯、思考。當(dāng)哲學(xué)家感覺餓了，他就試圖分2次取他左右的叉子，每次拿1把，但不分次序。如果成功獲得2把叉子，則開始吃飯，吃完放下叉子繼續(xù)思考。”

　　問題要求不能死鎖。

A解決：

　　

#define N 5 #define LEFT (i+N-1)%N #define RIGHT (i+1)%N #define THINKING 0 #define HUNGRY 0 #define EATING 2 typedef int semaphore; int state[N]; semaphore mutex=1; semaphore s[N]; void philosopher(int i) {while(TRUE){think();take_forks(i);eat();put_forks(i); } }void take_forks(int i) {down(&mutex);state[i] = HUNGRY;test(i);up(&mutex);down(&s[i]); }void put_forks(int i) {down(&mutex);state[i] = THINKING;test(LEFT);test(RIGHT);up(&mutex); }void test(i) {if(state[i] == HUNGRY && state[LEFT] != EATING && state[RIGHT != EATING]){up(&s[i]);}}

?

訪問哲學(xué)家狀態(tài)數(shù)組時進(jìn)行互斥

當(dāng)前哲學(xué)家餓了，且左右哲學(xué)家都沒有進(jìn)餐時，設(shè)置信號量。

之后根據(jù)信號量(是否設(shè)置過)進(jìn)行確定是否阻塞。

?

轉(zhuǎn)載于:https://www.cnblogs.com/pokerface/p/8901772.html

總結(jié)

以上是生活随笔為你收集整理的IPC之哲学家进餐问题的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯，歡迎將生活随笔推薦給好友。