Java并发（四）：volatile的内存语义

2401_85958150

于 2024-08-24 14:29:21 发布

阅读量867

点赞数 10

文章标签： java jvm 开发语言

本文链接：https://blog.csdn.net/2401_85958150/article/details/141499262

版权

前面我们已经讲过了volatile的作用、底层实现与内存屏障

下面就总结一下整个流程

volatile可见性实验

举个栗子

在这里插入图片描述

我这里开了两个线程，后面的线程去修改volatile变量，前面的线程不断获取volatile变量，

结果是会一致卡在死循环，控制台没有任何输出

假如将flag让volatile来进行修饰

在这里插入图片描述

结果是：三秒后，就不会不断打印出信息出来

注意，Thread.sleep是会刷新线程内存的，所以不要使用Thread.sleep来分别让一个线程获取两次volatile变量

volatile的特性

volatile其实相当于对变量的单词读或写操作加了锁、做了同步

由于是加了锁，所以就有前面提到的锁的语义，即锁的happens-before，锁的happens-before规定了释放锁的操作对于后续获得锁操作是可见的，所以释放锁的线程对于后续获得锁的线程是可见的，意味着volatile修饰的变量的最后写入是可以被后面获得锁的线程读取的

32位的操作系统去操作64位的变量时，会分成高32位和低32位去执行，但由于锁，会导致这个操作也是具有原子性的，因为锁的语义决定了临界区代码的执行具有原子性，即必须要整个代码块执行完，如果没有锁，那么就不是原子性的，可能会被分成不连续的两步来执行

所以，volatile变量自身是具有下面特性的

volatile 写与读的内存语义

我们先来研究一下什么依赖关系需要volatile

前面提到过总共有三种依赖关系

volatile是实现可见性的，所以写后写就不用考虑了，而且读后写是不需要可见性的，所以需要可见性的是写后读

volatile写的内存语义如下：

当写一个volatile变量时，JMM会把该线程对应的本地内存中的共享变量值刷新到主内存（即不仅修改了本地内存，而且还刷新到了主内存），注意，这个刷新是按缓存行的形式（64字节）

举个栗子

两个线程，A线程修改flag与A，flag与A原本为默认值

在这里插入图片描述

所以volatile的写是有两个操作的，然后这两个操作会合成一个原子操作

volatile的读内存语义为：当读一个volatile变量时，JVM会把线程对应的本地内存置为无效，接下来重新去主内存中读取共享变量，并且更新本地内存，注意：是读的时候会置为无效，假如不读就不会置为无效然后重新获取

还是上面的栗子，不过多了一个线程B，线程B一开始读的是默认值，后来再进行了一次读取

在这里插入图片描述

读写语义对应的其实就是volatile的变量修饰后，会进行怎样的过程

其实volatile的读写语义，就是线程之间的通信，所以volatile也是实现了线程之间的通信，来提供可见性

线程A去写volatile变量，实质上是线程A对其他要操控该volatile变量的其他线程发出了消息，该消息表明了线程A已经把该变量修改了，其他线程需要重新去获取
线程B去读volatile变量时，实质上是线程B接收到了之前某个线程发出的消息（可能没有消息，不过也认为接收到），知道这个变量改了，需要去重新获取
所以A写B读，就实现了两个线程之间的通信，虽然不太严谨，因为可能A不写，B也要读

volatile的实现

前面已经提到过volatile的实现，字节码上加了acc_volatile修饰符，然后指令层面上是使用了内存屏障，下面就来再详细研究