易失性担保和无序执行

Question

重要的编辑* 我知道发生 两个分配的线程中 的“发生在前面” ， 我的问题是，当“ a”仍然为空时， 另一个 线程是否有可能读取“
b”为非空。因此，我知道，如果您从与先前调用 setBothNonNull（…）的 线程相同的线程中调用 doIt（）
，则它不会引发NullPointerException。但是，如果一个调用 doIt方法（） 从另一个线程 不同于调用
setBothNonNull（…） ？

*__

请注意，这仅仅是对volatile关键字和volatile保证：这是 不是
对synchronized关键字（所以请不要回答“您必须使用同步”因为我没有任何问题要解决：我只是想了解volatile担保（或缺乏保证）关于乱序执行）。

假设我们有一个包含两个volatileString引用的对象，该对象被构造函数初始化为null，并且只有一种方法可以修改这两个String：通过调用
setBoth（…） ，之后我们只能将它们的引用设置为non-空引用（仅允许构造函数将其设置为空）。

例如（这只是一个例子，没有问题）：

public class SO {

    private volatile String a;
    private volatile String b;

    public SO() {
        a = null;
        b = null;
    }

    public void setBothNonNull( @NotNull final String one, @NotNull final String two ) {
        a = one;
        b = two;
    }

    public String getA() {
        return a;
    }

    public String getB() {
        return b;
    }

}

在 setBothNoNull（…）中 ，分配非空参数“ a”的行出现在分配非空参数“ b”的行之前。

然后，如果我这样做（再次，没有问题，接下来是问题）：

doIt() {
    if ( so.getB() != null ) {
        System.out.println( so.getA().length );
    }
}

我的理解是否正确，由于执行 混乱， 我可以得到 NullPointerException 吗？

换句话说：不能保证因为我读了一个非空的“ b”，所以我会读一个非空的“ a”？

因为由于乱序（多）处理器和volatile工作方式，可以在“ a”之前分配“ b”？

volatile保证写入后的读取将始终看到最后写入的值，但是这里存在乱序的“问题”对吗？（再次，“问题”是故意创建的，以试图理解volatile关键字和Java内存模型的语义，而不是解决问题）。

Answer 1

不，您永远不会获得NPE。这是因为volatile也具有引入事前发生关系的记忆效果。换句话说，它将防止重新排序

a = one;
b = two;

上面的语句，会不会重新排序，并将所有线程将观察值one的a，如果b已经有了价值two。

这是David

Holmes在其中进行解释的线程： http

:

//markmail.org/message/j7omtqqh6ypwshfv#query

:+

page

:1+

mid

:

34dnnukruu23ywzy+state

results

编辑（对后续措施的回应）：福尔摩斯说的是，如果只有线程A ，则编译器 理论上
可以进行重新排序。但是，还有其他线程，它们可以检测到重新排序。这就是为什么不允许编译器进行重新排序的原因。Java内存模型要求编译器专门确保没有线程能够检测到这种重新排序。

但是，如果有人从另一个线程而不是setBothNonNull（…）调用doIt（）呢？

不，您永远不会拥有NPE。volatile语义确实强加了线程间排序。这意味着，对于所有现有线程，的分配one发生在的分配之前two。