Java同步问题，线程间通信

Question

请看下面的代码。我知道为什么我不使用“同步”部分，循环永远不会中断，但我不知道为什么我使用“同步”部分，循环会中断。这似乎不符合 Happens-Before 原则。请帮帮我，非常感谢。

public class Test implements Runnable {

    private String s = "continue";

    @Override
    public void run() {

        while (!"break".equals(this.s)) {
            //synchronized (this){
            //
            //}
        }

        System.out.println("loop has been breaked!");
    }

    public static void main(String[] args) throws InterruptedException {
        Test test = new Test();

        Thread t1 = new Thread(test);
        t1.start();

        TimeUnit.SECONDS.sleep(1);
        test.s = "break";
    }

}

Answer 1

这不是先发生的情况，而是可见性问题。使 s 可变也可以，使值更改对线程可见，而不是使用缓存的值。

从 Java 内存模型的 POV 来看，使用您正在使用的同步方式是不正确的。在分配 test.s = "break"; 时，您还需要同步 test。但是，您的同步代码可以工作是因为底层 x86 架构，即使使用 NOOP 同步块(synchronized block)也会影响可见性。