哲学家就餐问题PV原语

题目分析并描述：

描述：

有五个哲学家，他们共用一张圆桌，分别坐在五张椅子上。在圆桌上有五支叉子，平时一个哲学家进行思考，饥饿时便试图取用其左、右最靠近他的叉子，只有在他拿到两支叉子时才能进餐，每个哲学家不能同时拿到两个叉子，进餐完毕，放下叉子又继续思考。

分析：

经分析可知，放在桌子上的叉子是临界资源，在一段时间内只允许一位哲学家使用，为了实现对叉子的互斥使用，可以用一个信号量表示一只叉子，由这五个信号量组成信号量数组。当哲学家饥饿时总是先拿其左边的叉子，成功后，再去拿右边的叉子，又成功后方可就餐。进餐完，又先放下他左边的叉子，再放下右边叉子。这个算法可以保证不会有两个相邻的哲学家同时就餐，但有可能引起死锁。对于死锁问题可采取至多只允许四个哲学家同时进餐，以保证至少有一个哲学家可以进餐，最终总会释放出他所用过的两只叉子，从而可使更多的哲学家进餐的方法进行解决。

哲学家就餐问题程序代码：

package system;

import java.util.concurrent.Semaphore;

public class PhilosopherThread {

 //一次只允许四个人抢叉子

    static final Semaphore count = new Semaphore(4);

    //五只叉子

    static final Semaphore[] mutex = {new Semaphore(1),

                                      new Semaphore(1),