volatile关键字用法以及线程数据可见性的问题

最近在研究ConcurrentHashMap的源代码的时候，发现底层实现的Segments使用到了关键字volatile

不太明白这个关键字的用法，查了一些资料总结如下：

volatile 的作用是让变量在多个线程可见。

说实话这个定义也有点笼统，既然看源码了肯定是想知道具体是怎么让多线程可见的。

实际上Java里每个线程工作的时候，都会有自己的一个线程私有工作内存，里面存放着只有本线程可见的变量，这些线程共同连接了一个的公有内存（我理解为Java程序的主内存区）。线程为了运行的效率，除了首次从公有内存获取数据外，读取的数据都是本线程私有工作内存的数据（看到有书上说只有JVM设置-server 参数的时候才会是这样，不过我本地测试的时候有没有这个参数测试结果好像都一样，稍后再查一下这个问题）。

这样的结果就是私有工作内存的值和公有内存的值不同步，即使本线程修改了一个数值，本线程读取的也可能是错误的数值。为了验证这个问题，编写实验代码如下：

class TestThread extends Thread{
    private boolean flag = false;  

    public void setFlag(boolean flag){
        this.flag = flag;
    }

    @Override  
    public void run() {  
        for (;;) {
            if(flag){
                System.out.println("循环结束");  
                System.exit(0);  
            }
        }
    }

    public static void main(String[] args) throws InterruptedException {
        TestThread a = new TestThread();
        a.start();
        //加入休眠，保证线程运行之后才设置标识
        Thread.sleep(10);
        a.setFlag(true);
    }
}

大家可以运行一下，以上代码会死循环。

其原因就是我们修改的flag是公共堆栈的flag，而线程读取的则是线程私有堆栈的flag，两个变量没有同步（主要是a线程一直读取自己的私有堆栈），所以线程没有终止，此时我们给flag变量加上volatile 关键字，上述程序运行正常。

    private volatile boolean flag = false;  

总结

综上，volatile关键字的作用是，强制变量每次都读取公共内存，这样，一旦有线程改变变量的值，其他线程马上就能发现。这就是定义里，所有线程可见的含义。

但是要注意，此关键字只能保证变量的可见性，不能保证原子性，也不会阻塞线程。也就是说多个线程并发修改变量时，还是会有并发性问题。要解决并发性的问题，还是只能用synchronized关键字。应用的场景，就是一旦改动，所有线程都能马上感知到的的情况。例如示例代码设置子线程停止循环的标志。