使用监视器实现

Question

在使用监视器的餐饮哲学家实现中，为什么提出（）操作两次调用test（）操作？

procedure take_chopsticks(i)
  {
    DOWN(me);               
    pflag[i] := HUNGRY;
    test[i];
    UP(me);                 
    DOWN(s[i])                     }

void test(i)            
  {
    if ( pflag[i] == HUNGRY
      && pflag[i-1] != EAT
      && pflag[i+1] != EAT)
       then
        {
          pflag[i] := EAT;
          UP(s[i])
         }
    }

void drop_chopsticks(int i)
  {
    DOWN(me);                
    test(i-1);               
    test(i+1);               
    UP(me);                  
   }

Answer 1

它叫了两次，因为每根筷子都被认为是自己的资源。因此，你需要“信号（）”，这两根筷子现在都可以单独拿取了。

我只研究这个问题的理论代码，但我不确定你引用的筷子“i-1”和“i1”是正确的。我需要查看您的初始化和代码的其余部分，但传统的解决方案通常将哲学家i的筷子称为（i 1）右筷子和（i 4）左筷子，在5个哲学家的情况下。