用餐-哲学家监视器解决方案：“拾取（i）”需要间接调用“自我[i]。信号（）”？

Question

从操作系统概念

5.8.2使用显示器的餐饮哲学家解决方案

接下来，我们通过对用餐哲学家问题提出一个无死锁的解决方案来说明监控概念。这个解决方案施加了一个限制，即哲学家只有在筷子都可用的情况下才能拿起筷子。为了给这个解决方案编码，我们需要区分我们可能找到哲学家的三种状态。为此，我们引入以下数据结构：

enum {THINKING, HUNGRY, EATING} state[5];

哲学家只有当她的两个邻居不吃饭时，我才能设置变量state[i]=EATING:（state[（i4）%5]！=吃）和（州[（i 1）%5]！=吃）。

我们还需要申报

condition self[5];

这使得哲学家i在饥饿但无法获得所需筷子时可以拖延时间。

monitor DiningPhilosophers
{

    enum {THINKING, HUNGRY, EATING} state[5];
    condition self[5];
    void pickup(int i) {

        state[i] = HUNGRY;
        test(i);
        if (state[i] != EATING)
            self[i].wait();

    }
    void putdown(int i) {

        state[i] = THINKING;
        test((i + 4) % 5);
        test((i + 1) % 5);

    }
    void test(int i) {

        if ((state[(i + 4) % 5] != EATING) &&
        (state[i] == HUNGRY) &&
        (state[(i + 1) % 5] != EATING)) {
            state[i] = EATING;
            self[i].signal();
        }

    }
    initialization code() {

        for (int i = 0; i < 5; i++)
            state[i] = THINKING;
    }

}

图5.18问题的监视器解决方案。

每个哲学家在开始进食之前，必须调用操作pickup（）。这一行为可能导致程序暂停。手术成功后，哲学家可以吃东西。接下来，哲学家调用putdown（）操作。

DiningPhilosophers.pickup(i);
...
eat
...
DiningPhilosophers.putdown(i);

pickup（i）调用test（i），它依次调用self[i]。条件满足时发出信号（）。pickup（i）是否需要调用self[i]。信号（）是间接的吗？

谢谢




Answer 1

在拾取过程中，对信号（）的调用没有效果，因为它向当前线程发出信号，根据定义，当前线程不能处于等待状态。