A問題：

　　1965年，Dijkstra提出并解決了一個他稱之為哲學家進餐的同步問題。

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

　　問題要求不能死鎖。

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]);}}

?

訪問哲學家狀態數組時進行互斥

當前哲學家餓了，且左右哲學家都沒有進餐時，設置信號量。

之后根據信號量(是否設置過)進行確定是否阻塞。

?

轉載于:https://www.cnblogs.com/pokerface/p/8901772.html

總結

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

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。