Java volatile具有synchronized的并发可见性

🕗2019-05-06

volatile用来修饰被不同线程访问和修改的变量，作用是作为指令关键字，确保本条指令不会因编译器的优化而省略，且要求每次直接读值。

看这个例子：

public class ThreadVerify {
    public static Boolean stop = false;
    public static void main(String args[]) throws InterruptedException {
        Thread testThread = new Thread(){
            @Override
            public void run(){
                int i = 1;
                while(!stop){
                    //System.out.println("in thread: " + Thread.currentThread() + " i: " + i);
                    i++;
                }
                System.out.println("Thread stop i="+ i);
            }
        }
        ;
        testThread.start();
        Thread.sleep(1000);
        stop = true;
        System.out.println("now, in main thread stop is: " + stop);
        testThread.join();
    }
}

        这段代码在主线程的第二行定义了一个布尔变量stop, 然后主线程启动一个新线程，在线程里不停得增加计数器i的值，直到主线程的布尔变量stop被主线程置为true才结束循环。

 

主线程用Thread.sleep停顿1秒后将布尔值stop置为true。

 

然而，执行这个Java应用后，你发现它进入了死循环，在任务管理器里发现这个Java程序CPU占用率飙升。

 

原因是什么呢？

以Java内存模型为例，Java内存模型分为主内存(main memory)和工作内存(work memory)。主内存内的变量由所有线程共享，每个线程拥有自己的工作内存，里面的变量包含了线程局部变量。主内存中的变量如果被线程使用到，则线程的工作内存会维护一份主内存变量的副本拷贝。

线程对变量的所有读写操作必须在工作内存中进行，不能直接操作主内存中的变量。不同线程之间也无法直接访问对方的工作内存。线程间变量的传递需通过主内存来完成。

 

如果线程在自己的执行代码里修改了定义在主线程（主内存）中的变量，修改直接发生在线程的工作内存里，然后在某个时刻（Java程序员无法控制这个时刻，而是由JVM调度的），这个修改从工作内存写回到主内存。

 

回到我们的例子。尽管主线程修改了stop变量，但是仅仅修改了主内存中的值，而操作计数器的线程的工作内存里的stop变量还是旧的值，始终为false。因此这个线程陷入了死循环。

知道了原理，解决方案就很简单了。

在stop变量前加上关键字volatile进行修饰，这样在计数器线程里每次读取stop的值时，volatile会强制该线程从主内存读取，而不是从当前线程的工作内存读取。这样就避免了死循环。下图显示1秒钟之后，计数器执行了14亿次。