java - 如何使用信号量在 Java 中对餐饮哲学家进行编码？

Question

我必须使用信号量编写 Java 中哲学家就餐问题的解决方案。信号量是“手工”完成的，创建了一个信号量类。看起来像这样：

package principal;
public class Semaforo {
private int valor;
private int esperando;
public Semaforo(int valor) {
    this.valor=valor;
    this.esperando=0;
}
public synchronized void down() {
    if (this.valor >0 ){
        this.valor--;
    } else {
        this.esperando++;
        try {
            wait();
        } catch (Exception e) {

        }
    }
}
public int getValor() {
    return valor;
}
public synchronized void up() {
    if (this.valor > 0) {
        this.valor++;
    } else {
        if (this.esperando >0 ) {
            notify();
            this.esperando--;
        } else {
            this.valor++;
        }
    }
}
}

如果我有一个解决方案可以避免死锁、饥饿、活锁等并发问题，我会很好。我想过让每个哲学家在他自己的时间吃饭，但我不知道如何使用信号量来实现这一点。如何用 Java 中的信号量解决哲学家就餐问题？

任何帮助表示赞赏。

Answer 1

这（第 87 页）讨论了从 Tanenbaum 的现代操作系统 3e中提取的餐饮哲学家问题。这个问题是用 C 编程语言中的信号量来解决的。

Answer 2

您不需要 esparanto 字段，也不需要每次 up() 可用信号量的数量时检查“valor”的状态。我工作很无聊，所以我修剪了你的代码：

private class Semaforo {
    private int valor;

    public Semaforo(int valor) {
        this.valor=valor;
    }

    public int getValor() {
        return valor;
    }

    public synchronized void down() {
        if (this.valor >0 ){
            this.valor--;
        } else {
            try {
                wait();
            } catch (InterruptedException e) {}
        }
    }

    public synchronized void up() {
        this.valor++;
        notify();
    }
}