是的，
value保证对b 的更改是可见的。
JLS
17.4.4。同步命令说：
- 对易失性变量 v （第8.3.1.4节）的写 操作与 任何线程对 v 的所有后续读取进行 同步
（其中“后续”是根据同步顺序定义的）。
JLS
17.4.5。发生在命令之前：
可以通过 事前发生 关系来排序两个动作。如果一个动作 发生在 另一个动作 之前 ，则第一个动作对第二个动作可见，并在第二个动作 之前
排序。如果我们有两个动作 x 和 y ，我们写 hb（x，y） 表示 x发生在y之前 。
如果 x 和 y 是同一线程的动作，并且 x 按程序顺序位于 y 之前，则 hb（x，y） 。
有一个 之前发生 边缘从物体到该对象的终结器（§12.6）的开始的构造的端部。
如果一个动作 x与 后面的动作 y 同步 ，那么我们也有 hb（x，y） 。
如果 hb（x，y） 和 hb（y，z） ，则 hb（x，z） 。
项目符号1说是在
value = 1-之前发生的
read = true。
项目符号3表示
read = true发生 这种 情况-之前
!read。
项目符号1说是在
!read-之前发生的
"Value: " + value。
项目符号4说是
value = 1在…之前发生的
"Value: " + value。
