《操作体统实验报告.docVIP

中山大学南方学院 实 验 报 告 课目： 操 作 系 统 姓名： 陈瑞全 班级： 08级电子一班 指导老师： 梁路 哲学家就餐问题 实验题目： 解决五个哲学家就餐问题 设计内容： 开发环境： 分析设计： 1． 给五个哲学家编号为1，2，3，4，5；产生一个1~5之间的随机数，规定一次产生两个哲学家； 2． 设置一个全局变量，将上一次产生的信号量纪录在内，并判断此次与上次的编号是否相差2或3；若是，即可同时吃，并释放上一个哲学家的筷子，若不是，只释放上一个哲学家的筷子。 3． 作N次循环（N自己输入） 五个哲学家围坐在一圆桌旁，桌中央有一盘，每人面前有一只空盘子，每两人之间放一只筷子每个哲学家的行为是思考，感到饥饿，然后吃.为了吃每个哲学家必须拿到两只筷子，并且每个人只能直接从自己的左边或右边去取筷子#define N 5 void philosopher (int i) { while (true)  { 思考； 取fork[i]; 取fork[(i+1) % 5]； 进食； 放fork[i]; 放fork[(i+1) % 5]； }}为防止死锁发生可采取的措施：最多允许4个哲学家同时坐在桌子周围仅当一个哲学家左右两边的筷子都可用时，才允许他拿筷子（#61654;）给所有哲学家编号，奇数号的哲学家必须首先拿左边的筷子，偶数号的哲学家则反之 为了避免死锁，把哲学家分为三种状态，思考，饥饿，进食，并且一次拿到两只筷子，否则不拿. 　 哲学家就餐问题解法（1）#define N 5 void philosopher (int i) { while (true)  { 思考； 取fork[i]; 取fork[(i+1) % 5]； 进食； 放fork[i]; 放fork[(i+1) % 5]； }}哲学家就餐问题解法（2）#define N 5#define THINKING 0#define HUNGRY 1#define EATING 2#typedef int semaphore;int state[N];semaphore mutex=1;semaphore s[N];void test(int i){ if (state[ i ] == HUNGRY)  (state [ (i-1) % 5] != EATING)  (state [ (i+1) % 5] != EATING) { state[ i ] = EATING; V(s[ i ]); } }void philosopher (int i) { while (true)  { 思考; P(mutex); state[i] = HUNGRY; test(i); V(mutex); P(s[i]); 拿左筷子； 拿右筷子； 进食； 放左筷子； n bsp; 放右筷子； P(mutex) state[ i ] = THINKING； test([i-1] % 5); test([i+1] % 5); V(mutex); }}state[ i ] = THINKINGs[ i ] = 0 为每个哲学家使用POSIX线程(pthread)建立独立的线程(有独立的id)，用互斥(叉子其他哲学家使用时，另一个哲学家不能使用)和条件(哲学家饿了才尝试去得到叉子，得到相邻的左右两把叉子才能进餐)来分到叉子。关键事件：1. 哲学家饿了就要尝试去得到叉子。2. 哲学家得到相邻的左右两把叉子才可以进餐3. 吃完了就要释放两把叉子编程思路a) 初始化各个哲学家的状态为Thinking,餐桌上的餐具都在桌上.b) 通过单击Caption为Change的Button控件来改变其对应的哲学家的状态.单击的先判断该哲学家当前的状态.i. 当