利用信號(hào)量機(jī)制解決哲學(xué)家進(jìn)餐問(wèn)題

PAGE2成績(jī)：成績(jī)：課程設(shè)計(jì)報(bào)告課程名稱(chēng)：課程設(shè)計(jì)（UNIX程序設(shè)計(jì)）設(shè)計(jì)題目：利用信號(hào)量機(jī)制解決哲學(xué)家進(jìn)餐問(wèn)題姓名：專(zhuān)業(yè)：網(wǎng)絡(luò)工程班級(jí)：學(xué)號(hào)：計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院網(wǎng)絡(luò)系2013年12月28日哈爾濱理工大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院網(wǎng)絡(luò)系實(shí)驗(yàn)室實(shí)驗(yàn)報(bào)告哈爾濱理工大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院網(wǎng)絡(luò)系課程設(shè)計(jì)報(bào)告設(shè)計(jì)項(xiàng)目：利用信號(hào)量機(jī)制解決哲學(xué)家進(jìn)餐問(wèn)題選題背景1965年，數(shù)學(xué)家迪杰斯特拉提出，并成為經(jīng)典的IPC問(wèn)題—哲學(xué)家進(jìn)餐問(wèn)題。該問(wèn)題的簡(jiǎn)單描述如下：五個(gè)哲學(xué)家圍坐在一張圓桌周?chē)?，每個(gè)哲學(xué)家面前都一盤(pán)通心粉。由于通心粉很滑，需要兩把叉子才能夾住。哲學(xué)家的生活中有兩種交替活動(dòng)時(shí)段，吃飯（EATING）和思考（THINKING）。當(dāng)一個(gè)哲學(xué)家覺(jué)得餓了時(shí)，他就試圖分兩次去取左手邊和右手邊的叉子，每次拿一把，但不分次序。如果成功拿到兩把叉子，就進(jìn)入吃飯狀態(tài)，吃完后放下叉子繼續(xù)思考。設(shè)計(jì)思路1.每個(gè)哲學(xué)家的行為活動(dòng)狀態(tài)為兩種：進(jìn)餐（EATING）和思考（THINKING）。因此創(chuàng)建一個(gè)有5個(gè)元素的狀態(tài)數(shù)組，每個(gè)數(shù)組元素的狀態(tài)值為EATING或者THINKING。2.五個(gè)哲學(xué)家圍坐成一圈，每?jī)蓚€(gè)人中間有一個(gè)叉子，即每個(gè)哲學(xué)家的邊和右邊有一個(gè)叉子，但這個(gè)叉子需要和旁邊的鄰居競(jìng)爭(zhēng)使用。對(duì)于每一個(gè)哲學(xué)家來(lái)說(shuō)，其只有成功獲得兩個(gè)叉子，才能進(jìn)入進(jìn)餐狀態(tài)。在進(jìn)完餐后，需要成功放下手中的兩個(gè)叉子，才能進(jìn)入思考的狀態(tài)。換個(gè)角度的描述就是，每個(gè)哲學(xué)家查詢(xún)左右邊的鄰居當(dāng)前狀態(tài)，如果左右的鄰居當(dāng)前狀態(tài)都為T(mén)HINKING，則該哲學(xué)家可以進(jìn)餐；如果左右鄰居當(dāng)前狀態(tài)不都是THINKING，則哲學(xué)家不能進(jìn)餐。因此可以為每一個(gè)哲學(xué)家設(shè)置一個(gè)信號(hào)量，來(lái)描述哲學(xué)家的活動(dòng)狀態(tài)。3.因?yàn)槲逯徊孀幼龆嘀荒茉试S兩個(gè)哲學(xué)家進(jìn)餐，所以可以將桌子作為一個(gè)臨界資源。通過(guò)設(shè)置一個(gè)互斥信號(hào)量來(lái)限制對(duì)臨界資源的訪(fǎng)問(wèn)數(shù)。4.創(chuàng)建兩個(gè)動(dòng)作函數(shù)，對(duì)應(yīng)于每個(gè)哲學(xué)家的獲取兩把叉子和放下兩把叉子的動(dòng)作。而每個(gè)動(dòng)作都需要對(duì)互斥信號(hào)量和哲學(xué)家信號(hào)量進(jìn)行訪(fǎng)問(wèn)操作，因此創(chuàng)建原子操作P和原子操作V，來(lái)執(zhí)行對(duì)信號(hào)量的消耗和釋放操作。5.利用父進(jìn)程創(chuàng)建五個(gè)子進(jìn)程來(lái)模擬五個(gè)哲學(xué)家，在每個(gè)子進(jìn)程中執(zhí)行PHILOSOPHER（phi_num）函數(shù)來(lái)模擬每個(gè)哲學(xué)家進(jìn)入哲學(xué)家進(jìn)餐問(wèn)題活動(dòng)。主要問(wèn)題的解決方法和關(guān)鍵技術(shù)1.共享狀態(tài)數(shù)組問(wèn)題。問(wèn)題描述：因?yàn)闋顟B(tài)數(shù)組是共享的，而每個(gè)模擬哲學(xué)家的子進(jìn)程是相互獨(dú)立的，有自己的地址空間，在進(jìn)程之間共享使用狀態(tài)數(shù)組出現(xiàn)問(wèn)題。解決方法：父進(jìn)程通過(guò)利用UNIX系統(tǒng)進(jìn)程通信機(jī)制中共享內(nèi)存機(jī)制的shmget()和shmat系統(tǒng)調(diào)用創(chuàng)建一個(gè)共享內(nèi)存區(qū)，并將狀態(tài)數(shù)組地址鏈接到進(jìn)程地址空間，成功的解決了該問(wèn)題。#include<stdlib.h>#defineN5#defineLEFT(i)(i+N-1)%N#defineRIGHT(i)(i+1)%N#defineTHINKING0#defineEATING1//#include"behavior_philosophy.h"voidphilosopher(int,char*,int,int,void(*)(int,int),void(*)(int,int));voidtake_forks(int,char*,int,int,void(*)(int,int),void(*)(int,int));voidput_forks(int,char*,int,int,void(*)(int,int),void(*)(int,int));voidtest(int,char*,int,void(*)(int,int));voidthink(int);voideat(int);voidP(int,int);voidV(int,int);/*哲學(xué)家動(dòng)作*/voidphilosopher(inti,char*state,intsem_phiid,intsem_mutexid,void(*P)(int,int),void(*V)(int,int)){sleep(1);think(i);while(1){take_forks(i,state,sem_phiid,sem_mutexid,P,V);eat(i);put_forks(i,state,sem_phiid,sem_mutexid,P,V);think(i);}}voidtake_forks(inti,char*state,intsem_phiid,intsem_mutexid,void(*P)(int,int),void(*V)(int,int)){(*P)(sem_mutexid,0);state[i]=THINKING;test(i,state,sem_phiid,V);(*V)(sem_mutexid,0);(*P)(sem_phiid,i);}voidput_forks(inti,char*state,intsem_phiid,intsem_mutexid,void(*P)(int,int),void(*V)(int,int)){(*P)(sem_mutexid,0);state[i]=THINKING;test(LEFT(i),state,sem_phiid,V);test(RIGHT(i),state,sem_phiid,V);(*V)(sem_mutexid,0);}voidtest(inti,char*state,intsem_phiid,void(*V)(int,int)){if(state[i]==THINKING&&state[LEFT(i)]!=EATING&&state[RIGHT(i)]!=EATING){state[i]=EATING;(*V)(sem_phiid,i);}}voidthink(inti){printf("philosopher:%d>>>>>isTHINKING.\n",i);}voideat(inti){printf("I'mphilosopher:%d>>>>>isEATING.andwilleating%dseconds!\n",i,sleep(2));}/*P,V原子操作*/voidP(intsemid,intindex){structsembufsema_buffer;sema_buffer.sem_num=index;sema_buffer.sem_op=-1;sema_buffer.sem_flg=SEM_UNDO;semop(semid,&sema_buffer,1);}voidV(intsemid,intindex){structsembufsema_buf;sema_buf.sem_num=index;sema_buf.sem_op=1;sema_buf.sem_flg=SEM_UNDO;semop(semid,&sema_buf,1);}/**/intmain(){/*創(chuàng)建信號(hào)量操作*/intsem_phiid;sem_phiid=semget(1008,5,0666|IPC_CREAT);assert(sem_phiid>=0);unsignedshortarray[5]={0,0,0,0,0};unionsemun{intval;unsignedshort*array;}semopts;semopts.array=array;intret1=semctl(sem_phiid,0,SETALL,semopts);assert(ret1==0);intsem_mutexid;sem_mutexid=semget(0x225,1,0666|IPC_CREAT);assert(sem_mutexid>=0);semopts.val=1;intret2=semctl(sem_mutexid,0,SETVAL,semopts);assert(ret2==0);/*初始化共享內(nèi)存*/intshmid;char*state;if((shmid=shmget(IPC_PRIVATE,N,0600|IPC_CREAT))==-1){semctl(sem_phiid,0,IPC_RMID,0); semctl(sem_mutexid,0,IPC_RMID,0); perror("shmgetfaild!"); exit(1);}if((state=shmat(shmid,0,0))==(char*)-1){semctl(sem_phiid,0,IPC_RMID,0); semctl(sem_mutexid,0,IPC_RMID,0); perror("shmatfaild!"); exit(1);}/**/inti,phinum;pid_tpid;for(i=0;i<5;i++){while((pid=fork())==-1); if(!pid){ phinum=i; signal(SIGINT,SIG_DFL); break; }}if(pid>0){while(wait((int*)0)==-1); semctl(sem_phiid,0,IPC_RMID,0); semctl(sem_mutexid,0,IPC_RMID,0); shmdt(state); printf("Hi,GAMEOVER!");}elsephilosopher(phinum,state,sem_phiid,sem_mutexid,P,V);}程序運(yùn)行結(jié)果