对象变量的 L 缓存自动优化？

Question

坦率地说，这是this my question 的延续，灵感来自这个答案：https://stackoverflow.com/a/53262717/1479414

假设我们有一个类：

public class Foo {
    private Integer x;

    public void setX(Integer x) {
       this.x = x;
    }

    public Integer getX() {
       return this.x;
    }
}

让我们考虑一个非常具体的场景，当我们只有两个线程与x 变量交互时：

在时间 1，创建线程 T1

在时间 2，T1 设置值：foo.setX(123);

在时间 3，创建线程 T2

在时间 4，T2 读取值：foo.getX();

没有其他线程与此值交互。这两种操作只发生一次。

所以在线程 T2 完成工作之前没有明显的x 值读取操作。

问题是：L 缓存是否存在任何自动优化，可以缓存x 变量的null 值，因此线程T2 将读取其缓存值？ 换句话说，在这种特殊情况下，我们是否需要 volatile 修饰符？

Answer 1

当你创建一个线程时，它会看到创建之前设置的任何值。

在 Memory Visibility Properties 和 JLS-17.4.5 for Java 8 状态下的 Java 11 的 java.util.concurrency 的 Javadoc 中

在线程上启动的调用发生在已启动线程中的任何操作之前。

注意：线程仅读取缓存的值，当它重新读取缓存行中的值时，它已经在其缓存中。如果它读取一个以前从未读取过或不再在缓存中的缓存行，它就不会读取过时的值。

Answer 2

T1 和 T2 是顺序执行的，cache is coherent，尤其是在这种顺序用例中。

所以 T2 在时间 4 是不可能得到空值的。