volatile关键字详解

一、JMM对于volatile 的规则

前面我们已经熟悉了JMM内存模型，接下来说几个JMM中的规则：

• 所有的变量必须诞生在主内存中，然后从主内存中进行读取，更新，然后回写回主内存
• 工作内存中的变量改变后必须成功回写到主内存，反之如果没改变则禁止回写到主内存。但是，回写时机不是立刻回写。
• volatile 的变量要求在工作内存中，每次使用前都必须先从主内存刷新最新的值，用于保证能看见其他线程对变量所做的修改。
• volatile 的变量要求在工作内存中，每次修改后都必须立刻同步回主内存中，用于保证其他线程可以看到自己对变量所做的修改。

二、volatile 的使用

从物理存储的角度看，各个线程的工作内存中volatile变量也可以存在不一致的情况，但由于每次使用之前都要先刷新，执行引擎看不到不一致的情况，因此可以认为不存在一致性问题，但是使用volatile关键字还是会存在线程安全问题，看以下案例

/**
 * volatile变量自增运算测试
 */
public class VolatileTest {

    public static volatile int race = 0;

    public static void increase() {
        race++;
    }

    private static final int THREADS_COUNT = 20;

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

        // 等待所有累加线程都结束
        while (Thread.activeCount() > 1)
            Thread.yield();

        System.out.println(race);
    }
}

以上代码发起了20个线程，每个线程对race变量进行10000次自增操作，如果这段代码能够正确并发的话，最后输出的结果应该是200000。但实际上每次运行都是一个小于200000的数字，因为race++不是一个原子操作。

再看一个案例，volatile 正确使用场景：

volatile boolean shutdownRequested;

public void shutdown() {
    shutdownRequested = true;
}

public void doWork() {
    while (!shutdownRequested) {
        // 代码的业务逻辑
    }
}

以上这类场景中就很适合使用volatile变量来控制并发，当shutdown()方法被调用时，能保证所有线程中执行的doWork()方法都立即停下来。

三、总结：

volatile 关键字在并发三特性中只有可见性和有序性，所以并不能保证并发的安全，并发安全还是得使用synchronized 关键字来保证。