volatile关键字解析-优快云博客

本文链接：https://blog.youkuaiyun.com/weixin_44146398/article/details/140507252

一、volatile介绍

volatile是Java提供的一种轻量级的同步机制，在并发编程中，它也扮演着比较重要的角色。同synchronized相比（synchronized通常称为重量级锁），volatile更轻量级，相比使用synchronized所带来的庞大开销，倘若能恰当的合理的使用volatile，自然是美事一桩。

为了能比较清晰彻底的理解volatile，我们一步一步来分析。首先来看看如下代码

public class volatileDemo1 {
    static boolean flag = true;

    public static void main(String[] args) {
        new Thread(()->{
            System.out.println(Thread.currentThread().getName()+"\t -----come in");
            try {
                TimeUnit.SECONDS.sleep(2);
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
            flag = false;
        },"t1").start();

        new Thread(()->{
            System.out.println(Thread.currentThread().getName()+"\t -----come in");
            while (flag) {

            }
            System.out.println(Thread.currentThread().getName()+"\t -----flag被设置为false，程序停止");
        },"t2").start();
    }
}

上面这个例子，模拟在多线程环境里，t1线程对flag共享变量修改的值能否被t2可见，即是否输出 “-----flag被设置为false，程序停止” 这句话？

这个结论会让人有些疑惑，可以理解。因为倘若在单线程模型里，因为先行发生原则之happens-before，自然是可以正确保证输出的；但是在多线程模型中，是没法做这种保证的。因为对于共享变量flag来说，线程t1的修改，对于线程t2来讲，是"不可见"的。也就是说，线程t2此时可能无法观测到flage已被修改为false。那么什么是可见性呢？

所谓可见性，是指当一个线程修改了某一个共享变量的值，其他线程是否能够立即知道该变更，JMM规定了所有的变量都存储在主内存中。很显然，上述的例子中是没有办法做到内存可见性的。