编写潜在并发问题的证明

我正在阅读“Java 并发实践”，并尝试编写一段代码来表明第 3.5.1 章中作为示例提供的类确实会引入问题。

public class Holder {
    public int n;

    public Holder(int n) {
        this.n = n;
    }

    public void assertSanity() {
        if (n != n) {
            throw new AssertionError("sanity check failed!!");
        }
    }
}

据说如果按以下方式使用（我相信这是关于该字段是公共的事实，可能会发生并发问题。

public Holder holder;
public void initialize() {
    holder = new Holder(42);
}

所以我想出了这段代码来看看是否有什么不好的事情发生。

public class SanityCheck {

    public Holder holder;

    public static void main(String[] args) {

        SanityCheck sanityCheck = new SanityCheck();
        sanityCheck.runTest();

    }

    public void runTest() {
        for (int i = 0; i < 100; i++) {
            new Thread() {
                @Override
                public void run() {
                    while (true) {
                        if (holder != null) {
                            holder.assertSanity();
                        }

                        try {
                            Thread.sleep(1);
                        } catch (InterruptedException e) {
                        }
                    }
                }
            }.start();
        }

        try {
            Thread.sleep(1000);
        } catch (InterruptedException e) {
        }

        initialize();

    }

    public void initialize() {
        holder = new Holder(42);
    }
}

但没有发生什么不好的事情，没有抛出 AssertionError 。

你能帮我弄清楚为什么这段代码不能阻止任何东西吗？

预先感谢您抽出时间。

事实上，代码不是线程安全的could创建并发问题并不意味着它will do so.

Java 内存模型 (JMM) 描述了程序如何must正确同步时的行为。但它并没有过多说明程序如何could当情况并非如此时，要表现得好。

例如，强制执行顺序一致性的 JVM 将符合 JMM，并且不会发生并发问题。

W.r.t.根据您的具体示例，它不太可能在 x86/hostpot 组合上崩溃。