volatile是什么
轻量级的同步机制
1.保证可见性
2.不保证原子性
3.禁止指令重拍
主内存,线程的工作内存
线程对变量的操作(读取赋值等)必须在工作内存中进行,首先要将变量从主内存拷贝到自己的工作内存中,然后对变量操作,
操作完成后,在将变量写回主内存,不能直接操作主内存中的变量
volatile保证可见性,当一个线程修改了变量后,可以及时的通知到其他的线程
volatile不保证原子性
i++的流程
启动多个线程进行i++操作时,执行结果并不符合预期,对i++进行分析
主内存
线程的工作内存
1.load将i的值拷贝到自己的工作内存中
2.对i的值进行加1
3.将修改后的i的值写回到主内存中
i++分为了3个步骤,在多线程下会出现覆盖更新;
线程1将数值写到主存的时候被挂起,线程2将数值更新到主存,之后线程1将值覆盖,导致不符合预期计算
解决问题1.sync;2.使用atomic包下的类,原子操作
单例模式双if判断对象需要加volatile修饰保证禁止指令重排
private static volatile SingleDemo singledemo = null;
SingleDemo singledemo = new SingleDemo();
可以分成3部分
1.分配对象内存空间
2.初始化对象
3.设置对象的引用指向刚分配的内存地址,此时singledemo!=null
通过指令重排,执行顺序可能为1、3、2
其中2和3不存在数据依赖关系,单线程下是无影响的,但在多线程下
当一条线程访问singledemo不为null时,由于singledemo实例未必已经完成初始化,也就造成了线程安全问题
需要加volatile修饰保证禁止指令重排保证线程安全