PV操作解决哲学家进餐问题（图文详解）

哲学家进餐问题（图文详解）

1、哲学家进餐问题描述

哲学家进餐问题说的是：有五个哲学家，他们的生活方式是交替地进行思考和进餐，哲学家们共用一张圆桌，分别坐在周围的五张椅子上，在圆桌上有五个碗和五支筷子，平时哲学家进行思考，饥饿时便试图取其左、右最靠近他的筷子，只有在他拿到两支筷子时才能进餐，该哲学家进餐完毕后，放下左右两只筷子又继续思考。这个问题是由荷兰学者Dijkstra提出的经典的同步问题之一。哲学家进餐问题是一大类并发控制问题的典型例子，涉及信号量机制、管程机制以及死锁等操作系统中关键问题的应用，在操作系统文化史上具有非常重要的地位。对该问题的剖析有助于深刻地理解计算机系统中的资源共享、进程同步机制、死锁等问题，并能熟练地将该问题的解决思想应用于生活中的控制流程。

2、哲学家进餐问题算法的基本思想

用PV操作信号量来实现这个算法，当哲学家饥饿时，只能拿左边右边的筷子，拿到2个筷子才能进餐，且不能同时拿两边的筷子，我的思想是先让哲学家去拿他左边的筷子，执行Wait方法，成功后，再去拿他右边的筷子，执行Wait方法，成功后便可进餐。进餐毕，先放下他左边的筷子，然后再放下右边的筷子，但是可能会出现最坏的一种情况，就是大家同时都拿起左边筷子，造成死锁。为防止这个情况的发生，我将5个哲学家从1到5编号，奇数号的哲学家先拿起左边的筷子，再拿起右边的筷子。偶数号的哲学家先拿起右边的筷子，再拿起左边的筷子。从而使得，只有1号和2号哲学家会同时竞争1号的筷子，3号和4四号的哲学家会同时竞争3号的筷子，即这5位哲学家会先竞争奇数号的筷子，再去竞争偶数号的筷子，最后总会有一个哲学家可以进餐成功。这样就打破了死锁的循环等待条件，从而避免了死锁的发生！

注：（实际程序中我是从0到4给哲学家和筷子编的号 程序中判断奇数偶数时用的ID+1）

3、算法实现流程图

…流程差不多就是这样（可能会画的不是特别准确，但理解大概思路就好）

4、你要的程序它来了！

注：看代码前最好对线程 和 PV操作信号量有些了解 代码总体简要说明：
用PV操作信号量来实现这个算法，init()方法初始化每个筷子信号量，创建五个哲学家进程执行start()方法，当线程调用了run()方法后，对进入该方法的哲学家进行判断，奇数号的哲学家先拿起左边的筷子，再拿起右边的筷子。偶数号的哲学家先拿起右边的筷子，再拿起左边的筷子，（拿筷子前执行Wait方法，成功后，再去拿他另一个筷子，执行Wait方法，成功后便可进餐）放筷子也按拿筷子时的左右顺序放下从而避免死锁。当run()执行到第30次后退出程序。
本人代码 PV操作信号量的详细说明：
说的通俗点就是 哲学家在使用筷子时，筷子信号量本是1但由于这位哲学家的使用使信号量－1，为0，按本人代码来看的话 下次在有人想抢这个筷子的时候 会先执行信号量-1的操作，当发现（count < 0）了 也是信号量小于0了 ，就说明这个筷子你没抢上 正有哲学家在用，他就要等待notify函数将其唤醒， 那么某时抢到这个筷子的哲学家sleep()完了 也就是吃完了 那么信号量就要加1，此时再一个判断count<=0 ？,正常来说，他用之前信号量是1，吃完饭执行PV操作后这个筷子的信号量还应该是1。但如果如果count<=0为真的话就是说 在他使用的这个筷子期间还有人想使用这个筷子 但是没抢上 所以现在要做的是PV操作这个筷子的信号量+1，可以notify他 了也就是将其唤醒。使之运行下去。

package zhexuejiajincan;

public class Main {
   

   public static void main(String[] args) {
   
   	Init init = new Init(); // 先初始化每个筷子的信号量，该方法内用一个信号量表示一个筷子

   	Man man[] = new Man[5]; // 创建5个哲学家
   	int i;
   	for (i = 0; i < 5; i++) {
   
   		man[i] = new Man(i);
   	}
   	Thread[] t = new Thread[5]; // 创建5个线程
   	for (i = 0<