哲学家进餐问题（详解）

目录

1.问题描述

2.问题分析

3.问题实现

---

1.问题描述

 要求如下：

• 只有当哲学家饥饿时才试图拿起左、右两根筷子。
• 如果筷子已在他人手上，则需等待。
• 只有同时拿起两根筷子才可以进餐。

2.问题分析

这个问题中只有互斥关系，与生产者-消费者问题不同的是，每个哲学家进程需要同时持有两个临界资源才能开始吃饭。如何避免临界资源分配不当造成的死锁现象，是哲学家问题的精髓。

可以定义互斥信号量数组chopstick[5]={1,1,1,1,1}，用于实现对5根筷子的互斥访问。并对哲学家按0~4编号，哲学家i左边的筷子编号为i，右边的筷子编号为(i+1)%5。

如何避免死锁发生：

1. 可以对哲学家进程施加一些限制条件，比如最多允许四个哲学家同时进餐。这样可以保证至少有一个哲学家是可以拿到左右两只筷子的。
2. 要求奇数号哲学家先拿左边的筷子，然后再拿右边的筷子，而偶数号哲学家刚好相反。用这种方法可以保证如果相邻的两个奇偶号哲学家都想吃饭，那么只会有其中一个可以拿起第一只筷子，另一个会直接阻塞。这就避免了占有一只后再等待另一只的情况。

3.问题实现

semaphore chopstick[5] = {1 , 1 , 1 , 1 , 1};
semaphore mutex = 1;//互斥地取筷子
Pi(){
	while(1){
		P(mutex);
        P(chopstick[i]);//拿左
		P(chopstick[(i + 1) % 5]);//拿右
		V(mutex);
        吃饭...
        V(chopstick[i]);//放左
		V(chopstick[(i + 1) % 5]);//放右
        思考...
		}
	}