获得最大并行度的哲学家问题解法.doc

???获得最大并行度的哲学家问题解法 图2－18中的解法不仅正确，而且对于任意位哲学家的情况都能获得最大的并行度。其中使用一个数组state来跟踪一个哲学家是在吃饭、思考还是正在试图拿叉子。一个哲学家只有在两个邻居都不在进餐时才允许转移到进餐状态。第i位哲学家的邻居由宏LEFT和RIGHT定义，换言之，若i为2，则LEFT为1，RIGHT为3。 # define N 5 /* 哲学家数目 */ # define LEFT (i-1+N)%N /* i的左邻号码 */ # define RIGHT (i+1)%N /* i的右邻号码 */ # define THINKING 0 /* 哲学家正在思考 */ # define HUNGRY 1 /* 哲学家想取得叉子 */ # define EATING 2 /* 哲学家正在吃面 */ typedef int semaphore; /* 信号量是一个特殊的整型变量 */ int state[N]; /* 记录每个人状态的数组 */ semaphore mutex=1; /* 临界区互斥 */ semaphore s[N]; /* 每个哲学家一个信号量 */ void philosopher(int i) /* i：哲学家号码，从0到N-1 */ { while(TRUE) { /* 无限循环 */ think(); /* 哲学家正在思考 */ take_forks(i); /* 需要两只叉子，或者阻塞 */ eat(); /* 进餐 */ put_forks(i); /* 把两把叉子同时放回桌子 */ } } void take_forks(int i) /* i：哲学家号码从0到N-1 */ { down(mutex); /* 进入临界区 */ state[i]=HUNGRY; /* 记录下哲学家i饥饿的事实 */ test(i); /* 试图得到两只叉子 */ up(mutex); /* 离开临界区 */ down(s[i]); /* 如果得不到叉子就阻塞 */ } void put_forks(int I) /* i：哲学家号码从0到N-1 */ { down(mutex); /* 进入临界区 */ state[i]=THINKING; /* 哲学家进餐结束 */ test(LEFT); /* 看一下左邻居现在是否能进餐 */ test(RIGHT); /* 看一下右邻居现在是否能进餐 */ up(mutex); /* 离开临界区 */ } void test(i) /* i：哲学家号码从0到N-1 */ { if(state[i]==HUNGRYstate[LEFT]!=EATING state[RIGHT]!=EATING) { state[i]=EATING; up(s[i]); } } 图2-18 一个哲学家就餐问题的解决方案 该程序使用了一个信号量数组，每个信号量对应一位哲学家，这样在所需的叉子被占用时，想进餐的哲学家可以阻塞。注意每个进程将过程philosopher作为主代码运行，而其他过程take_forks、put_forks和test只是普通的过程，而非单独的进程。