如果 getter 被标记为已同步，为什么此代码会完成？

Question

为什么当方法get（）被标记为synchronized时，尽管字段值不是易失的，这段代码却成功完成了？如果没有同步，它将在我的机器上无限期地运行（正如预期的那样）。

public class MtApp {

    private int value;

    /*synchronized*/ int get() {
        return value;
    }

    void set(int value) {
        this.value = value;
    }

    public static void main(String[] args) throws Exception {
        new MtApp().run();
    }

    private void run() throws Exception {
        Runnable r = () -> {
            while (get() == 0) ;
        };
        Thread thread = new Thread(r);
        thread.start();
        Thread.sleep(10);
        set(5);
        thread.join();
    }
}

Answer 1

对于初学者来说，value需要易失性set需要同步

JLS:

显示器上的解锁发生在该显示器上的每个后续锁定之前。

在释放锁之前，可以将值设置为 5，这会将其放在发生之前的边缘之前，并在下次获取锁时使其可用。

应该注意的是，这种保证是脆弱的，根据线程调度程序，可能根本不存在。在同步模型较弱的平台上，您可能看不到与您在此处看到的相同的效果。

另请参阅：循环在没有打印语句的情况下看不到更改的值

与System.out关联的Java线程的奇怪行为

Answer 2

@Andy特纳部分正确。

在< code>get()方法上添加< code>synchronized会影响内存可见性要求，并导致(JIT)编译器生成不同的代码。

但是，严格来说，在连接set（…）调用和get（）调用之前需要发生关系。这意味着set方法应该是同步的以及get（如果您要这样做！）。

简而言之，您观察到的代码版本不能保证在所有平台和所有情况下都能正常工作。事实上，你很幸运！

从字里行间看，您似乎在试图通过实验了解Java的内存模型是如何工作的。这不是一个好主意。问题是，您正在尝试对一个极其复杂的黑盒进行反向工程，但没有足够的“输入参数”¹，使您可以进行更改以涵盖黑盒行为的所有潜在方面。

因此，“通过实验学习”的方法很容易让你产生不完整或错误的理解。

如果你想完整而准确地理解，你应该从阅读一本好的教科书中的Java内存模型开始……或者JLS本身。无论如何，使用实验来尝试确认您的理解，但您需要知道，JMM只指定（保证）在您做正确的事情时会发生什么。如果你做了错误的事情，你的代码可能无论如何都能工作……这取决于各种因素。因此，通常很难通过实验来确认一种特定的做事方式是正确的还是不正确的²。

< sup>1 -您需要的一些参数实际上并不存在。比如，允许你运行Java N for N的那个

^{2-正如您的示例所示。您得到了“正确”的答案，即使代码是错误的。}

Answer 3

同步强制this.value=value发生在get（）之前。

它确保了更新值的可见性。

没有同步，就没有这样的保证。它可能工作，也可能不工作。