Java并发编程(五)------volatile关键字和happen-before详解

最新推荐文章于 2023-04-01 20:20:46 发布

zhumqs

最新推荐文章于 2023-04-01 20:20:46 发布

阅读量786

点赞数 1

分类专栏：线程与并发 Java并发编程文章标签： volatile happen-before Java并发编程 Java内存模型

本文链接：https://blog.csdn.net/DjokerMax/article/details/81291204

版权

本文深入探讨了Java中的volatile关键字及其作用，包括保证可见性和禁止指令重排序。volatile确保变量对所有线程的可见性，但不保证原子性，因此在并发运算时仍需额外同步措施。同时，文章详细介绍了happen-before原则，它是Java内存模型的核心概念，用于保证并发执行的正确性。通过对JMM的设计和happens-before规则的理解，开发者可以更好地编写并发安全的代码。

摘要由CSDN通过智能技术生成

1.volatile是什么？

Java采用共享内存的方式实现消息传递，而共享内存需要依托于同步，Java提供了synchronized、volatile关键字实现同步，而volatile可以说是Java虚拟机提供的最轻量级的同步机制，此外volatile关键字还拥有一些额外的功能。

当一个变量定义为volatile之后，它将具备两种特性：

第一是保证此变量对所有线程的可见性，这里的“可见性”是指当一条线程修改了这个变量的值，新值对于其他线程来说是可以立即得知的。而普通变量不能做到这一点，普通变量的值在线程间传递均需要通过主内存来完成，例如，线程A修改一个普通变量的值，然后向主内存进行回写，另外一条线程B在线程A回写完成了之后再从主内存进行读取操作，新变量值才会对线程B可见
第二是禁止指令重排序优化，普通的变量仅仅会保证在该方法的执行过程中所有依赖赋值结果的地方都能获取到正确的结果，而不能保证变量赋值操作的顺序与程序代码中的执行顺序一致。

1.1volatile变量的可见性

关于volatile变量的可见性，经常会被开发人员误解，认为以下描述成立：“volatile变量对所有线程是立即可见的，对volatile变量所有的写操作都能立刻反应到其他线程之中，换句话说，volatile变量在各个线程中是一致的，所以基于volatile变量的运算在并发下是安全的”。这句话的论据部分并没有错，但是其论据并不能得出“基于volatile变量的运算在并发下是安全的”这个结论。 volatile变量在各个线程的工作内存中不存在一致性问题（在各个线程的工作内存中，volatile变量也可以存在不一致的情况，但由于每次使用之前都要先刷新，执行引擎看不到不一致的情况，因此可以认为不存在一致性问题），但是Java里面的运算并非原子操作，导致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++”之中，我们用Javap反编译这段代码后会得到如下代码清单，发现只有一行代码的increase（）方法在Class文件中是由4条字节码指令构成的（return指令不是由race++产生的，这条指令可以不计算），从字节码层面上很容易就分析出并发失败的原因了：当getstatic指令把race的值取到操作栈顶时，volatile关键字保证了ra