java并发编程之Volatile详解

前言

在Java中多个线程对公共变量的操作并不是直接在内存中操作的，每一个线程都会有一块自己的工作内存。线程会先从主内存中获取到变量的值到工作内存中进行修改在更新到主内存。假如有两个线程同时对某个变量进行操作，线程A对变量value进行了更新，还没将值回写到主内存中时，线程B也读取了变量value，就会出现脏读现象。

如下面代码，线程t1在休眠1s后对变量number操作，将number改为1。主线程一直阻塞等待直到number！=0才退出while循环。

class Data{
    int number=0;

    public void add(){
        // 将number更新为1
        this.number=1;
    }
}

public class volatileDemo {
    public static void main(String[] args) {
        Data data=new Data();
        //线程t1将变量修改为1
        new Thread("t1"){
            @Override
            public void run() {
                try {
                    Thread.sleep(1000);//休眠1秒
                    data.add();//调用改值方法来改number的值
                    System.out.println(Thread.currentThread().getName()+"更新数字为："+data.number);
                } catch (InterruptedException e) {
                    e.printStackTrace();
                }

            }
        }.start();;

        //主线程一直变量
        while(data.number==0){
            //main线程一直在循环等待，直到number不等于0
            //没添加volatile修饰时，AAA线程修改了number为60
            //但main线程还没收到，main线程的值还是0，就会造成这里一直循环
        }
    }
}

执行发现程序t1修改值后主线程并不能感知到，并且一直执行while循环。

Volatile关键字

像上面所说，那Java如何保证一个线程对公共变量进行修改后其他线程能感知到呢？Java提供了关键字volatile,如果一个字段被声明成volatile，Java线程内存模型就会确保所有线程中看到这个变量的值是一致的。那么volatil是如何保证可见性的呢？具体的实现方式可以查看编译器生成的汇编指令来查看，被volatile修饰的变量在进行写操作的时候会多出第二行汇编代码，会出现lock前缀的指令。Lock前缀的指令在多核处理器下会引发两件事情：

(1)将当前处理器缓存行的数据写回到主内存中。
(2这个写回内存的操作会使在其他CPU中缓存了该变量的数据无效。

如果对声明了volatile的变量进行写操作，JVM就会向处理器发送一条lock前缀指令，将这个变量所在缓存行的数据写回到主内存中。但是就算将变量的值写回到主内存中，其他处理器中的值还是旧的，再执行计算操作就会有问题。所以，在多核处理器下，为了保证各个处理器的缓存是一致的，就会实现缓存一致性协议，每个处理器通过嗅探在总线上传播的数据来检查自己缓存的值是不是过期了，当处理器发现自己缓存行对应的内存地址被修改，就会将当前处理器缓存行的值设为无效并重新到主内存中读取最新的数据。
将number变量使用volatile声明后，main现在可以正常感知t1线程的更新操作，结束进程。

    volatile int number=0;

局限

volatile是无锁操作，是轻量级的synchronized，在某些场景下性能是优于有锁编程的。能保证变量的可见性和有序性，但是并不能保证原子性。如果两个线程同时读写一个共享变量，**仅使用volatile关键字是无法保证原子性的。要保证变量的原子性操作，必须使用synchronized或者是lock。**除此之外，volatile还会禁止指令重排(在不影响运行结果的前提下优化指令的执行顺序），但是指令重排本身就是一项提升性能的技术，也会影响性能。