Java中final字段构造赋值导致多线程执行差异的技术问询

这是个挺有意思的问题，我来帮你拆解下背后的逻辑——核心原因其实和C2编译器的JIT优化策略有关，而不是final字段本身的可见性指令差异。

现象本质 #

你的代码里，主线程调用stopMethod()修改了flag，但当Simple的a是普通字段时，线程A的while(flag)循环永远无法感知到flag的变化；而a被final修饰时，循环能正常退出。这个差异只在C2（Server模式的编译器）下出现，根源是C2的激进优化策略。

普通字段时循环停不下来的原因 #

当a是普通字段时，C2编译器会对runMethod()做两个关键优化：

• 逃逸分析：new Simple(1)创建的对象完全没有逃出runMethod()的范围（既没被返回，也没被其他线程引用），JIT会判定这个对象构造没有任何副作用，甚至直接把对象创建的代码完全消除。
• 循环不变量提升：当循环体被优化成空操作后，C2会认为flag的值在循环内不会被修改（循环里没有内存写操作或内存屏障），于是把flag的读取提升到循环外部，等价于把代码改成了：

  boolean localFlag = this.flag;
  while (localFlag) {
      // 空操作
  }
  

  此时线程A只会读取一次flag到寄存器，之后永远不会去主存读取更新后的flag，循环就会无限运行。

final字段时循环能退出的原因 #

当a被final修饰时，Java内存模型（JMM）对final字段的初始化有特殊语义：构造函数中初始化final字段后，会保证该字段的值对所有线程可见（即使没有volatile修饰）。虽然x86平台下不需要额外汇编指令实现这个语义（x86内存模型本身强有序），但C2编译器会根据final的语义调整优化策略：

• 循环体中包含带final字段的对象构造时，JIT会判定这个操作涉及内存可见性约束，不会完全消除循环体，也不会对flag的读取做循环不变量提升。
• 于是每次循环都会重新从主存读取flag的值，当主线程修改flag为false后，线程A能立刻感知到，循环正常退出。

关于汇编无差异的说明 #

你用hsdis没看到汇编差异，可能是因为：

• 优化是在JIT编译的中间阶段完成的，汇编层面的差异可能很细微（比如是否重复执行内存读取指令）；
• 或者你查看的是未完全优化的汇编版本，需要确保是C2编译后的最终代码（可通过-XX:+PrintCompilation参数确认runMethod()被C2编译）。

验证思路 #

你可以做个小实验：在非final字段的循环体里加一行System.out.println()（或任何带内存屏障的操作，比如读取volatile变量），循环就能正常退出——这些操作会阻止C2做循环不变量提升，强制每次循环都读取主存的flag。

内容的提问来源于stack exchange，提问作者Leon Wong