java - 在哪些架构/操作系统中，其他线程可以在构造函数调用后看到默认的非最终字段值？

Question

我正在尝试在非最终字段的对象初始化不足的情况下重现内存可见性问题(JLS 17.5 Final Field Semantics，FinalFieldExample 类示例)。它指出“但是，f.y 不是最终的；因此不能保证 reader() 方法看到它的值 4”

我试过这段代码:

public class ReorderingTest2 {


    public static void main(String[] args) {
        for (int i = 0; i < 2500; i++) {
            new Thread(new Reader(i)).start();
            new Thread(new Writer(i)).start();
        }
    }

    static class Reader implements Runnable {
        private String name;

        Reader(int i) {
            this.name = "reader" + i;
        }

        @Override
        public void run() {
            //System.out.println(name + " started");
            while (true) {
                FinalFieldExample.reader(name);
            }
        }
    }

    static class Writer implements Runnable {
        private String name;

        Writer(int i) {
            this.name = "writer" + i;
        }

        @Override
        public void run() {
            //System.out.println(name + " started");
            while (true) {
                FinalFieldExample.writer();
            }
        }
    }

    static class FinalFieldExample {
        int x;
        int y;
        static FinalFieldExample f;

        public FinalFieldExample() {
            x = 3;
            y = 4;
        }

        static void writer() {
            f = new FinalFieldExample();
        }

        static void reader(String name) {
            if (f != null) {
                int i = f.x;
                int j = f.y;
                if (i != 3 || j != 4) {
                    System.out.printf("reader %s sees it!%n", name);
                }
            }
        }
    }

}

如 previous my similar topic - 我已经在装有 Windows 的不同 PC(从 2 核到 8 核)上尝试过，甚至在我们的服务器端 Solaris 32 核心盒上尝试过 - 我无法重现它:f.x 和 f.y - 总是已经正确初始化。

对于 Intel/x86/x64 架构为 I got the answer - 他们有很多 default memery guarantees这可以防止此类构造函数逻辑重新排序。 Solaris/sparc 似乎也是如此？

那么在什么架构/操作系统中可以重现这种重新排序？

Answer 1

阿尔法。 Paul E. McKenney 的书 Is Parallel Programming Hard, And, If So, What Can You Do About It?有一章解释了最重要平台的内存模型。