java 虚拟机提供的轻量级的同步机制(无锁)
- 保证可见性 (保证数据内存块的可见性,禁止加在引用类型上,有时候有效,有时候无效)
----- 缓存一致性协议(MESI)
----- hotspot 实现 (lock addl 锁总线)- 不保证原子性
- 禁止指令重排 (保证有序性)
使用内存屏障保证有序性
内存屏障: 屏障两边的指令不可以重排! 保障有序!
- 代码中加 volatile
- 字节码表示为 ACC_VOLATILE
- JVM (JSR规范 要求所有虚拟机实现 LoadLoad,StoreStore,LoadStore,StoreLoad 屏障 前后都加)
StoreStore LoadLoad
volatile 读操作 volatile 写操作
StoreLoad (写之前全部读完) LoadStore (读之前全部写完)
DCL(Double Check Lock) 需要加 volatile
- new 对象 并不是原子操作,其步骤参考对象创建过程
- 如果cpu发生指令重排序,init 和 引用关联交换,其他线程有可能会拿到一个半初始化状态的对象
- 虽然volatile 不能完全保证对象的可见性 但是可能保证禁止指令重排序
private volatile Test t;
private int m;
private Test(){
m=8;
}
public static Object test(){
if(t == null){
synchronize(Test.class){
if(t == null){
t = new Test();
}
}
}
return t;
}
