并发大神请进,一个有关final和不可变对象的内存可见性问题

结贴是美德 2015-04-07 11:13:37
近日正在看CPJ。

16.3节有这么一段描述:


Further之前的前半段。意思是final类型成员的可见性是有保障的。

然后后面又有一段描述:

下面就是SafeStates:


我想问一下,“stashing a reference to a SafeStates in a public static field with no synchronization”这句话是意味着
SafeStates的任何引用也是有可见性保证的呢?
...全文
448 8 打赏 收藏 转发到动态 举报
AI 作业
写回复
用AI写文章
8 条回复
切换为时间正序
请发表友善的回复…
发表回复
v=luozhaogong 2019-01-22
  • 打赏
  • 举报
回复
他是说final字段这样做可以保证可见性, 楼主也可以去看一下,jdk的源码AtomicIntegerArray这个类也是这样保证可见性的,它有一个参数int[] value 楼主,这个是在哪里看的,cpj?可以告诉我吗?谢谢
v=luozhaogong 2019-01-22
  • 打赏
  • 举报
回复
楼主也可以去看一下,jdk的源码AtomicIntegerArray这个类也是这样保证可见性的,它有一个参数int[] value
v=luozhaogong 2019-01-22
  • 打赏
  • 举报
回复
他是说final字段这样做可以保证可见性,楼主,这个是在哪里看的,cpj?可以告诉我吗?谢谢
weixin_41602743 2018-07-03
  • 打赏
  • 举报
回复
给个5星好评哈~ ~
weixin_41602743 2018-07-03
  • 打赏
  • 举报
回复
也就是说,在a线程对这个对象进行初始化的过程中,如果线程b来获取这个对象的status变量,是有值的,但是不能保证status字段里存在那个put进去的值。
weixin_41602743 2018-07-03
  • 打赏
  • 举报
回复
应该是对final变量的赋值操作可以保证可见性,在你这个例子里就是states=new HashMap();
但是后面的put操作就不能保证可见性了。。
skgary 2015-04-08
  • 打赏
  • 举报
回复
楼主,这段说的不只是可见性,而是对于final变量的多线程同步。 其实就是new这个变量的时候,实际上是隐含了同步的。
结贴是美德 2015-04-08
  • 打赏
  • 举报
回复
今天又看了一天,依然不敢确定自己的想法。跪等大神!

62,635

社区成员

发帖
与我相关
我的任务
社区描述
Java 2 Standard Edition
社区管理员
  • Java SE
加入社区
  • 近7日
  • 近30日
  • 至今
社区公告
暂无公告

试试用AI创作助手写篇文章吧