volatile为什么不能保证 i++的线程安全 单例模式的双重检查(DCL)为什么要加volatile

 

volatile 关键字  保证了可见性和 有序性,但不保证原子性  想要保证原子性要 加锁(锁  单独使用也有可见性的保证) 。

原子性:将整个操作视作一个整体是原子性的核心特征,即一个操作或者多个操作,要么全部执行并且执行的过程不会被任何因素打断,要么就都不执行。原子性就像数据库里面的事务一样,他们是一个团队,同生共死。

原子操作(指令步骤层面):是指不会被线程调度机制打断的操作。这种操作一旦开始,就一直运行到结束,中间不会有任何 context switch。

Java 原子操作:参考 https://blog.csdn.net/weixin_38106322/article/details/104625403,相关书籍 java 语言规范。

volatile为什么不能保证 i++的线程安全?因为 i++ 不是原子操作

i++  为什么不是原子操作?i++ 是分为三步 有序 的执行而不是一个整体 : 1 从工作内存读取i值   2.进行计算 3.将值赋给i  (注:后续由jvm将工作内存刷回主内存 不一定立即执行 并且其它线程不一定立即去load)且每个步骤结束都有可能发生调度。用volatile 修饰 虽然保证了 从工作内存写入主内存后其它线程工作内存的可见性,但无法影响其它线程cpu已执行的i++步骤 。从而导致即使加了volatile 也不是线程安全的,   推荐i++ 操作 不用volatile直接加 synchronized锁  或者  更推荐使用 AtomicInteger  CAS类  性能更好   

 单例模式的双重检查(DCL)为什么要加volatile

参考知识(cpu指令的执行: 多流水线并行 单流水线一个一个串行执行,new 一个对象的几个指令的被分拆,无依赖关系的指令不保证先后执行的顺序  导致了指令重排概念的产生)

synchronized的范围:https://blog.csdn.net/qq_39879542/article/details/113778276

多线程情况下   

线程a 获得锁进行对象创建,对象创建也是分步骤的: 1.开辟内存空间 初始化成员变量 为其赋默认值 2.调用对象的默认构造方法 为成员变量进行赋值(比如 int a=5,只有到这一步才赋值5)3.将内存地址赋值给 instance  。步骤1 一定先执行 但步骤2和步骤3 因为不存在 依赖关系 就可能发生指令重排(指令重排的核心是在不会改变单线程的执行结果的情况下指令重排,因此在多线程中是不安全的).   

线程b  在线程a发生了指令重排 执行了指向操作但还未执行构造步骤的同时,进行非空判断 因为地址已经指向了instance 得到false 从而没有阻塞等待,直接拿去操作  导致错误发生。

 

评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值