java – Volatile保证安全发布可变对象?
内容导读
互联网集市收集整理的这篇技术教程文章主要介绍了java – Volatile保证安全发布可变对象?,小编现在分享给大家,供广大互联网技能从业者学习和参考。文章包含1287字,纯文字阅读大概需要2分钟。
内容图文
![java – Volatile保证安全发布可变对象?](/upload/InfoBanner/zyjiaocheng/806/3b53dd785c8f44a09a8ddd4e585a959d.jpg)
通过阅读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 – Volatile保证安全发布可变对象?全部内容,希望文章能够帮你解决java – Volatile保证安全发布可变对象?所遇到的程序开发问题。 如果觉得互联网集市技术教程内容还不错,欢迎将互联网集市网站推荐给程序员好友。
内容备注
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 gblab@vip.qq.com 举报,一经查实,本站将立刻删除。
内容手机端
扫描二维码推送至手机访问。