深入理解Java中volatile关键字

最新推荐文章于 2022-05-26 15:55:19 发布

citricl

最新推荐文章于 2022-05-26 15:55:19 发布

阅读量159

点赞数 1

分类专栏：多线程

本文链接：https://blog.csdn.net/qq_42267300/article/details/99434961

版权

多线程专栏收录该内容

5 篇文章 0 订阅

订阅专栏

volatile是什么

volatile是JVM提供的一个轻量级同步实现机制，可以实现一个变量的线程间共享，能够保证变量的可见性。volatile主要有三大特性(这也体现了他的轻量)：

保证可见性
不保证原子性
禁止指令重排

volatile保证可见性

在X86处理器下通过工具获取JIT编译器生成的汇编指令来分析对volatile变量进行写操作时，CPU会做哪些工作
Java代码：

Object instance = new Singleton();

当这个instance不是volatile修饰的变量时，汇编代码是这样的(部分汇编代码)：
在这里插入图片描述
而当我们用volatile修饰这个变量的时候，转成汇编代码后会发现多了一句 lock 前缀的指令：

这个 lock 前缀指令，Intel的手册上对其的解释是：

Causes the processor’s LOCK# signal to be asserted during execution of the accompanying instruction (turns the instruction into an atomic instruction). In a multiprocessor environment, the LOCK# signal insures that the processor has exclusive use of any shared memory while the signal is asserted.

简单来说，这句指令在多核处理器下会引发两件事情：

将当前处理器缓存行的数据写回系统内存
这个写操作会使其他CPU里缓存了该内存地址的数据无效

为了提高处理速度，处理器一般都会先将系统内存的数据拷贝到缓存中再进行操作，但是处理器并不清楚何时将操作之后的数据写回到系统内存中。当声明了volatile变量进行写操作，JVM就会向处理器发送一条 lock 前缀的指令，将这个变量所在的缓存行的数据写回到系统内存，但是又由一个新的问题：即使将新值写回到了系统内存中，其他处理器缓存的数据仍是旧值。所以，在多处理器下，为了保证每个处理器的缓存都是一致的，就会实现缓存一致性协议，每个处理器通过嗅探在总线上的传播的数据来检查自己缓存的值是否已过期，当处理器发现自己缓存行对应的内存地址被修改，就会将当前处理器的缓存行置为无效状态，当处理器对这个值进行操作时，会重新在系统内存中读取数据到处理器缓存中。

volatile不保证原子性

我们先来看一段代码：

public class Test {
    private static volatile int x = 0;
    public static void main(String[] args) {
        for (int i = 0 ; i < 100 ; i++) {
            Thread myThread = new Thread(new Runnable() {
                @Override
                public void run() {
                    for (int i = 0 ; i < 20 ; i++) {
                        x++;				//复合(多个)volatile变量的读/写
                    }
                }
            });
            myThread.start();
        }
        System.out.println(x);
    }
}

按照逻辑来说，100个线程执行结束之后，程序输出的值应该是2000，但是实际上这个值又时会2000的，这是因为x++这一步并不是原子操作，因为它可以分成3步执行：

读取x的值
将x的值+1
将新的x值写回内存
当线程A执行x++;语句时，先是读入x的值为0，倘若此时让出CPU执行权，线程获得执行，线程B会重新从主内存中，读入x的值还是0，然后线程B执行+1操作，最后把x=1刷新到主内存中；线程B执行完后，线程A由开始执行，但之前已经读取到x的值为0，所以它还是在0的基础上执行+1操作，也就是还是等于1，并刷新到主内存中。所以最终的结果是1，所以会出现最终结果小于2000的情况。