目录

• 使用
• 特征
• • 保存内存可见性
  • 禁止指令重排序
• volatile使用场景
• • boolean标志位
  • 单例模式双重检测锁

使用

保证并发编程的两大特性（可见性、有序性）无法保证原子性
volatile修饰变量

特征

保存内存可见性

volatile修饰的变量不会缓存到工作内存中，每一次读取获取最新volatile变量

禁止指令重排序

为了满足happens-before规则
Java内存不会对volatile指令进行重排序，从而保证对volatile的执行顺序永远是按照书写顺序执行的
happens-before规则：volatile字段的写入操作happen before后续同一个字段的读操作
如何满足happens-before规则？
volatile修饰的变量产生的汇编代码，会存在一个lock前缀，相当于一个内存屏障
a.它确保指令重排序的时候不会将其后面的指令拍到内存屏障之前的位置，也不会
前面的指令排到内存屏障之后。也就是执行到内存屏障这一指令时，在它前面的操作
已经全部执行完成
b.它会强制性的将工作内存的修改立即写入主内存中
c.如果是写操作，它会导致其他线程对应的工作内存中的值是无效值

volatile使用场景

boolean标志位

单例模式双重检测锁

class MySingleton{
   private volatile static MySingleton singleton = null; 
   private MySingleton(){}
   private static final Object lock = new Object();
   public static MySingleton getInstance(){
       if(singleton == null){
           synchronized (lock){
               if(singleton == null){
                //解决多线程环境，A/B线程都同时执行到synchronizedshang
                   singleton = new MySingleton();
               }
           }
       }
       return singleton;
   }
}

volatile使用注意点

volatile对应基本数据类型才有用
volatile保证对象引用，保证对象内部的数据的可见性