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 从而没有阻塞等待,直接拿去操作 导致错误发生。