哲學(xué)家就餐（避免死鎖）（多進(jìn)程版）

哲學(xué)家就餐利用信號量在多進(jìn)程之間實(shí)現(xiàn)
下面展示一些代碼片段

#include <stdio.h> #include <unistd.h> #include <stdlib.h> #include <sys/wait.h> #include <sys/types.h> #include <sys/mman.h> #include <semaphore.h>int main() {pid_t pid;int i;sem_t *s;int left,right;int ret;int flag = 10;/*進(jìn)程之間不能定義全局信號量，因?yàn)檫M(jìn)程間全局變量是讀時(shí)共享，寫時(shí)復(fù)制，所以我們可以利用mmap函數(shù)建立映射區(qū)來實(shí)現(xiàn)多進(jìn)程之間對信號量的操作。*/s = mmap(NULL,sizeof(sem_t)*5,PROT_READ|PROT_WRITE,MAP_SHARED|MAP_ANON,-1,0);for(i = 0;i<5;i++){//初始化信號量sem_init(&s[i],1,1);}for(i=0;i<5;i++){//循環(huán)創(chuàng)建子進(jìn)程pid = fork();if(pid == 0)break;else if(pid < 0){perror("fork:");exit(1);}}if(i<5){if(i == 4){left = 0; right = i;}else{left = i;right = i+1;}while(flag--){sem_wait(&s[left]);ret = sem_trywait(&s[right]);if(ret == 0){printf("%dth get sem,pid = %d\n",i,getpid());sleep(1);sem_post(&s[right]);printf("------%dth post right %d sem,pid = %d\n",i,right,getpid());sem_post(&s[left]);printf("------%dth post left %d sem,pid = %d\n",i,left,getpid());sleep(1);}else{sem_post(&s[left]);printf("---------------%dth post left %d sem,pid = %d\n",i,left,getpid());sleep(1);}}}else/* 父進(jìn)程 */{for(i = 0;i<5;i++){pid = waitpid(-1,NULL,0);//回收子進(jìn)程if(pid != -1){printf("wait child %d,pid = %d\n",i,pid);}}for(i = 0;i<5;i++){//銷毀信號量ret = sem_destroy(&s[i]); if(ret == 0)printf("destroy sem success %d\n",i);}}return 0; }

運(yùn)行結(jié)果截圖：

可以看到程序運(yùn)行時(shí)，進(jìn)程交替獲得信號量。
哲學(xué)家輪流拿到左右兩個(gè)筷子（兩個(gè)信號量）然后進(jìn)行就餐，用完就post釋放擁有的兩個(gè)筷子（兩個(gè)信號量），如果只獲得一個(gè)筷子（一個(gè)信號量），則放棄之前得到的一個(gè)筷子（信號量）。

【重點(diǎn)注意】：
直接將sem_t s[5]放在全局位置，試圖用于子進(jìn)程間共享是錯(cuò)誤的！應(yīng)將其定義放置與mmap共享映射區(qū)中。

進(jìn)程之間不能定義全局信號量，因?yàn)檫M(jìn)程間全局變量是讀時(shí)共享，寫時(shí)復(fù)制，所以我們可以利用mmap函數(shù)建立映射區(qū)來實(shí)現(xiàn)多進(jìn)程之間對信號量的操作。
使用方式：將s當(dāng)成數(shù)組首地址看待，與使用數(shù)組s[5]沒有差異。

總結(jié)

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

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