进餐中的饥饿哲学家的解决方案

Question

我已经完成了解决方案。因为在某个时间点，典型的监视器实现会导致饥饿。我已经阅读了这里给出的用餐哲学家问题的“礼貌”版本

monitor diningPhilosophers {
   int[] state = new int[5];
   boolean[] leftHungry = new boolean[5];
   boolean[] rightHungry = new boolean[5];
   static final int THINKING = 0;
   static final int HUNGRY = 1;
   static final int EATING = 2;
   condition[] self = new condition[5];

   public diningPhilosophers {
      for (int i=0;i<5;i++) {
         state[i] = THINKING;
         leftHungry[i] = false;
         rightHungry[i] = false;
      }  
   }   

   public entry pickUp(int i) {
      state[i] = HUNGRY;
      test(i);
      if (state[i] != EATING)
         self[i].wait;
      rightHungry(left(i)) = false;
      leftHungry(right(i)) = false;
   }

   ublic entry putDown(int i) {
      state[i] = THINKING;
      test(left(i));
      if (state[left(i)] == HUNGRY)
         leftHungry[i] = true;
      test(right(i));
      if (state[right(i)] == HUNGRY)
         rightHungry[i] = true;
   }

   private test(int i) {
      if  (state[right(i] != EATING) &&
          (state[i] == HUNGRY) &&
          (state[left(i)] != EATING) &&
             !leftHungry(i) && !rightHungry(i) ) {
             state[i] = EATING;
             self[i].signal;
          }
   }

   private int left(int i) {
      return (i+1)%5;
   }    

   private int right(int i) {
      return (i+4)%5;
   }    

}

那么，如果两个相邻的哲学家同时感到饥饿呢。因为测试（i）是检查它的左派和右派哲学家是否饿了。如果它发现它的邻居也饿了。这是一种僵局，对吗？我的意思是他们两个都不能吃东西，因为他们附近的哲学家家饿了，对吧？

Answer 1

你说得对。如果两个相邻的哲学家在对方眼里都饿了，就会出现死锁，即lefthunging[0]==TRUE

但是，这种状态永远不会发生，因为只有当x调用putton（）时，lefthunger[x]或rightunger[x]才会被设置为TRUE，而x调用pickUp（）之前总是有x的调用，它将左饥饿[x]和右饥饿[x]设置为FALSE。

例如：哲学家0具有leftHungring[0]==TRUE并且它们的状态是HUNGRY，并且哲学家1调用picUp（）并且它们的状态也是HUNGRY。即使必须等待，（因为哲学家2是吃），哲学家0设置左饥饿[0]==FALSE，防止任何相邻的哲学家同时认为对方饿了。