哲学家就餐

错误解法1：

#define N 5											//哲学家数目

void philosopher(int i)								
{													//哲学家编号从0到4
	while(true){
		think();									//思考
		take_fork(i);								//拿起左边的叉子
		take_fork((i+1)%N);							//拿起右边叉子
		eat();										//进食
		put_fork();									//放回左叉
		put_fork((i+1)%N);							//放回右叉
	}

}

如果5位哲学家同时拿起左边的叉子，就没有人能够拿到他们右边的叉子，于是发生死锁

---

错误解法2：

哲学家拿到左叉后，程序要查看右边的叉子是否可用，若不可用，则该哲学家先放下左叉，等一段时间，再重复整个过程。
但在某一个瞬时，可能所有哲学家同时拿起左边叉子，又同时放下左边叉子，于是循环往复下去。对于这种情况，所有程序都在不停运行，但都无法获得进展，就称为饥饿。

---

正确解法

1. 对哲学家进程施加一些限制条件，比如最多允许4个哲学家同时进餐。这样可以保证至少有一个哲学家是可以拿到左右两只筷子的。（设置一个初始值为4的信号量）
2. 要求奇数号哲学家先拿左边的筷子，然后再拿右边的筷子，而偶数号哲学家刚好相反。用这种方法可以保证如果相邻的两个奇偶号哲学家都想吃饭，那么只会有其中一个可以拿起第一只筷子，另一个会直接阻塞。
3. 仅当一个哲学家左右两支筷子都可用时才允许他抓起筷子

//一个哲学家只有在两个邻居都没有进餐时才允许进入到进餐状态
#define N 			5						//哲学家数目
#define LEFT 		(i+N-1)%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)						//哲学家编号，从0到N-1
{
	while(TRUE){	
		thikng();
		take_forks(i);
		eat();
		put_forks(i);					
	}
}

void take_forks(int i)						//
{
	down(&mutex);							//进入临界区
	state[i] = HUNGRY;						//记录哲学家i处于饥饿的状态
	test(i);								//尝试获取两把叉子
	up(&mutex);								//离开临界区
	down(&s[i]);							//如果得不到需要的叉子则阻塞
}

void put_forks(int i)
{
	down(&mutex);							//进入临界区
	state[i] = THINKING;					//哲学家已经就餐完毕
	test(LEFT);								//检查左边的邻居现在可以吃吗
	test(RIGHT);							//检查右边的邻居现在可以吃吗
	up(&mutex);								//离开临界区
}

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