具有非最终字段的不可变对象如何成为线程不安全的？

说我们有这个

// This is trivially immutable.
public class Foo {
    private String bar;
    public Foo(String bar) {
        this.bar = bar;
    }
    public String getBar() {
        return bar;
    }
}

是什么让这个线程不安全？从此以后question.

Foo一旦安全发布，它就是线程安全的。例如，这个程序可以打印“不安全”（它可能不会使用热点/x86的组合） - 如果你bar最终它不可能发生：

public class UnsafePublication {

    static Foo foo;

    public static void main(String[] args) {
        new Thread(new Runnable() {
            @Override
            public void run() {
                while (foo == null) {}
                if (!"abc".equals(foo.getBar())) System.out.println("unsafe");
            }
        }).start();

        new Thread(new Runnable() {
            @Override
            public void run() {
                foo = new Foo("abc");
            }
        }).start();
    }
}