什么是Java内存模型

这篇文章主要讲解了“什么是Java内存模型”,文中的讲解内容简单清晰,易于学习与理解,下面请大家跟着小编的思路慢慢深入,一起来研究和学习“什么是Java内存模型”吧!

网站建设哪家好,找创新互联公司!专注于网页设计、网站建设、微信开发、微信小程序、集团企业网站建设等服务项目。为回馈新老客户创新互联还提供了汝城免费建站欢迎大家使用!

前言

Java并发编程系列开坑了,Java并发编程可以说是中高级研发工程师的必备素养,也是中高级岗位面试必问的问题,本系列就是为了带读者们系统的一步一步击破Java并发编程各个难点,打破屏障,在面试中所向披靡,拿到心仪的offer,Java并发编程系列文章依然采用图文并茂的风格,让小白也能秒懂。

Java内存模型(Java Memory Model)简称J M M,作为Java并发编程系列的开篇,它是Java并发编程的基础知识,理解它能让你更好的明白线程安全到底是怎么一回事

内容大纲

什么是Java内存模型

硬件内存模型

程序是指令与数据的集合,计算机执行程序时,是C P U在执行每条指令,因为C P U要从内存读指令,又要根据指令指示去内存读写数据做运算,所以执行指令就免不了与内存打交道,早期内存读写速度与C P U处理速度差距不大,倒没什么问题。

C P U缓存

随着C P U技术快速发展,C P U的速度越来越快,内存却没有太大的变化,导致内存的读写(IO)速度与C P U的处理速度差距越来越大,为了解决这个问题,引入了缓存(Cache)的设计,在C P U与内存之间加上缓存层,这里的缓存层就是指C P U内的寄存器与高速缓存L1,L2,L3

什么是Java内存模型

上图可以看出,C P U基本都是在和缓存层打交道,采用缓存设计弥补主存与C P U处理速度的差距,这种设计不仅仅体现在硬件层面,在日常开发中,那些并发量高的业务场景都能看到,但是凡事都有利弊,缓存虽然加快了速度,同样也带来了在多线程场景存在的缓存一致性问题,关于缓存一致性问题后面会说,这里大家留个印象。

Java内存模型

Java内存模型(Java Memory Model,J M M),后续都以J M M简称,J M M 是建立在硬件内存模型基础上的抽象模型,并不是物理上的内存划分,简单说,为了使Java虚拟机(Java Virtual Machine,J V M)在各平台下达到一致的内存交互效果,需要屏蔽下游不同硬件模型的交互差异,统一规范,为上游提供统一的使用接口。

J M M是保证J V M在各平台下对计算机内存的交互都能保证效果一致的机制及规范

什么是Java内存模型

不难发现J M M与硬件内存模型差别不大,可以简单的把线程类比成Core核心线程本地缓存类比成缓存层,如下图所示

什么是Java内存模型

线程A执行流程

  • 线程A从缓存获取变量a

  • 缓存未命中,从主存复制到缓存,此时a0

  • 线程A获取变量a,执行计算

  • 计算结果1,写入缓存

  • 计算结果1,写入主存

线程B执行流程

  • 线程B从缓存获取变量a

  • 缓存未命中,从主存复制到缓存,此时a1

  • 线程B获取变量a,执行计算

  • 计算结果2,写入缓存

  • 计算结果2,写入主存

AB两个线程执行完后,线程A与线程B缓存数据不一致,这就是缓存一致性问题,一个是1,另一个是2,如果线程A再进行一次+1操作,写入主存的还是2,也就是说两个线程对a共进行了3+1,期望的结果是3,最终得到的结果却是2

解决缓存一致性问题,就要保证可见性,思路也很简单,变量写入主存后,把其他线程缓存的该变量清空,这样其他线程缓存未命中,就会去主存加载。

线程A执行流程

  • 线程A从缓存获取变量a

  • 缓存未命中,从主存复制到缓存,此时a0

  • 线程A获取变量a,执行计算

  • 计算结果1,写入缓存

  • 计算结果1,写入主存,并清空线程B缓存a变量

线程B执行流程

  • 线程B从缓存获取变量a

  • 缓存未命中,从主存复制到缓存,此时a1

  • 线程B获取变量a,执行计算

  • 计算结果2,写入缓存

  • 计算结果2,写入主存,并清空线程A缓存a变量

AB两个线程执行完后,线程A缓存是空的,此时线程A再进行一次+1操作,会从主存加载(先从缓存中获取,缓存未命中,再从主存复制到缓存)得到2,最后写入主存的是3Java中提供了volatile修饰变量保证可见性(本文重点是J M M,所以不会对volatile做过多的解读)。

看似问题都解决了,然而上面描述的场景是建立在理想情况(线程有序的执行),实际中线程可能是并发(交替执行),也可能是并行,只保证可见性仍然会有问题,所以还需要保证原子性

原子性

原子性是指一个或者多个操作在C P U执行的过程中不被中断的特性,要么执行,要不执行,不能执行到一半,为了直观的了解什么是原子性,看看下面这段代码

int a=0;
a++;
  • 原子性操作:int a=0只有一步操作,就是赋值

  • 非原子操作:a++有三步操作,读取值、计算、赋值

如果多线程场景进行a++操作,仅保证可见性,没有保证原子性,同样会出现问题。

什么是Java内存模型

并发场景(线程交替执行)

  • 线程A读取变量a到缓存,a0

  • 进行+1运算得到结果1

  • 切换到B线程

  • B线程执行完整个流程,a=1写入主存

  • 线程A恢复执行,把结果a=1写入缓存与主存

  • 最终结果错误

并行场(线程同时执行)

  • 线程A与线程B同时执行,可能线程A执行运算+1的时候,线程B就已经全部执行完成,也可能两个线程同时计算完,同时写入,不管是那种,结果都是错误的。

为了解决此问题,只要把多个操作变成一步操作,即保证原子性

什么是Java内存模型

并发场景(线程A与线程B交替执行)

  • 线程A获取锁成功

  • 线程A读取变量a到缓存,进行+1运算得到结果1

  • 此时切换到了B线程

  • 线程B获取锁失败,阻塞等待

  • 切换回线程A

  • 线程A执行完所有流程,主存a=1

  • 线程A释放锁成功,通知线程B获取锁

  • 线程B获取锁成功,读取变量a到缓存,此时a=1

  • 线程B执行完所有流程,主存a=2

  • 线程B释放锁成功

并行场景

  • 线程A获取锁成功

  • 线程B获取锁失败,阻塞等待

  • 线程A读取变量a到缓存,进行+1运算得到结果1

  • 线程A执行完所有流程,主存a=1

  • 线程A释放锁成功,通知线程B获取锁

  • 线程B获取锁成功,读取变量a到缓存,此时a=1

  • 线程B执行完所有流程,主存a=2

  • 线程B释放锁成功

synchronized对共享资源代码段上锁,达到互斥效果,天然的解决了无法保证原子性、可见性、有序性带来的问题。

虽然在并行场A线程还是被中断了,切换到了B线程,但它依然需要等待A线程执行完毕,才能继续,所以结果的原子性得到了保证。

有序性

在日常搬砖写代码时,可能大家都以为,程序运行时就是按照编写顺序执行的,但实际上不是这样,编译器和处理器为了优化性能,会对代码做重排,所以语句实际执行的先后顺序与输入的代码顺序可能一致,这就是指令重排序

可能读者们会有疑问“指令重排为什么能优化性能?”,其实C P U会对重排后的指令做并行执行,达到优化性能的效果。

重排序前的指令

什么是Java内存模型

重排序后,对a操作的指令发生了改变,节省了一次Load aStore a,达到性能优化效果,这就是重排序带来的好处。

重排遵循as-if-serial原则,编译器和处理器不会对存在数据依赖关系的操作做重排序,因为这种重排序会改变执行结果(即不管怎么重排序,单线程程序的执行结果不能被改变),下面这种情况,就属于数据依赖。

int i = 10int j = 10//这就是数据依赖,int i 与 int j 不能排到 int c下面去int c = i + j

但也仅仅只是针对单线程,多线程场景可没这种保证,假设A、B两个线程,线程A代码段无数据依赖,线程B依赖线程A的结果,如下图(假设保证了可见性

禁止重排场景(i默认0)

  • 线程A执行i = 10

  • 线程A执行b = true

  • 线程B执行if( b )通过验证

  • 线程B执行i = i + 10

  • 最终结果i20

重排场景(i默认0)

  • 线程A执行b = true

  • 线程B执行if( b )通过验证

  • 线程B执行i = i + 10

  • 线程A执行i = 10

  • 最终结果i10

为解决重排序,使用Java提供的volatile修饰变量同时保证可见性、有序性,被volatile修饰的变量会加上内存屏障禁止排序(本文重点是J M M,所以不会对volatile做过多的解读)。

三大特性的保证

特性volatilesynchronizedLockAtomic
可见性可以保证可以保证可以保证可以保证
原子性无法保证可以保证可以保证可以保证
有序性一定程度保证可以保证可以保证无法保证

感谢各位的阅读,以上就是“什么是Java内存模型”的内容了,经过本文的学习后,相信大家对什么是Java内存模型这一问题有了更深刻的体会,具体使用情况还需要大家实践验证。这里是创新互联,小编将为大家推送更多相关知识点的文章,欢迎关注!

当前标题:什么是Java内存模型
本文路径:https://www.cdcxhl.com/article40/jiccho.html

成都网站建设公司_创新互联,为您提供网站内链建站公司软件开发网站收录自适应网站网站建设

广告

声明:本网站发布的内容(图片、视频和文字)以用户投稿、用户转载内容为主,如果涉及侵权请尽快告知,我们将会在第一时间删除。文章观点不代表本网站立场,如需处理请联系客服。电话:028-86922220;邮箱:631063699@qq.com。内容未经允许不得转载,或转载时需注明来源: 创新互联

h5响应式网站建设