测试最终字段的初始化安全性

Question

我试图简单地测试JLS保证的最终字段的初始化安全性。这是我写的论文。但是，根据我当前的代码，我无法使其失败。有人可以告诉我我做错了什么吗，或者这只是我必须一遍又一遍然后看到失败的时机而已？

这是我的代码：

public class TestClass {

    final int x;
    int y;
    static TestClass f;

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

    static void writer() {
        TestClass.f = new TestClass();
    }

    static void reader() {
        if (TestClass.f != null) {
            int i = TestClass.f.x; // guaranteed to see 3
            int j = TestClass.f.y; // could see 0

            System.out.println("i = " + i);
            System.out.println("j = " + j);
        }
    }
}

我的线程正在这样调用它：

public class TestClient {

    public static void main(String[] args) {

        for (int i = 0; i < 10000; i++) {
            Thread writer = new Thread(new Runnable() {
                @Override
                public void run() {
                    TestClass.writer();
                }
            });

            writer.start();
        }

        for (int i = 0; i < 10000; i++) {
            Thread reader = new Thread(new Runnable() {
                @Override
                public void run() {
                    TestClass.reader();
                }
            });

            reader.start();
        }
    }
}

我已经多次运行过这种情况。我当前的循环产生了10,000个线程，但是我已经完成了1000、100000，甚至一百万个线程。仍然没有失败。我总是看到3和4这两个值。我怎样才能使它失败？

Answer 1

从Java 5.0开始，您可以确保所有线程都将看到构造函数设置的最终状态。

如果您希望看到此失败，则可以尝试使用像1.3这样的旧JVM。

我不会打印出所有测试，而只会打印出故障。您可能在一百万失败中失败，但是错过了。但是，如果仅打印故障，则应该很容易发现它们。

看到此失败的一种更简单的方法是将其添加到编写器中。

f.y = 5;

并测试

int y = TestClass.f.y; // could see 0, 4 or 5
if (y != 5)
    System.out.println("y = " + y);