Java面试-volatile的内存语义

/**

• 单个volatile写操作

• @param l

*/

public void set(long l) {

v1 = l;

}

/**

• 复合(多个)volatile读&写

*/

public void getAndIncrement() {

v1++;

}

/**

• 单个volatile变量的读

• @return

*/

public long get() {

return v1;

}

}

假设有多个线程分别调用上面程序的3个方法，这个程序在语义上和下面程序等价。

package com.lizba.p1;

/**

•  synchronized等价示例
  

• @Author: Liziba

• @Date: 2021/6/9 21:46

*/

public class SynFeatureExample {

/** 定义一个64位长度的普通变量 */

long v1 = 0L;

/**

• 使用同步锁对v1变量进行写操作

• @param l

*/

public synchronized void set(long l) {

v1 = l;

}

/**

• 通过同步读和同步写方法对v1进行+1操作

*/

public void getAndIncrement() {

long temp = get();

// v1加一

temp += 1L;

set(temp);

}

/**

• 使用同步锁对v1进行读操作

• @return

*/

public synchronized long get() {

return v1;

}

}

如上两个程序所示，一个volatile变量的单个读\写操作，与一个普通变量的读\写操作都是使用同一个锁来同步，它们之间的执行效果相同。

上述代码总结：

• 锁的happens-before规则保证释放锁和获取锁的两个线程之间的内存可见性，这意味着对一个volatile变量的读，总能看到（任意线程）对这个volatile变量最后的写入。

• 锁的语义决定了临界区代码的执行具有原子性。这意味着，即使是64位的long型和double型变量，只要它是volatile变量，对该变量的读/写就具有原子性。如果是多个volatile操作或类似于volatile++这种复合操作，这些操作整体上不具备原子性。

总结volatile特性：

1. 可见性。对一个volatile变量的读，总是能看到（任意线程）对这个volatile变量最后的写入。

2. 原子性。对任意volatile变量的读/写具有原子性，但类似volatile++这种复合操作不具有原子性。

2、volatile写-读建立的happens-before关系

对于程序员来说，我们更加需要关注的是volatile对线程内存的可见性。

从JDK1.5（JSR-133）开始，volatile变量的写-读可以实现线程之间的通信。从内存语义的角度来说，volatile的写-读与锁的释放-获取有相同的内存效果。

• volatile的写和锁的释放有相同的内存语义

• volatile的读和锁的获取有相同的内存语义

代码示例：

package com.lizba.p1;

/**

• @Author: Liziba

• @Date: 2021/6/9 22:23

*/

public class VolatileExample {

int a = 0;

volatile boolean flag = false;

public void writer() {

a = 1; // 1

flag = true; // 2

}

public void reader() {

if (flag) { // 3

int i = a; // 4

System.out.println(i);

}

}

}

假设线程A执行writer()方法之后，线程B执行reader()方法。根据happens-before规则，这个过程建立的happens-before关系如下：

1. 根据程序次序规则，1 happens-before 2， 3 happens-before 4。

2. 根据volatile规则，2 happens-before 3。

3. 根据happens-before的传递性规则，1 happens-before 4。

图示上述happens-before关系：

总结：这里A线程写一个volatile变量后，B线程读同一个volatile变量。A线程在写volatile变量之前所有可见的共享变量，在B线程读同一个volatile变量后，将立即对B线程可见。

​

3、volatile写-读的内存语义

volatile写的内存语义

当写一个volatile变量时，JMM会把该线程对应的本地内存中的共享变量值刷新到主内存。

以上面的VolatileExample为例，假设A线程首先执行writer()方法，随后线程B执行reader()方法，初始时两个线程的本地内存中的flag和a都是初始状态。

A执行volatile写后，共享变量状态示意图。

线程A在写flag变量后，本地内存A中被线程A更新过的两个共享变量的值被刷新到主内存中，此时A的本地内存和主内存中的值是一致的。

volatile读的内存语义

当读一个volatile变量时，JMM会把该线程对应的本地内存置为无效。线程接下来将会从主内存中读取共享变量。

B执行volatile读后，共享变量的状态示意图。

​

在读flag变量后，本地内存B包含的值已经被置为无效。此时，线程B必须从主内存中重新读取共享变量。线程B的读取操作将导致本地内存B与主内存中的共享变量的值变为一致。

​

总结volatile的写和volatile读的内存语义

1. 线程A写一个volatile变量，实质上是线程A向接下来将要读这个volatile变量的某个线程发出了（其对共享变量所做修改的）消息。

2. 线程B读一个volatile变量，实质上是线程B接收了之前某个线程发出的（在写这个volatile变量之前对共享变量所做修改的）消息。

3. 线程A写一个volatile变量，随后线程B读这个volatile变量，这个过程实质上是线程A通过主内存向线程B发送消息。

​

4、volatile内存语义实现

程序的重排序分为编译器重排序和处理器重排序（我的前面的博文内容有写哈）。为了实现volatile内存语义，JMM会分别禁止这两种类型的重排序。

​

volatile重排序规则表

| 是否能重排序 | 第二个操作 | 第二个操作 | 第二个操作 |

| — | — | — | — |

| 第一个操作 | 普通读/写 | volatile读 | volatile写 |

| 普通读/写 | | | NO |

| volatile读 | NO | NO | NO |

| volatile写 | | NO | NO |

上图举例：第一行最后一个单元格意思是，在程序中第一个操作为普通读/写时，如果第二个操作为volatile写，则编译器不能重排序。

总结上图：

• 第二个操作是volatile写时，都不能重排序。确保volatile写之前的操作不会被编译器重排序到volatile之后

• 第一个操作为volatile读时，都不能重排序。确保volatile读之后的操作不会被编译器重排序到volatile之前

• 第一个操作为volatile写，第二个操作为volatile读时，不能重排序。

为了实现volatile的内存语义，编译器在生成字节码时，会在指令序列中插入内存屏障来禁止特定类型的处理器重排序。

JMM采取的是保守策略内存屏障插入策略，如下：

• 在每个volatile写操作屏障前面插入一个StoreStore屏障。

• 在每个volatile写操作的后面插入一个StoreLoad屏障

• 在每个volatile读操作的后面插入一个LoadLoad屏障。

• 在每个volatile读操作的后面插入一个LoadStore屏障。

保守策略可以保证在任意处理器平台上，任意程序中都能得到正确的volatile内存语义。

​

最后

自我介绍一下，小编13年上海交大毕业，曾经在小公司待过，也去过华为、OPPO等大厂，18年进入阿里一直到现在。

深知大多数Java工程师，想要提升技能，往往是自己摸索成长，自己不成体系的自学效果低效漫长且无助。

因此收集整理了一份《2024年Java开发全套学习资料》，初衷也很简单，就是希望能够帮助到想自学提升又不知道该从何学起的朋友，同时减轻大家的负担。

既有适合小白学习的零基础资料，也有适合3年以上经验的小伙伴深入学习提升的进阶课程，基本涵盖了95%以上Java开发知识点，不论你是刚入门Java开发的新手，还是希望在技术上不断提升的资深开发者，这些资料都将为你打开新的学习之门！

如果你觉得这些内容对你有帮助，需要这份全套学习资料的朋友可以戳我获取！！

由于文件比较大，这里只是将部分目录截图出来，每个节点里面都包含大厂面经、学习笔记、源码讲义、实战项目、讲解视频，并且会持续更新！
朋友，同时减轻大家的负担。**

[外链图片转存中…(img-ZWN9d8p9-1715780167537)]

[外链图片转存中…(img-yq5etlH8-1715780167538)]

[外链图片转存中…(img-g8ef8ylQ-1715780167538)]

既有适合小白学习的零基础资料，也有适合3年以上经验的小伙伴深入学习提升的进阶课程，基本涵盖了95%以上Java开发知识点，不论你是刚入门Java开发的新手，还是希望在技术上不断提升的资深开发者，这些资料都将为你打开新的学习之门！

如果你觉得这些内容对你有帮助，需要这份全套学习资料的朋友可以戳我获取！！

由于文件比较大，这里只是将部分目录截图出来，每个节点里面都包含大厂面经、学习笔记、源码讲义、实战项目、讲解视频，并且会持续更新！