【JVM】Volatile变量的使用

在涉及到并发编程时，我们比较习惯用锁（synchronized）来做线程安全的保障，但其实有些时候我们可以使用Java提供的另一个同步机制vloatile来代替synchronize

Volatile的含义

关键字volatile可以说是Java中最轻量级的同步机制，它的语义可以概括性的叙述为：“保证由volatile修饰的变量，发生任何修改都是对所有线程可见的”。这里的“可见”是指，当某一线程修改了由volatile修饰的变量后，这个改动会立刻被其他线程知道。但这并不表示由volatile修饰的变量是线程安全的，这涉及到Java的内存模型。

Java内存模型

Java的内存模型和物理机的内存模型类似，可以简单的理解为各线程都有一块只属于自己的工作内存，然后整个JVM有一个主内存。变量必须存储于主内存中，工作内存只会保留一个副本。当工作线程要使用到一个变量时，通常会通过指令read从主内存读取该变量的值；然后使用load指令，将读取到的变量值copy到工作线程中，随后执行引擎使用use指令来使用该变量。被使用后的变量，若值有改变的话将会使用assign指令重新赋值到工作内存中，随后调用store指令将新的变量值传递到主内存，最后再调用write指令写入到位于主内存的对应变量中。这一系列操作Java虚拟机并不保证会顺序执行。即一个变量可能已经被load进了工作内存的对应变量中，但是执行引擎可能穿插了好几个其他指令才调用use执行使用该变量。

这种现象也就是所谓的指令重排序，而被volatile修饰的变量可以有效的避免这种情况。这是因为volatile修饰过的变量有几个必须遵守的原则：

• load和use必须连续被调用（即只有后一个指令是use时才能调用load，也只有前一个指令是load时才能调用use）
• assign和store指令同样必须被连续调用

所谓的对volatile修饰的变量进行修改对其他线程是可见的就是由此而来。这表示任何一个线程需要访问到volatile变量时，都必须重新从主内存中读取，且对volatile变量的任何修改都必须立刻同步回主内存。但这并不能保证由volatile修饰的变量就是线程安全的，我们可以通过下面的例子来说明这一点：

public class VolatileTest {
    public static volatile int count = 0;

    public static void add() {
        count++;
    }

    public static void main(String[] args) {
        Thread[] threads = new Thread[20];
        for (int i = 0; i < 20; i++) {
            threads[i] = new Thread(new Runnable() {
                @Override
                public void run() {
                    for (int i = 0; i < 10000; i++) {
                        add();
                    }
                }
            });
            threads[i].start();
        }

        while (Thread.activeCount() > 2) {
            Thread.yield();
        }

        System.out.println(count);
    }
}

若volatile能保证线程安全，则count的值在程序运行结束后应该是200000，但实际上你会发现count的值会小于200000，而且每次运行都会不同。而从Java内存模型对volatile的定义也可以看出volatile并不能保证线程安全，它仅能保证执行引擎每次都是拿到主线程中该变量的最新值，而此时可能其他线程还在修改着该变量的值。

那么volatile应该怎么用呢？既然说它是一种同步机制，那它必然是可以用在某些并发场景的，事实上适合使用volatile的场景必须满足一下约束：

• 运算结果并不依赖变量的当前值，或者能够确保只有单一的先从修改变量的值。
• 变量不需要与其他的状态变量参与不变约束

比如如下这样的伪代码场景就适合使用volatile变量：

volatile boolean shutdownRequested;

public void shutdown() {
	shutdownRequested = true;
}

public void doWork() {
	while (!shutdownRequested) {
		// 代码逻辑....
	}
}

这里使用volatile修饰后的shutdownRequested可以在被修改后，立刻对所有正在执行doWork方法的线程可见。而没有使用volatile变量修饰的话，由于指令重排序的原因，其他线程在执行while时候可能依然会拿自己本身工作线程的值来做判断。

综上，volatile确实不像synchronized那样能保证并发的安全性。它的使用场景有诸多限制，但是合理的使用它将会给你的程序带来性能的提升。因为相比synchronized，volatile修饰的变量在读的性能上实际和普通变量基本一致，而在写上会稍有不如。虽然因为JVM本身对锁提供了许多优化，所以没办法直接说volatile就快过synchronized多少倍，但是在场景允许的情况下，使用volatile代替synchronized肯定是更好的选择。