java - 如果 getter 被标记为同步，为什么这段代码会完成？

Question

为什么当方法 get() 标记为同步时这段代码成功完成，尽管字段 value 不是易变的？如果没有同步，它会无限期地在我的机器上运行(如预期的那样)。

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

同步强制 this.value = value 发生在 get() 之前。

它确保更新值的可见性。

没有同步，就没有这样的保证。它可能有效，也可能无效。