Java和同步问题

Question

我在Java写程序，有点担心同步。

这个场景非常“简单”，我们有一个简单的银行账户类，多人可以从账户中取款（虽然他们不能存款），他们也可以检查账户余额。问题是，余额一直在变化，因此我们希望客户查看正确的余额！

到目前为止，这是我的班级。

    class Account implements Serializable {

    private boolean available = false;

    String ac_id;
    String name;
    int balance;

    public Account(String ac_id, String name, int blnc)

    {
        this.ac_id = ac_id;
        this.name = name;
        this.blnc = blnc;

    }

    public synchronized int getMoney(int money) {
        if (money > blnc) {
            return -1;
        }
        while (available == true) {
            try {
                wait();
            } catch (InterruptedException e) {
            }
        }

        blnc -= money;
        available = true;
        notifyAll();
        return 1;
    }

    public synchronized int chkBalance() {

        return blnc;
    }

    @Override
    public String toString()

    {
        return "Balance: " + chkBalance();
    }

}

正如您可以看到的，通过这个实现，我可以确保有人可以从一个account对象获得资金，但是这个account对象被阻止了，然后一个解决方案出现了

public synchronized int chkBalance()   

添加available=false的方法这似乎解决了我的问题，但我真的不能说这是否正确，我的意思是它们是否确实同步，客户是否看到了正确的平衡。

提前谢谢！！

理论上，如果我只是在这两种方法之前使用同步词，那不是很好吗？我的意思是，一次只有一个线程会占用每个方法，既然不需要存款，那么使用布尔值可用的true/false有什么意义？

Answer 1

... 多人可以从账户中取款[而且]他们还可以检查余额。。。[但是]，余额一直在变化，因此我们希望客户查看正确的余额！

你不能。如果其他人（线程）可以随时取款，那么就没有正确的余额。你所能保证的最好是正确的平衡。也就是说，通过正确的同步，您可以确保checkBalance（）返回的数字在过去的某个时刻是正确的。

这就是问题所在。某些函数fubar（）调用check Balance（）。为什么啊？为什么它关心平衡是什么？一旦check Balance（）返回，调用线程就不再同步。任何其他线程都可能在check Balance（）返回的时间和fubar（）处理信息的时间之间进行撤回。

如果fubar（）需要知道平衡以便处理信息，那么fubar（）也需要同步。

Answer 2

如果您不关心执行速度，那么您需要做的就是使方法同步。这将保证一个特定帐户对象的每个方法一次只能被一个线程访问。您的可用标志在您的实现中似乎没有用。在同步的方法中放入等待（）也是没有意义的；这只会减慢等待对象锁的其他线程。

同步getMoney（）尤为重要，因为此方法会更改blnc的值，如果不同步，可能会导致两个线程同时覆盖该值，在这种情况下，一个线程将无法生效。

在您的实现中，如果chkBalance（）是同步的，这并不重要，因为它不写入blnc。如果此方法与getMoney（）同时调用，它将在对blnc进行更改之前或之后返回blnc的值，并且这种调度超出了程序员的控制范围。

不同步chkBalance（）也很有用，因为您可能会从不同的线程同时调用chkBalance（），并且这些调用中没有相互等待的意义。

要确保从共享内存中获取blnc的最新值，而不是本地缓存的值，请考虑使blnc变量易失性。

Answer 3

您根本不需要可用的布尔值。只同步getMoney方法并使blnc不稳定就足够了，这样其他检查更改的线程就可以看到它们。尝试类似的东西：

class Account implements Serializable {

final String ac_id;
final String name;
volatile int blnc;

public Account(String ac_id, String name, int blnc) {
    this.ac_id = ac_id;
    this.name = name;
    this.blnc = blnc;
}

public synchronized int getMoney(int money) {
    if (money > blnc) {
        return -1;
    }
    blnc -= money;
    return 1;
}

public int chkBalance() {
    return blnc;
}

@Override
public String toString() {
    return "Balance: " + chkBalance();
}
}