如果线程B希望看到线程A所做的更改，那么最后更改只能是volatile变量而不是全部变量吗？

Question

我已经看了这个答案，它说明了如何：

在新的html" target="_blank">内存模型下，当线程A写入易失性变量V，而线程B从V读取时，现在保证了在写入V时A可见的任何变量值对B可见。

因此，给出示例：

public class Main {
    static int value = -1;
    static volatile boolean read;

    public static void main(String[] args) {
        Thread a = new Thread(() -> {
            value = 1;
            read = true;
        });

        Thread b = new Thread(() -> {
            while (!read);

            System.out.println("Value: " + value);
        });

        a.start();
        b.start();
    }
}

value尽管value（仅read）不易变性，但是否保证线程b看到（从-1到1）的更改？

如果是这样的话，给定一系列更改是为了使另一个线程可见，那么除了最后一个可变变量之外，是否要对其他任何变量进行更改有没有目的？

Answer 1

是的，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。