old《1.2.1 线程安全之可见性问题》

import java.util.concurrent.TimeUnit;

public class VisibilityDemo {
	private boolean flag = true;

	public static void main(String[] args) throws InterruptedException {
		VisibilityDemo demo = new VisibilityDemo();
		new Thread(()->{
			int i=0;
			while(demo.flag) {
				++i;
			}
			System.out.println(i);
		}).start();
		
		TimeUnit.SECONDS.sleep(2);
		demo.flag = false;
		System.out.println("set false");
	}

}

这段代码，在我机器的intelliJ IDEA上会一直死循环。但当加上-Djava.compiler=NONE的VM options后，主线程里对flag的更改，似乎才在另一线程中生效了。据称前者的原因是

while(demo.flag) {
	++i;
}

这段代码被JIT编译器进行指令重排序后，实际上变成了以下的逻辑：

以下为查看JIT编译器生成的汇编代码的方法：
1, 从hsdis-amd64.dll下载密码deh4下载，复制至%jdkhome%\jre\bin\server, 并在VM Options中使用-server -XX:+UnlockDiagnosticVMOptions -XX:+PrintAssembly -XX:+LogCompilation -XX:LogFile=jit.log可得到jit.log
2,下载JITWatch （a log analyser / visualiser for Java HotSpot JIT compiler. Inspect inlining decisions, hot methods, bytecode, and assembly.）在其目录下运行 mvn clean compile exec:java可打开此工具
附字节码指令，可参考https://docs.oracle.com/javase/specs/jvms/se7/html/jvms-6.html#jvms-6.5.iconst_i

https://docs.oracle.com/javase/specs/jls/se8/html/jls-17.html#jls-17.4 Memory Model

其中关于共享变量Shared Variables：

在前面的代码中，除了使用Djava.compiler=NONE禁用JIT优化，把flag用volatile修饰也可以直到相同的效果。因为volatile：
1，禁止缓存。参考https://docs.oracle.com/javase/specs/jvms/se8/html/jvms-4.html#jvms-4.5：；
2，对volatile相关的指令不做重排序

另外 ，关于对字分裂（word tearing）问题的理解，可参考此文。原因是有些早期的处理器没有提供写单个字节的功能