可变对象java_java – Volatile保证安全发布可变对象？

通过阅读Java Concurrency in Practice

我可以看到：

要安全地发布对象,必须同时使对象的引用和对象的状态对其他线程可见.正确构造的对象可以通过以下方式安全发布：

>从静态初始化程序初始化对象引用

>将对它的引用存储到易失性字段或AtomicReference中

>将对它的引用存储到正确构造的对象的最终字段中

>将对它的引用存储到由a正确保护的字段中

锁.

但是,我对第二个成语感到困惑.由于volatile只能保证引用对另一个线程可见,但它没有引用的对象构造的同步.那么如何保证可变对象被正确构造,构造该对象的线程被另一个线程中断了？

解决方法:

我们需要证明构造一个对象并将其分配给一个volatile变量是在从该变量读取之前发生的.

If x and y are actions of the same thread and x comes before y in program order, then hb(x, y).

因此,从该线程的角度来看,在将对象分配给volatile变量之前,对象的构造就会发生.

If an action x synchronizes-with a following action y, then we also have hb(x, y).

和：

If hb(x, y) and hb(y, z), then hb(x, z).

如果我们可以证明写入volatile变量(action y)同步 – 读取变量(action z),我们可以使用happen-before的传递性来表明在读取对象之前构造对象(action x).幸运的是：

A write to a volatile variable v (§8.3.1.4) synchronizes-with all subsequent reads of v by any thread (where “subsequent” is defined according to the synchronization order).

因此,我们可以看到,当以这种方式发布时,任何线程都可以看到正确构造的对象.

标签：java,multithreading,concurrency,volatile,safe-publication

来源： https://codeday.me/bug/20190611/1218731.html