为什么没有'volatile'的程序是"易失性的"？

Question

如下所述，该程序具有没有volatile的共享变量flag：

public class T {
public static void main(String[] args) {
TT jump = new TT(() -> {
while (true) {
if (TT.flag) {
System.out.println("jump");
break;
}
}
});
jump.start();
new TT(() -> {
TT.flag = true; // P1
LocalDateTime t1 = LocalDateTime.now();
while (true) {
if (Duration.between(t1, LocalDateTime.now()).toMillis() > 100) {
break;
}
}
System.out.println("flag");
}).start();
}
static class TT extends Thread {
public static boolean flag = false;
public TT(Runnable o) {
super(o);
}
}
}

程序始终正常返回。所以我相信P1行，其中flag设置为true，在其他线程中更新flag。

但是为什么？flag不是易失性的，为什么它的值会立即更新？总是！

Answer 1

但为什么呢？ 标志不是易失性的，为什么它的值会立即更新？总是！

你只是幸运;或者不走运，取决于你的观点。我在 Ideone 上尝试了这个，发现它超时而不是正常终止。

请记住：无法观察到并发错误与不存在并发错误不同。

关于代码，最确定的是当您可以根据规范证明没有错误时。这并不意味着代码将正常工作;这只是意味着问题出在 JVM 实现中。

特别是，您无法证明此代码将正常工作，因为第二个线程中的写入flag与第一个线程中的读取之间没有先行关系。添加volatile将创建此保证，因为易失性写入发生在易失性读取之前。

这并不是说它永远不会在没有易失性的情况下工作，只是不能保证：JVM 只需要至少按照规范要求的频率刷新线程的缓存值，但可以更频繁地这样做，或者实际上根本不缓存值。