Java面试-volatile的内存语义

本文详细解读了Java中的volatile关键字,比较了它与synchronized在内存管理和可见性上的异同,强调了volatile的原子性和可见性,以及其在编写多线程程序中的应用。还讨论了volatile重排序规则和内存屏障的实现机制。
摘要由CSDN通过智能技术生成

《一线大厂Java面试题解析+核心总结学习笔记+最新讲解视频+实战项目源码》点击传送门,即可获取!

/**

  • 单个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内存语义。

总结

一般像这样的大企业都有好几轮面试,所以自己一定要花点时间去收集整理一下公司的背景,公司的企业文化,俗话说「知己知彼百战不殆」,不要盲目的去面试,还有很多人关心怎么去跟HR谈薪资。

这边给大家一个建议,如果你的理想薪资是30K,你完全可以跟HR谈33~35K,而不是一下子就把自己的底牌暴露了出来,不过肯定不能说的这么直接,比如原来你的公司是25K,你可以跟HR讲原来的薪资是多少,你们这边能给到我的是多少?你说我这边希望可以有一个20%涨薪。

最后再说几句关于招聘平台的,总之,简历投递给公司之前,请确认下这家公司到底咋样,先去百度了解下,别被坑了,每个平台都有一些居心不良的广告党等着你上钩,千万别上当!!!

Java架构学习资料,学习技术内容包含有:Spring,Dubbo,MyBatis, RPC, 源码分析,高并发、高性能、分布式,性能优化,微服务 高级架构开发等等。

还有Java核心知识点+全套架构师学习资料和视频+一线大厂面试宝典+面试简历模板可以领取+阿里美团网易腾讯小米爱奇艺快手哔哩哔哩面试题+Spring源码合集+Java架构实战电子书。
在这里插入图片描述

《一线大厂Java面试题解析+核心总结学习笔记+最新讲解视频+实战项目源码》点击传送门,即可获取!
以有一个20%涨薪。

最后再说几句关于招聘平台的,总之,简历投递给公司之前,请确认下这家公司到底咋样,先去百度了解下,别被坑了,每个平台都有一些居心不良的广告党等着你上钩,千万别上当!!!

Java架构学习资料,学习技术内容包含有:Spring,Dubbo,MyBatis, RPC, 源码分析,高并发、高性能、分布式,性能优化,微服务 高级架构开发等等。

还有Java核心知识点+全套架构师学习资料和视频+一线大厂面试宝典+面试简历模板可以领取+阿里美团网易腾讯小米爱奇艺快手哔哩哔哩面试题+Spring源码合集+Java架构实战电子书。
[外链图片转存中…(img-153LJz6A-1714695011602)]

《一线大厂Java面试题解析+核心总结学习笔记+最新讲解视频+实战项目源码》点击传送门,即可获取!

  • 25
    点赞
  • 23
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值