JMM - Java 内存模型,java多线程面试题选择题大全含答案

这里简单讲一下缓存一致性协议 MESI,当各个 CPU 核心都缓存了一个共享变量时,有任何一个核心对它作出了修改都会让其他核心内对应变量的缓存单元失败(这里失效的是整个 CacheLine,不仅仅是变量所占用的区域)并且把修改值同步到主内存。其他核心如果后续要操作这个变量,必须从主内存读,这样就可以保证各个缓存的一致性。

但引入缓存一致性协议会有很大的性能损耗,为了解决这个问题,又进行了各种优化,这其中就有在计算单元和一级缓存之间引入 StoreBuffer 和 LoadBuffer ,如下图所示:

加入各种Buffer的CPU架构图组

StoreBuffer 和 LoadBuffer 的引入,大大提升了计算机性能,但同时也带来了一些问题:各级缓存之间数据是一致的,但 StoreBuffer 和 LoadBuffer 一级缓存之间的数据却是异步的,这里就会存在一致性问题。

当一个缓存中的数据被修改后,会存到 StoreBuffer 中,而 StoreBuffer 不会立即把修改后的数据同步到主内存,这时其他核心在主内存中读取到就是旧数据,也就是说一个数据在一个核心的写操作会出现对其他核心不可见的情况,这就是内存可见性问题。

重排序

上面讲的内存可见性问题其本质就是 CPU 内存重排序,它是重排序的一种。这里讲一下什么是重排序。

重排序分为三种:编译重排序、CPU 指令重排序和 CPU 内存重排序。

  • 编译器重排序:对于没有先后依赖的语句,编译器可以重新调整语句的顺序;

  • CPU 指令重排序:对于没有先后依赖的指令并行执行;

  • CPU 内存重排序:CPU 有自己的缓存,指令的执行顺序与写入主内存的顺序不一定一致。

编译器重排序对开发者来说是无感知的,我们主要关注的是 CPU 指令重排序和 CPU 内存重排序,这两者都会对运行结果产生影响。

举个例子:假如有 X,Y,a,b 四个共享变量,我们在两个不同的线程分别执行下面的代码:

线程一:

X = 1;

a = Y;

线程二:

Y = 1;

b = X;

这两个线程的执行顺序是不一定的,有可能是顺序执行,也可能是交叉执行,最终结果可能是:

  • a = 0, b = 1 (线程一执行 -> 线程二执行)

  • b = 0, a = 1 (线程二执行 -> 线程一执行)

  • a = 1, b = 1 (两个线程交叉执行)

上面就是 CPU 指令重排序产生的影响。但实际情况会有第四种结果:

  • a = 0, b = 0 (内存重排序)

导致这个结果的原因是两个线程全部或其中一个的写入操作没有同步到主内存中,因此给 a 或 b 赋值时读取到的还是旧值 0,这就是内存可见性问题。

CPU 指令重排序问题我们可以通过锁、CAS 等同步机制来解决,编译器重排序和 CPU 内存重排序都可以通过引入内存屏障来解决,这里主要关注内存屏障在 CPU 重排序的应用。

内存屏障

===================================================================

内存屏障是一个比较底层的概念,它能对重排序作一定的限制,不同的内存屏障对重排序限制不同,一般都是组合使用的。作为 Java 开发者我们知道使用 volatile 关键字修饰的变量不会存在内存可见性问题,它的原理其实就是在对变量的操作前后都加入了两个不同的内存屏障,以保证所有的读写组合都不会发生内存可见性问题。

可以把内存屏障分为四类:

  • LoadLoad:禁止读和读的重排序

  • StoreStore:禁止写和写的重排序

  • LoadStore:禁止读和写的重排序

  • StoreLoad:禁止写和读的重排序

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

深知大多数初中级Java工程师,想要提升技能,往往是自己摸索成长,但自己不成体系的自学效果低效又漫长,而且极易碰到天花板技术停滞不前!

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

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

如果你觉得这些内容对你有帮助,可以添加下面V无偿领取!(备注Java)
img

复习的面试资料

这些面试全部出自大厂面试真题和面试合集当中,小编已经为大家整理完毕(PDF版)

  • 第一部分:Java基础-中级-高级

image

  • 第二部分:开源框架(SSM:Spring+SpringMVC+MyBatis)

image

  • 第三部分:性能调优(JVM+MySQL+Tomcat)

image

  • 第四部分:分布式(限流:ZK+Nginx;缓存:Redis+MongoDB+Memcached;通讯:MQ+kafka)

image

  • 第五部分:微服务(SpringBoot+SpringCloud+Dubbo)

image

  • 第六部分:其他:并发编程+设计模式+数据结构与算法+网络

image

进阶学习笔记pdf

  • Java架构进阶之架构筑基篇(Java基础+并发编程+JVM+MySQL+Tomcat+网络+数据结构与算法

image

  • Java架构进阶之开源框架篇(设计模式+Spring+SpringMVC+MyBatis

image

image

image

  • Java架构进阶之分布式架构篇 (限流(ZK/Nginx)+缓存(Redis/MongoDB/Memcached)+通讯(MQ/kafka)

image

image

image

  • Java架构进阶之微服务架构篇(RPC+SpringBoot+SpringCloud+Dubbo+K8s)

image

image

链图片转存中…(img-QpggViqa-1710972383649)]

  • Java架构进阶之微服务架构篇(RPC+SpringBoot+SpringCloud+Dubbo+K8s)

[外链图片转存中…(img-5pDzT25A-1710972383649)]

[外链图片转存中…(img-pHLmBlYg-1710972383649)]

本文已被CODING开源项目:【一线大厂Java面试题解析+核心总结学习笔记+最新讲解视频+实战项目源码】收录

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

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

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值