Java 并发性 - 为什么同步 setter(而不是 getter)不能使类成为线程安全的？

Question

这个问题已经有答案了:

已关闭 13 年前。

Possible Duplicate:
Thread safety in Java class

我正在阅读实践中的 Java 并发，并且我遇到了一个令我困惑的示例。

作者声明该类不是线程安全的

public class MutableInteger {

    private int number;

    public int getInt() {
        return number;
    }

    public void setInt(int val) {
        number = val;
    }
}

他们还指出，仅同步一种方法(例如 setter)是行不通的；您必须同步两者。

我的问题是:为什么？同步 setter 不就可以了吗？

Answer 1

Java 有一个发生在之前/发生在之后的内存模型。写入路径和读取路径上需要有一些常见的并发构造(例如同步块(synchronized block)/方法、锁、 volatile 、原子)来触发此行为。

如果同步这两个方法，您将在整个对象上创建一个锁，该锁将由读取和写入线程共享。 JVM 将确保在离开(同步)setInt 方法之前发生在写入线程上的任何更改在进入(同步)getInt 方法后对于任何读取线程都是可见的。 JVM 将插入必要的内存屏障以确保这种情况发生。

如果仅同步写入方法，则任何读取线程都可能看不到对象的更改。这是因为读取路径上没有 JVM 可以用来确保读取线程的可见内存(缓存等)与写入线程一致的点。使 getInt 方法同步即可实现这一点。

注意:特别是在这种情况下，使字段“number”为 volatile 将给出正确的行为，因为 volatile 读/写还在 JVM 中提供相同的内存可见性行为，并且 setInt 方法内部的操作只是一个赋值。