一、volatile特性:

volatile是Java虚拟机提供的轻量级的同步机制。主要有三大特性:

  • 保证可见性
  • 不保证原子性
  • 禁止指令重排序

1、保证可见性

1)代码演示

AAA线程修改变量number的值为60,main线程获取到的number值是0,就一直循环等待。

原因:int number = 0;number变量之前没有添加volatile关键字,没有可见性。添加volatile关键字,可以解决可见性问题。



public class VolatileDemo {

    int number = 0;

    public void addTo60() {
        this.number = 60;
    }
    //volatile可以保证可见性,及时通知其他线程,主物理内存的值已经被修改
    @Test
    public void testVolatile() {
        new Thread(() -> {
            System.out.println(Thread.currentThread().getName() + " come in");
            try {
                TimeUnit.SECONDS.sleep(3);
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
            addTo60();
            System.out.println(Thread.currentThread().getName() + " update number value:" + number);

        }, "AAA").start();

        //第2个线程是main线程
        while (number == 0) {
            //main线程就一直等待循环,直到number的值不等于0

        }
        System.out.println(Thread.currentThread().getName() + " mission is over, main thread number value:" + number);

    }
}



2)volatile是如何来保证可见性的呢?

如果对声明了volatile的变量进行写操作,JVM就会向处理器发送一条Lock前缀的指令。

  • 将这个变量所在缓存行的数据写回到系统内存。
  • 这个写回内存的操作会使在其他CPU里缓存了该内存地址的数据无效。

2、不保证原子性

1)代码演示

 volatile修饰number,进行number++操作,每次执行number的返回结果都不一样



public class VolatileDemo {

    volatile int number = 0;

    public void increase() {
        number++;
    }

    public static void main(String[] args) {
        VolatileDemo volatileDemo = new VolatileDemo();
        for (int i = 0; i < 20; i++) {
            new Thread(() -> {
                for (int j = 0; j < 1000; j++) {
                    volatileDemo.increase();
                }
            }).start();
        }

        //等待20个线程处理完,再用main线程取得最终返回结果
        while (Thread.activeCount() > 2) {
            Thread.yield();
        }
        System.out.println(Thread.currentThread().getName() + " finally number value:" + volatileDemo.number);
    }



2)volatile为什么不保证原子性?

 n++被拆分成3个指令:

getfield  从主内存中拿到原始值
iadd      在线程工作内存中进行加1操作
putfield  把累加后的值写回主内存
如果第二个线程在第一个线程读取旧值和写回新值期间读取n的值,
那么第二个线程就会与第一个线程看到同一个值,并执行相同值的加1操作,这也就造成了线程安全失败。

java中volatile的应用场景 java中 volatile_重排序

3)如何解决原子性问题

  • CAS机制:AtomicInteger number = AtomicInteger(0)
  • 锁机制:synchronized、Lock

3、禁止指令重排序

volatile的写-读与锁的释放-获取有相同的内存效果。

 

volatile写-读的内存语义:

当写一个volatile变量时,JMM会把线程A对应的本地内存中的共享变量值刷新到主内存。
当读一个volatile变量时,JMM会把线程B对应的本地内存置为无效。线程接下来将从主内存中读取共享变量。

线程A写一个volatile变量,随后线程B读这个volatile变量,实质上是线程A通过主内存向线程B发送消息。



public class VolatileExample {
    int a = 0;

    volatile boolean flag = false;

    public void writer() {
        a = 1;
        flag = true;
    }


    public void reader() {
        if (flag) {
            System.out.println("resultValue:" + a);
        }

    }
}



 

为了实现volatile的内存语义,编译器在生成字节码时,会在指令序列中插入内存屏障来禁止特定类型的处理器重排序

volatile写插入内存屏障:

java中volatile的应用场景 java中 volatile_重排序_02

volatile读插入内存屏障:

java中volatile的应用场景 java中 volatile_java中volatile的应用场景_03

 二、你在哪些地方用到过volatile

1、单例模式(双重检查锁DCL)

以下代码不一定线程安全,原因是有指令重排序的存在,某个线程执行到第一次检测,读取到的instance不为null时,instance的引用对象可能没有完成初始化
因为instance = new SingletonDemo();可以分为以下3步完成(伪代码)
      memory = allocate(); //1.分配对象内存空间
      instance(memory);    //2.初始化对象
      instance = memory;   //3.设置instance指向刚分配的内存地址,此时instance!=null
      步骤2和步骤3间可能会重排序
使用volatile禁止指令重排序,对volatile变量的写操作都先行发生于后面对这个变量的读操作



public class SignletonDemo {

    private static SignletonDemo instance;

    private SignletonDemo() {
        System.out.println(Thread.currentThread().getName() + " 构造方法SingletonDemo");
    }

    public static SignletonDemo getInstance() {
        //第一次检测
        if (instance == null) {
            //同步
            synchronized (SignletonDemo.class) {
                if (instance == null) {
                    //多线程环境下可能会出现问题的地方
                    instance = new SignletonDemo();
                }
            }
        }
        return instance;
    }
}



2、读写锁手写缓存

3、CAS JUC包中大量使用volatile