[讨论]著名的哲学家就餐

供大家思考
题目：5个哲学家围坐一张桌，5把叉子，5盘意大利面，面太滑只能用两个叉子吃。哲学家有两种状态吃饭eating, thinking.编一个程序不产生死锁（死机）：
#define N 5
#define LEFT (i+n-1)%N
#define RIGHT (i+1)%N
#define THINKING 0
#define HUNGRY 1
#define EATING 2
typedof int semaphore;
int state[N];
semaphore mutex=1;
semaphore s[N];

void philosopher(i)
{
while(TRUE)
{
think();
take_forks(i);
eat();
put_forks(i);
}
}

void take_forks(i)
{
dowm(&mutex);
state[i]=HUNGRY;
test(i);
up(&mutex);
down(&s[i]);
}

void put_forks(i)
{
down(&mutex);
state[i]=THINKING;
test(LEFT);
test(RIGHT);
up(&mutex);
}

void test(int i)
{
if(state[i]==HUNGERY&&state[align=LEFT]!=EATING&&state[align=RIGHT]!=EATING)
{
state[i]=EATING;
up(&s[i]);
}

}

**code copyed from morden operating system
呵呵怎么样 ， 迷糊了吧
我也迷糊

确实有点晕.
但是我觉得实际应用上应该和操作系统原理讲的CPU进程调度是一样的.
那个叉子就是CPU.那几个人就是进程.
弄下来漫漫学习

[此贴子已经被作者于2007-5-11 12:29:13编辑过]

同意BZ的，我也在操作系统中接触过

哈哈 对是操作系统的。对如打印机 这些 资源的共享的程序，网上也能用到，如网上订票系统
在你订票的时候其他人不能订，但大家可以一起浏览。