哲学家就餐问题报告
6个哲学家进餐问题预防死锁
红河学院课程设计报告操作系统课程名称：6个哲学家进餐设计题目：院系：工学院专业：计算机科学与技术班级：11计科班曹永前设计者：学号：201101030466指导教师：韦相2013 年 5 月26 日1. 问题描述：一个房间内有6个哲学家，他们的生活就是思考和进食。
哲学家思考后，过一定的时间就会饥饿，饥饿之后就想吃饭，吃饭后再思考。
房间里有一张圆桌，桌子周围放有五把椅子，分别属于五位哲学家每两位哲学家之间有一把叉子，哲学家进食时必须同时使用左右两把叉子。
2. 问题分析1、写出哲学家进餐的算法描述。
用六只筷子解决需要用两双筷子来进餐的六个哲学家,由于每个哲学家都需要其周围的两只筷子,所以筷子是公用信号量,这久需要设置一个互斥信号量,来使六个哲学家互斥的进餐.具体做法将六个信号量设置为0-5,用pv 源于来控制信号量,并将六个哲学家分别编号为0-5.经过仔细分析我们会发现,有这样一个问题存在,就是当每个哲学家都申请到他周围的一只筷子时,由于他们每人都只有一只筷子无法进餐,没有进餐他们就无法释放他们已经得得到的筷子,这样是进餐出于一种僵局,无法继续下去,这就是死锁问题.2、死锁问题的分析与具体的解决方法。
死锁问题就是当每个哲学家都拿到且只拿到一只筷子,这样每个哲学家都无法进餐,也无法释放所得到的筷子,所以解决死锁我们就要从这入手,就是怎样去预防使所有哲学家不要同时去申请他们同一方向的筷子.根据这解决死锁的方法有以下几种:a.每一次最多只能有五个哲学家申请进餐.这样其中的一个哲学家就能申请到两只筷子,就能够进餐,再将筷子释放给其他哲学家进餐.b.用AND信号量,就是哲学家需同时申请其左右两边的筷子,两边都有资源的时候,才能让这个哲学家得到资源,这样哲学家只要申请到筷子就能进餐, 再将筷子释放给其他哲学家进餐.c.用管程机制来实现。
d.我们前面已经将每个哲学家都分配了一个编号,我们可以编号为奇数的哲学家首先去申请其左边的筷子,再去申请其右手边的筷子;让编号为偶数的哲学家,先去申请其右边的筷子,再去申请其左边的筷子.我们可以看出编号为奇数的哲学家左边,与编号为偶数的哲学家的右边为同一只筷子,当其中一个哲学家拿到此筷子后,他另一边的筷子也是空闲的,这样就能避免死锁.主程序中我使用的是最后一种避免死锁的方法.3、用C程序实现哲学家进餐。
哲学家进餐问题的趣味例子
哲学家进餐问题的趣味例子
哲学家进餐问题是一个经典的计算机科学问题，用来展示并发编程中可能出现
的资源竞争和死锁问题。
这个问题的描述是：五位哲学家围坐在一张圆桌前，每位哲学家面前有一碗意面，但他们之间共享一把只能被一个人同时使用的餐叉。
每位哲学家需要先拿起右手边的餐叉，再拿起左手边的餐叉才能吃饭，吃完后放下餐叉继续思考问题。
如果哲学家之间同时试图拿起自己左右手边的餐叉，就会导致死锁问题，无法继续进餐。
这个问题的趣味例子在于通过这种抽象的场景，展现了并发编程中常见的竞争
和死锁问题。
实际上，哲学家进餐问题也可以被看作是对资源管理和同步机制的一种考验。
如果每位哲学家都按照固定的顺序拿餐叉，就不会发生死锁；而如果哲学家们都随机地尝试拿餐叉，就可能会出现资源竞争的问题，导致无法进餐。
这个问题的趣味之处在于，通过一个简单的场景，展示了复杂的并发编程中可
能出现的问题，让人们更加深入地理解并发编程中的挑战和技巧。
通过哲学家进餐问题的讨论，人们可以思考如何设计合理的同步机制和资源管理策略，避免竞争和死锁问题的发生，提高程序的并发性能和稳定性。
总的来说，哲学家进餐问题是一个充满趣味和启发的例子，能够帮助人们更好
地理解并发编程中的难点，同时也能够激发人们对于解决问题的创造力和思考能力。
通过这个例子的讨论，人们可以不仅仅学到技术知识，更能够培养出解决问题的能力和思维方式，为未来的学习和工作打下坚实的基础。
愿每位哲学家都能够顺利进餐，思考问题，探索未知的世界。
哲学家就餐问题实验报告
南昌大学实验报告学生姓名：倪焕学号：8000114018 专业班级：软件工程141班实验类型：■验证□综合□设计□创新实验日期：2016.5.24 实验成绩：一、实验项目名称哲学家就餐问题二、实验目的利用PV操作解决哲学家就餐问题三、软硬件环境软件：Visual Studio2010硬件：PC机一台四、实验内容结果//哲学家就餐问题的解法#include <windows.h>#include <process.h>#include <stdlib.h>#include <stdio.h>#include <iostream>using namespace std; //命名空间std内定义的所有标识符都有效const unsigned int PHILOSOPHER_NUM=5; //哲学家数目const char THINKING=1; /*标记当前哲学家的状态,1表示等待,2表示得到饥饿,3表示正在吃饭*/const char HUNGRY=2;const char DINING=3;HANDLE hPhilosopher[5]; //定义数组存放哲学家/*HANDLE(句柄)是windows操作系统中的一个概念。
指的是一个核心对象在某一个进程中的唯一索引*/HANDLE semaphore[PHILOSOPHER_NUM]; // semaphore 用来表示筷子是否可用HANDLE mutex; // Mutex用来控制安全输出DWORD WINAPI philosopherProc( LPVOID lpParameter) //返回DWORD（32位数据）的API 函数philosopherProc{int myid; //哲学家idchar idStr[128];char stateStr[128];char mystate;int ret;unsigned int leftFork; //左筷子unsigned int rightFork; //右筷子myid = int(lpParameter);itoa(myid, idStr, 10);WaitForSingleObject(mutex, INFINITE);cerr << "philosopher " << myid << " begin......" << endl;ReleaseMutex(mutex);mystate = THINKING; //初始状态为THINKING leftFork = (myid) % PHILOSOPHER_NUM;rightFork = (myid + 1) % PHILOSOPHER_NUM;while (true){switch(mystate){case THINKING:mystate = HUNGRY; // 改变状态strcpy(stateStr, "HUNGRY");break;case HUNGRY:strcpy(stateStr, "HUNGRY");ret = WaitForSingleObject(semaphore[leftFork], 0); // 先检查左筷子是否可用if (ret == W AIT_OBJECT_0){ret = WaitForSingleObject(semaphore[rightFork], 0); //左筷子可用就拿起，再检查右筷子是否可用if (ret == WAIT_OBJECT_0){mystate = DINING; // 右筷子可用，就改变自己的状态strcpy(stateStr, "DINING");}else{ReleaseSemaphore(semaphore[leftFork], 1, NULL); // 如果右筷子不可用，就把左筷子放下}}break;case DINING:// 吃完后把两支筷子都放下ReleaseSemaphore(semaphore[leftFork], 1, NULL);ReleaseSemaphore(semaphore[rightFork], 1, NULL);mystate = THINKING; // 改变自己的状态strcpy(stateStr, "THINKING");break;}// 输出状态WaitForSingleObject(mutex, INFINITE);cerr << "philosopher " << myid << " is : " << stateStr << endl;ReleaseMutex(mutex);Sleep(5000);}}int main(){int i,run;run = 1;mutex = CreateMutex(NULL, false, NULL);for (i=0; i<PHILOSOPHER_NUM; i++){semaphore[i] = CreateSemaphore(NULL, 1, 1, NULL); //创建一个新的信号量hPhilosopher[i]=CreateThread(NULL,0,philosopherProc,LPVOID(i),CREATE_SUSPENDED,0); //创建一个新线程ResumeThread(hPhilosopher[i]); //线程恢复函数Sleep(15);}while(run){Sleep(5000);cerr<<"**************************************"<<endl;}return 0; }五、实验体会通过本次实验，首先是对哲学家就餐问题有了更深的了解，而通过PV操作，很好的解决了哲学家就餐问题，这使得我对PV操作更加熟悉，同时帮助我理解了原先不太懂的地方，希望强加练习。
实验一 哲学家就餐问题
实验一哲学家就餐问题一、实验目的1.熟练使用VC++6.0编译环境，调试并正确运行程序。
2.熟悉哲学家就餐问题流程。
3.理解哲学家就餐问题中出现的问题，进而掌握死锁的必要条件。
4.熟悉源程序中产生和防止死锁的算法，及其相关窗口操作。
二、实验原理1.问题描述：有五个哲学家围坐在一圆桌旁，桌中央有一盘通心粉，每人面前有一只空盘子，每两人之间放一只筷子，每个哲学家的行为时思考，饥饿，然后吃通心粉，每个哲学家必须拿到两只筷子，并且每个人只能直接从自己的左边或右边取筷子。
2.防止死锁发生的分配方式：仅当一个哲学家左右两边的筷子都可用时，才允许他拿筷子。
这样要么一次占有两只筷子（所有线程需要的资源）进行下一步吃通心粉，然后释放所有的资源；要么不占用资源，这样就不可能产生死锁了。
3.产生死锁的分配方式：当筷子（资源）可用时，先分配左边的筷子，等待一会后再分配右边的筷子，由于这个过程中，左边的筷子一直没有释放，就可能产生死锁了。
4.程序运行说明：程序运行过程中会弹出一个MessageBox提示操作者操作：1）第一个对话框用于选择运行模式a．选择yes表示采用的是运行的防止死锁的方式，这样的话整个程序可以一直运行下去，不会产生死锁。
b．选择no表示运行产生死锁的方式会弹出第二个对话框。
2）第二个对话框用于选择运行时，线程运行的时间a．选择yes线程时间比较短，很快就可以死锁。
b．选择no线程时间跟选择yes时的时间差不多，产生死锁的时间稍微长一点。
三、实验过程及分析1.PhilosopherThread(LPVOID pVoid)函数伪代码1）不死锁方式Var mutexleftchopstick,mutexrightchopstick;Beging:Resting;Waiting;P{mutexleftchopstick};P{mutexrightchopstick};GetResource{leftchopstick,rightchopstick};Eating;V{mutexleftchopstick};V{mutexrightchopstick};End2)发生死锁方式Var mutexleftchopstick,mutexrightchopstick;Beging:Resting;Waiting;P{mutexleftchopstick};GetResource{leftchopstick};P{mutexrightchopstick};GetResource{rightchopstick};Eating;V{mutexleftchopstick};V{mutexrightchopstick};End2.代码分析1）不发生死锁时，哲学家迅速同时抢占两个筷子的资源，而若是不能同时抢占两只筷子则继续等待，知道有两只筷子空闲则抢占，这样就打破了死锁的必要条件。
五个哲学家吃饭问题详细解答
五个哲学家吃饭问题详细解答在一个阳光明媚的下午，五个哲学家聚在一起，准备享用一顿丰盛的午餐。
听起来很简单吧？但实际上，这顿饭可没那么容易！让我们来看看这群头脑发达的哲学家是如何在吃饭问题上纠结的。
1. 场景设定1.1 哲学家的基本设定这五位哲学家，一个比一个聪明。
他们分别是苏格拉底、柏拉图、康德、尼采和海德格尔。
你可以想象，他们脑袋里装的全是复杂的哲学思想，而不是食物的搭配。
所以，当这五位坐下来，面对一桌子美味的食物时，事情就开始变得有趣了。
1.2 吃饭的挑战问题来了：他们每个人都必须遵守一个规则——不可以同时吃饭，得轮流。
你想想，五个哲学家加上一个轮流吃饭的规则，这可真是“见鬼了”的挑战！想要吃上一口美味的菜，简直比推理一个哲学命题还难。
他们轮流吃饭的原则，真是把这顿饭变成了一场智力的较量。
2. 各自的哲学观2.1 苏格拉底的理性苏格拉底首先站出来，他一边抚摸着自己的胡须，一边说：“吃饭嘛，首先得用理性来解决问题。
”他鼓励大家先讨论，谁应该先吃，谁应该后吃。
他认为，只有通过理性对话，才能达到最佳的吃饭方案。
可是，你能想象吗？这一讨论持续了整整一个小时，食物都快冷掉了！2.2 柏拉图的理想接着柏拉图出场，他满脸严肃地说：“我们要追求理想的吃饭方式。
”他想出了一个绝妙的主意：每个人都应该依照自己的德性来决定吃的顺序。
结果，大家一顿争论，谁的德性更高？苏格拉底说他是智者，康德坚持说自己是道德之父，而尼采则跳出来，吼着“超人才能吃超好的饭！”搞得大家乱成一团，吃的机会又飞了。
3. 饥饿的对抗3.1 食物的诱惑这时，桌子上的食物开始散发出诱人的香气，真是令人垂涎欲滴。
五位哲学家每个人的肚子都开始抗议，仿佛在唱着“我们要吃饭”的歌。
吃饭这件事，从理性讨论变成了一场生存竞争。
每个人都在默默地想着：“快点！要是再不吃，我的哲学思想就要被饿死了！”3.2 轮流的尴尬最终，他们决定采取轮流吃饭的方式。
可当轮到康德的时候，他又开始喋喋不休，讲起了“绝对命令”的哲学，让其他人都想打瞌睡。
哲学家进餐问题
哲学家进餐问题1.问题描述：哲学家进餐问题描述有五个哲学家，他们的生活方式是交替地进行思考和进餐，哲学家们共用一张圆桌，分别坐在周围的五张椅子上，在圆桌上有五个碗和五支筷子，平时哲学家进行思考，饥饿时便试图取其左、右最靠近他的筷子，只有在他拿到两支筷子时才能进餐，该哲学家进餐完毕后，放下左右两只筷子又继续思考。
约束条件(1)只有拿到两只筷子时，哲学家才能吃饭。
(2)如果筷子已被别人拿走，则必须等别人吃完之后才能拿到筷子。
(3)任一哲学家在自己未拿到两只筷子吃完饭前，不会放下手中已经拿到的筷子。
2.求解方法(1).信号量的设置放在桌子上的筷子是临界资源，在一段时间内只允许一位哲学家使用，为了实现对筷子的互斥访问，可以用一个信号量表示筷子，由这五个信号量构成信号量数组。
semaphore chopstick[5] = {1,1,1,1,1};while(true){/*当哲学家饥饿时，总是先拿左边的筷子，再拿右边的筷子*/wait(chopstick[i]);wait(chopstick[(i+1)%5]);// 吃饭/*当哲学家进餐完成后，总是先放下左边的筷子，再放下右边的筷子*/signal(chopstick[i]);signal(chopstick[(i+1)%5]);}上述的代码可以保证不会有两个相邻的哲学家同时进餐，但却可能引起死锁的情况。
假如五位哲学家同时饥饿而都拿起的左边的筷子，就会使五个信号量chopstick都为0，当他们试图去拿右手边的筷子时，都将无筷子而陷入无限期的等待。
(2)避免死锁策略一原理：至多只允许四个哲学家同时进餐，以保证至少有一个哲学家能够进餐，最终总会释放出他所使用过的两支筷子，从而可使更多的哲学家进餐。
定义信号量count，只允许4个哲学家同时进餐，这样就能保证至少有一个哲学家可以就餐。
semaphore chopstick[5]={1,1,1,1,1};semaphore count=4; // 设置一个count，最多有四个哲学家可以进来void philosopher(int i){while(true){think();wait(count); //请求进入房间进餐 当count为0时 不能允许哲学家再进来了wait(chopstick[i]); //请求左手边的筷子wait(chopstick[(i+1)%5]); //请求右手边的筷子eat();signal(chopstick[i]); //释放左手边的筷子signal(chopstick[(i+1)%5]); //释放右手边的筷子signal(count); //退出房间释放信号量}}策略二原理：仅当哲学家的左右两支筷子都可用时，才允许他拿起筷子进餐。
操作系统哲学家就餐问题实验报告
include <>include <>include <string>include <iostream>include <>using namespace std;bool tools5; //全局变量,用餐工具CRITICAL_SECTION cs; //信号量, 在线程中使用,临界区class Philosopher{private:int number;int status; /标记当前哲学家的状态,0表示正在等待即处于饥饿状态,1表示得到两支筷子正在吃饭,2表示正在思考/ public:Philosopherint num=0: status2, numbernum { }const int find{return number;}const int getinfo{ return status; }void Change ; //状态改变函数void dead_lock;};/////////void Philosopher::dead_lock{EnterCriticalSection &cs ; //进入临界区 string s;ifstatus==1{toolsnumber%5=true;// toolsnumber-1%5=true;status=2;}else ifstatus==2{status=0;//toolsnumber-1%5=false;//toolsnumber-1%5=true;}else ifstatus==0{toolsnumber%5=false;toolsnumber-1%5=false;status=1;}LeaveCriticalSection &cs ;// cout<<"";}/////////void Philosopher::Change{EnterCriticalSection &cs ; //进入临界区 ifstatus==1 //正在进餐{toolsnumber%5=true; //放下左手工具 toolsnumber-1%5=true; //放下右手工具 status=2; //改变状态为思考}else ifstatus==2 //思考中{status=0; //改变状态为等待}else ifstatus==0 //等待中{iftoolsnumber%5&&toolsnumber-1%5 //左右手两边工具均为空闲状态{toolsnumber%5=false; //拿起左手工具toolsnumber-1%5=false; //拿起右手工具status=1;}}LeaveCriticalSection &cs ;}string printPhilosopher pA{//pA->Change;int i=pA->getinfo;string str;ifi==0str="等待";else ifi==1str="就餐";else str="思考";return str;}string toolstatusbool a{string state;ifa==truestate="闲";ifa==falsestate="用";return state;}int main{char con='y'; //判断是否继续// con = 'n';forint i=0;i<5;i++toolsi=true; //筷子都未使用,初始化Philosopher P11,P22,P33,P44,P55;InitializeCriticalSection &cs ; //初始化初始化临界区cout<<"-----------------------状态说明示意图：-----------------------"<<endl;cout<<" "<<"哲学家1号的状态"<<" "<<endl;cout<<" 筷子0的状态"<<" "<<"筷子1的状态"<<endl;cout<<"哲学家5号的状态"<<" "<<"哲学家2号的状态"<<endl;cout<<" 筷子4的状态"<<" "<<"筷子2的状态"<<endl;cout<<" 哲学家4号的状态"<<" "<<"哲学家3号的状态"<<endl;cout<<" "<<"筷子3的状态"<<endl;//cout<<" "<<"哲学家3号的状态"<<" "<<endl;cout<<"筷子的状态,用表示使用中,闲表示空闲中;"<<endl;cout<<"--------------------------------------------------------------"<<endl ;//cout<<"哲学家们开始生活："<<endl;//cout<<"当前状态：";cout<<endl;//cin>>con;whilecon=='y'{; ; ; ; ;cout<<"当前状态为："<<endl;cout<<" "<<<<print&P1<<" "<<endl;cout<<" "<<toolstatustools0<<" "<<toolstatustools1<<endl;cout<<" "<<<<print&P5<<" "<<<<print&P2<<endl;cout<<" "<<toolstatustools4<<" "<<toolstatustools2<<endl;cout<<" "<<<<print&P4<<" "<<<<print&P3<<endl;cout<<" "<<toolstatustools3<<endl;cout<<"--------------------------"<<endl;cout<<"若要继续下一状态,输入y；输入n进入死锁；输入其他,结束程序：";cin>>con;Sleep20;}whilecon=='n'{;; ; ; ;cout<<"死锁情况"<<endl;cout<<" "<<<<print&P1<<" "<<endl;cout<<" "<<toolstatustools0<<" "<<toolstatustools1<<endl;cout<<" "<<<<print&P5<<" "<<<<print&P2<<endl;cout<<" "<<toolstatustools4<<" "<<toolstatustools2<<endl;cout<<" "<<<<print&P4<<" "<<<<print&P3<<endl;cout<<" "<<toolstatustools3<<endl;cout<<"--------------------------"<<endl;cout<<"输入n继续；输入其他,结束程序：";cin>>con;Sleep20;}DeleteCriticalSection &cs ; //退出资源区return 0;}。
哲学家进餐问题
05611 贺美琛 冯文中
问题描述
设有五个哲学家,共用一张放有五把椅子 的餐桌,每人坐在一把椅子上,桌子上有五个 碗和五只叉子,每人两边各放一只叉子。哲学 家们是交替思考和进餐,饥饿时便试图取其左 右最靠近他的叉子。
(1) 只有拿到两只叉子时,哲学家才能吃饭。 (2) 如果叉子已被别人拿走,则必须等别人吃完之后才能拿 到叉子。
算法 C思想：
仅当哲学家的左右两支叉子都可用时, 才允许他拿起叉子进餐。
方法1：利用AND 型信号量机制实现 方法2：利用信号量mutex的保护机制实现
方法1
在一个原语中，将一段代码同时需 要的多个临界资源，要么全部分配给它， 要么一个都不分配，因此不会出现死锁 的情形。当某些资源不够时阻塞调用进 程;由于等待队列的存在，使得对资源的 请求满足FIFO 的要求，因此不会出现饥 饿的情形。
算法改善：
至多只允许四个哲学家同时进餐,以保 证至少有一个哲学家能够进餐,最终总会释 放出他所使用过的两支叉子,从而可使更多 的哲学家进餐。
改进后的算法A
semaphore fork[5]={1，1，1，1，1}; semaphore room=4; void philosopher(int i) { while(true) { think(); wait(room); //请求进入房间进餐 wait(fork[i]); //请求左手边的叉子 wait(fork[(i+1)%5]); //请求右手边的叉子 eat(); signal(fork[(i+1)%5]); //释放右手边的叉子 signal(fork[i]); //释放左手边的叉子 signal(room); //退出房间释放信号量room } }
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
操作系统
实验报告
实验名称：哲学家就餐问题
班级：信卓1201班
姓名：钟远维
学号：U201213500
日期：2014年10月30日
一、实验目的
1、熟练使用VC6.0编译环境，调试并正确运行程序。
2、理解哲学家就餐问题中出现的问题，进而掌握死锁的必要条件。
3、理解源程序中产生和防止死锁的算法，及相关窗口操作。
4、熟悉哲学家就餐问题流程并写出其伪代码
二、实验内容
有五个哲学家围坐在一圆桌旁（如图1），桌中央有一盘通心粉，每人面前有一只空盘子，每两人之间放一只筷子。
每个哲学家的行为是思考，感到饥饿，然后吃通心粉。
为了吃通心粉，每个哲学家必须拿到两只筷子，并且每个人只能直接从自己的左边或右边去取筷子。
图1 图2
三、实验要求
1、程序需有防止死锁发生采取的措施；
2、程序要有产生死锁的分配方式；
四、实验算法实现
1、不发生死锁的方式
由源码gChopstickState[iLeftChopstick] = iPhilosopher;
gChopstickState[iRightChopstick] = iPhilosopher;
知基本思路是要么一下子占用两支筷子要么不占用，先确定两只筷子均没被占用才获取筷子，这样就打破了死锁的必要条件。
伪代码如下;
var mutexleftchopstick,mutexrightchopstick;
beging:
resting;
waiting;
p(mutexleftchopstick); //先改变左手筷子信号量
p(mutexrightchopstick); //马上改变右手筷子信号量
GetResource(leftchopstick,rightchopstick); //同时占用左右手筷子
eating;
v(mutexleftchopstick); //释放资源
v(mutexrightchopstick);
end
2、发生死锁的方式
基本思路是有筷子即占用，看似效率很高，但因为资源有限，且不可抢占，很容易发生死锁。
源码理解:
gDinerState[iPhilosopher] = WAITING; //wants chopsticks
result = WaitForSingleObject(gchopStick[iLeftChopstick], INFINITE);
gChopstickState[iLeftChopstick] = iPhilosopher; //得到左手筷子
Sleep(P_DELAY/4); //休眠状态
gDinerState[iPhilosopher] = WAITING; //继续等待另一只手筷子
result = WaitForSingleObject(gchopStick[iRightChopstick], INFINITE);
gChopstickState[iRightChopstick] = iPhilosopher; //直到等到右手筷子
伪码书写：
var mutexleftchopstick,mutexrightchopstick;
beging:
resting;
waiting;
p(mutexleftchopstick); //改变左手筷子信号量
GetResource(leftchopstick); //获取左手筷子
p(mutexrightchopstick); //改变右手筷子信号量
GetResource(rightchopstick); //获取右手筷子
eating;
v(mutexleftchopstick);
v(mutexrightchopstick);
end
五、实验运行结果
程序界面说明：
通过位图句柄画演示的界面
1．先画桌子，再画筷子，再画盘子，
2．再画哲学家：
哲学家用圆表示，根据哲学家的状态选择画笔（为resting 状态时为绿色圆圈，为等待或者，就餐时为红色圆圈）
3．最后画哲学家的手：
判断的依据是若筷子的编号和哲学家的编号一直致，那么认为这根筷子属于这个哲学家（筷子资源空闲）那么可以画手表示哲学家获得了这个筷子。
（获得资源）
六、实验总结
通过本次实验，程序设计的时候应该有适当的避免死锁的产生的算法程序。
当避免死锁产生算法不完美时，有锁死产生的时候的死锁分配方式。
这些都是在程序设计的时候应该先想好的。
通过实践总结，有以下三种方法可以避免一类死锁。
一是至多允许4位哲学家同时吃通心面；二是奇数号哲学家先取左边叉子，再取右边叉子；偶数号哲学家先取右边叉子，再取左边叉子；三是每位哲学家取到手边的两把叉子才开始吃通心面，否则一把叉子也不取。
本次实验在已给源码的基础上我们主要是理解C语言程序并提高伪代码书写能力；所以第一步是要弄懂这个哲学家就餐问题的算法思路，然后结合课堂上老师对伪代码算法的讲解，我们将思路用伪码总结出来。
从这次实验中，我们的另一个收获是对同一个问题的多方向思考。
从代码中可以看出不同的分配方式，有的会避免产生死锁，有的可能会导致死锁的发生且时间长短不一样。
这不禁让我们思考多种解决死锁的方案，但每种方案从时间、代码量等方面考虑各有优缺点，要想得到最佳的解决方法就需要我们在以后的实践中去不断探索。