哲學家就餐問題

多線程編程中，常常會遇到線程間訪問共享資源的問題，如果處理不當則會發生死鎖，某一個線程可能永遠訪問不到共享資源。
為了避免死鎖的發生，提出哲學家就餐問題。

下面展示一些代碼片段

#include <stdio.h> #include <unistd.h> #include <pthread.h> #include <stdlib.h> #include <string.h> #include <fcntl.h> #include <sys/wait.h> #include <sys/mman.h>/* 多線程之間通過互斥鎖實現哲學家就餐問題（如何避免死鎖） 得到兩把鎖則進餐，只得到第一把鎖，得不到第二把鎖則釋放已經擁有的第一把鎖*/ pthread_mutex_t mutex[5];void *tfun(void *arg) {int left,right;int i = (int)arg;int ret;if(i == 4){left = 0,right = i;}else{left = i;right = i+1;}while(1){pthread_mutex_lock(&mutex[left]);//利用trylock非阻塞函數，加鎖失敗則立即返回，不則塞ret = pthread_mutex_trylock(&mutex[right]);if(ret == 0){printf("%dth thread get lock\n",i);sleep(1); //模擬哲學家進餐過程pthread_mutex_unlock(&mutex[right]);printf("%dth thread unlock right %d----------------\n",i,right);pthread_mutex_unlock(&mutex[left]);printf("%dth thread unlock left %d----------------\n",i,left);sleep(1);}else{pthread_mutex_unlock(&mutex[left]);printf("%dth thread unlock left %d-----------------------------------\n",i,left);sleep(1);}}pthread_exit(NULL); }int main() {pthread_t tid[5];//定義五個互斥鎖-對應5只筷子int i;for(i=0;i<5;i++){//互斥鎖初始化pthread_mutex_init(&mutex[i],NULL);}for(i=0;i<5;i++){//創建五個線程--對應5個哲學家。編號為0-4pthread_create(&tid[i],NULL,tfun,(void *)i);}for(i=0;i<5;i++){pthread_join(tid[i],NULL);}for(i=0;i<5;i++){pthread_mutex_destroy(&mutex[i]);}return 0; }

振蕩：如果每個人都攥著自己左手的鎖，嘗試去拿右手鎖，拿不到則將鎖釋放。過會兒五個人又同時再攥著左手鎖嘗試拿右手鎖，依然拿不到。如此往復形成另外一種極端死鎖的現象——振蕩。
程序中哲學家都先去拿左邊的筷子，再拿右邊的筷子，為了避免振蕩，第四個哲學家反其道而行，先拿右邊的筷子，再拿左邊的筷子。
兩個筷子都拿到則進餐，如果只拿到第一個筷子，沒有拿到第二個筷子，則釋放已有的筷子。

避免死鎖的方法：
1：若得不到所有所需的資源時，放棄已經獲得的資源，等待。
2：保證資源的獲取順序，要求每個線程獲取資源的順序一致，如：A獲取順序1、2、3；B順序也應該是1、2、3.若B為3、2、1則易出現死鎖的現象。

總結

以上是生活随笔為你收集整理的哲学家就餐问题（如何避免死锁）（多线程版）的全部內容，希望文章能夠幫你解決所遇到的問題。

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