volatile 2

为什么没有原子性?(写作废)
对于volatile变量具备可见性,jvm只是保证从主内存加载到线程工作内存的值是最新的,也仅是数据加载时是最新的。但是多线程环境下,数据计算和数据赋值操作可能多次出现,若数据在加载之后,若主内存volatile修饰变量发生修改之后,线程工作内存中的操作将会作废去读主内存最新值,操作出现写丢失的问题,即各线程私有内存和主内存公共内存中变量不同步,进而导致数据不一致。由此可见volatile解决的是变量读时的可见性问题,但无法保证原子性,对于多线程修改主内存共享变量的场景必须使用加锁同步。

volatile变量不适合参与到依赖当前值的运算,如i=i+1;i++之类的。通常volatile用作保存某个状态的boolean或int值。
由于volatile变量只能保证原子性,在不符合以下两条规则的运算场景中,我们仍然要通过加锁来保证原子性。
·1.运算结果并不依赖变量的当前值,或者能够确保只有单一的线程修改变量的值
2.变量不需要与其他的状态变量共同参与不变的约束。

jvm字节码中,i++分为三步,间隙期不同步非原子操作。

重排序:存在数据依赖关系,禁止重排序。
重排序分类和执行流程
源代码–编译器优化重排序–指令级并行重排序–内存系统重排序–最终执行的指令序列

数据依赖性:若两个操作访问同一个变量,且这两个操作中有一个为写操作,此时两操作就存在数据依赖性。

使用场景:
单一赋值
状态标志
开销较低的读,写锁策略
DCL双端锁的发布 单例双重锁传统的情况会有重排序危险,所以外面哪个静态变量加volatile。

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值