java - 关于java volatile 数组

Question

我有一个关于 volatile 数组的问题。在互联网上，大多数人说数组的元素不能保证是 volatile 的，只有它的引用是 volatile 的。所以我写了一些代码来检查它。结果证明，它有效。

我使用的是 Windows 10 + JDK 8

我的代码:

static volatile boolean[] keepRunnin g= { true };

public static void main(String[] args) throws Exception {

    new Thread(
        ()->{
            while (keepRunning[0]){}
        }
    ).start();

    Thread.sleep(1000);

    keepRunning[0] = false;
}

循环总会结束，它不是无限循环。

谁能解释一下吗？

Answer 1

编写代码来证明数组中的元素总是对所有线程可见是不可能的。

您的示例可能会证明它在一定程度上适合您(我还没有运行它)，但您不能确定它始终适用于所有硬件、所有用户。

只能编写反驳某些东西具有跨线程可见性的代码。不可能编写代码来证明这一点。