餐饮哲学家：Chandy-Misra 方法：如何避免僵局？

Question

我正在尝试，但是有一个问题： 在 wiki 中，该算法的第三点说：

当一个有叉子的哲学家收到请求消息时，如果叉子是干净的，他会保留叉子，但如果叉子脏了就放弃。如果他把叉子送过来，他会在这样做之前清理叉子

我试图理解为什么这不会导致死锁？如果一位哲学家有一个干净的叉子，并等待从邻近的餐厅/哲学家那里得到另一个干净的叉子，而后者也在等待叉子，这可能会累积成僵局，对吗？一位哲学家总是在等待另一位哲学家的分叉？

ps：我是线程和并发的新手，把它当作一个学习项目。

编辑：提供分叉的实际位置，发布此内容以询问分叉是否应该是可变的。 pLeft , pRight 是左右哲学家，fLeft 和 fRight 是左右叉子。

private Fork giveFork(Philosopher diner) {
        Fork forkToGive;

        if (this.pLeft.equals(diner)) {
            // give left fork to left philosopher
            if (this.fLeft.isClean)
                forkToGive = null; // don't give
            else {
                forkToGive = new Fork(this.fLeft.id, true); // give the fork
            }

        } else if (diner.pRight.equals(this)) {
            // give right fork to right philosopher
            if (this.fRight.isClean)
                forkToGive = null;
            else {
                forkToGive = new Fork(this.fRight.id, true);
            }
        } else {
            // default value , i'm not yet sure if this code
            // can be theoretically reached
            forkToGive = null;
        }

        return forkToGive;

    }

我还没有弄清楚在哪里同步它，但我觉得仍然需要同步。就像当两个用餐者时，说第一个和第三个向第二个哲学家要叉子。

Answer 1

你引用的来源解释了它：

但是，如果系统初始化为完全对称状态， 就像所有拿着左侧叉子的哲学家一样，那么图表是 循环一开始，他们的解决方案无法防止死锁。 初始化系统，使 ID 较低的哲学家有脏 forks 确保图最初是非循环的。

因此，您需要将系统初始化为非对称状态， 并且该组规则旨在不离开所需的（非死锁状态）。