Java并发-发布不可变对象（实践中的Java并发）

Question

在《 Java Concurrency In Practice》中，作者指出

1. 不变对象可以通过任何机制发布
2. 不可变对象可以在没有附加同步的情况下被任何线程安全地使用，即使不使用同步来发布它们。

这是否意味着以下成语可以发布不可变对象？

public static List<ImmutableObject> list = new ArrayList<ImmutableObject>();

// thread A invokes this method first
public static void methodA () {
    list.add(new ImmutableObject());
}

// thread B invokes this method later
public static ImmutableObject methodB () {
    return list.get(0);
}

会有数据竞赛吗？（这意味着线程B可能无法在线程A添加的列表中看到不可变对象）

非常感谢你。

此外，作者说，如果Resource是不可变的，以下代码是安全的。

@NotThreadSafe
public class UnsafeLazyInitialization {
    private static Resource resource;

    public static Resource getInstance() {
        if (resource == null)
            resource = new Resource();  // unsafe publication
        return resource;
    }
}

第16.3节
初始化安全性的保证允许正确构造的不可变对象在线程之间安全地共享而无需同步，而不管它们如何发布，即使使用数据竞争来发布也是如此。（这意味着unsafeLazyInitialization如果Resource不可变，那实际上是安全的。）

对于该问题的第二部分，将在另一个问题中详细讨论（单击
此处
）

Answer 1

是的，您是对的，这是一场数据竞赛。

只有ImmutableObject是不可变的，并且可以在线程之间安全地共享List，但是您的却没有这些相同的保证，因此在添加ImmutableObject和检索之间存在数据竞争。

在JCIP中，作者表示不可变对象可以安全发布，因为您不必担心做防御性复制之类的事情。

关于：

不可变对象可以在没有附加同步的情况下被任何线程安全地使用，即使不使用同步来发布它们。

该语句意味着给定两个线程都具有A通过任何方式获取的不可变对象的线程，它们都可以使用对象A而不必担心线程安全性问题。