Java内存模型

#空杯心态,一切归零#

一:什么是java内存模型

我们通过一张图片来直观的感受下内存模型的抽象概念。

在java内存模型中,本地内存(在java里面其实就是栈空间)被线程私有,主内存是所有线程共享的。对于主内存中的共享变量,每个线程会获取一个共享变量的副本,也就是在本地内存中缓存了一份数据,在线程内部都是对副本进行操作。只有在需要写回到主存时,才会交由JMM来进行控制。如果进行JMM控制,可能在竞态条件下产生线程安全问题。

再通过一张图来看下CPU多级缓存和内存的全貌。

从图中可以看出,L1和L2以及寄存器是CPU私有,L3和主存是多个CPU共享。

补充一点,CPU读取数据时的流程说明:

(1)先读取寄存器的值,如果存在则直接读取

(2)再读取L1,如果存在则先把cache行锁住,把数据读取出来,然后解锁

(3)如果L1没有则读取L2,如果存在则先将L2中的cache行加锁,然后将数据拷贝到L1,再执行读L1的过程,最后解锁

(4)如果L2没有则读取L3,同上先加锁,再往上层依次拷贝、加锁,读取到之后依次解锁

(5)如果L3也没有数据则通知内存控制器占用总线带宽,通知内存加锁,发起内存读请求,等待回应,回应数据保存到L3(如果没有就到L2),再从L3/2到L1,再从L1到CPU,之后解除总线锁定。

回到正题,结合上面的两张图,是否发现结构有些相似。工作内存对应CPU缓存,内存对应L3和RAM,都存在私有和共享。也都采用同样的思想,通过使用缓存提升程序的性能。但是任何事情都有两面性,提升的性能的同时,由此也就衍生出了缓存一致性的问题。

二:缓存一致性是如何解决的

这里主要引出volatile关键字。它的本质是告诉JVM,禁用缓存。

在CPU层面 ,最常用到的缓存一致性协议是MESI协议。主要原理是 CPU 通过总线嗅探机制(监听)可以感知数据的变化从而将自己的缓存里的数据失效,缓存行中具体的几种状态如下:

之前是锁总线,其它CPU对内存的读写请求都会被阻塞,直到锁释放,不过实际后来的处理器都采用锁缓存替代锁总线,因为锁总线的开销比较大,锁总线期间其他CPU没法访问内存。

在JVM层面,JMM通过happen-before规则和内置的八种指令来实现。

happen-before规则:本质上是可见性的问题。就是说一个线程的对共享资源的操作对另一个线程是可见的,另一个线程需要等前一个线程操作结束后,才能执行相关操作。

1、程序的顺序性规则

这条规则是指:在一个线程中,指令按顺序执行,前面的操作 Happens-Before 于后续的任意操作。

2、volatile变量规则

这条规则是指:对一个volatile变量的写操作, Happens-Before 于后续对这个变量的读操作。

3、传递性规则

这条规则是指如果A Happens-Before B,B Happens-Before C,那么A也将Happens-Before C。

4、管程中的锁的规则

这条规则是指:对一个锁的解锁 Happens-Before 于后续对这个锁的加锁操作,即,先解锁才能后加锁。

5、线程的start规则

这条规则是指:如果在线程A中启动线程B,那么该start()操作 Happens-Before 于线程B中的任意操作。

6、线程的join规则

其中的volatile变量规则,就是告诉JVM,缓存失效了,需要在使用时,从主存中获取最新的值。

另外,稍微补充下JMM提供的8条内置指令

从主存同步数据到工作内存时,需要借助read和load指令;从工作内存写回主内存时,需要用到store和write指令。其他线程要往主内存写数据时,会对缓存进行加锁,直至锁释放后才能执行相关操作。

volatile有两层含义:除了禁用缓存,还有禁止指令重排。本质是通过内存屏障来实现,为了实现volatile的内存语义,编译器在生成字节码时,会在指令序列中插入内存屏障来禁止特定类型的处理器重排序。一个读的操作为load,写的操作为store。此处就不展开详细描述了。

三:如何解决一致性、可见性和原子性问题

synchronized和lock:在程序层面进行加锁,解决一致性问题和原子性问题。

volatile:禁用缓存,解决可见性问题。

四:对应用程序按需禁用缓存和编译优化的小建议

其实总的说来,JMM是在安全性和性能上做折中取舍,让程序中可以自己配置一些方式来实现按需禁用的目的。

final:对程序中的一些常量,使用final修饰,告诉JVM,这是一个不可变类型,不用优化。

volatile:对前后有依赖关系的逻辑,使用volatile修饰,告诉JVM,此处不用重排序。

五:写在最后

作为一个老后端程序员,第一次在平台上写技术类的文章,心中有些忐忑,也很惶恐。之前的底子也不怎么扎实,对一些技术也都掌握得不怎么成体系,很多时候,都会陷入一个误区。以为平时看到的文章或者听过的视频,自己都掌握了。但是真需要好好表达出来时候,却是又有些为难。以我自己为例,今日的这篇小文章,差不多耗费了整个下午的时光,删了写,写了删,遇到模棱两可的,再去翻阅资料。知易行难,还好,一切都有个开端,希望通过持续通过这种方式,记录自己对技术的感悟,温故而知新吧。

此处如果有小伙伴有补充的话,也欢迎在评论区留言。欢迎大家指摘,一起共勉。

相关推荐
独行soc2 小时前
#渗透测试#SRC漏洞挖掘#深入挖掘XSS漏洞02之测试流程
web安全·面试·渗透测试·xss·漏洞挖掘·1024程序员节
理想不理想v2 小时前
‌Vue 3相比Vue 2的主要改进‌?
前端·javascript·vue.js·面试
sszmvb12343 小时前
测试开发 | 电商业务性能测试: Jmeter 参数化功能实现注册登录的数据驱动
jmeter·面试·职场和发展
测试杂货铺3 小时前
外包干了2年,快要废了。。
自动化测试·软件测试·python·功能测试·测试工具·面试·职场和发展
王佑辉3 小时前
【redis】redis缓存和数据库保证一致性的方案
redis·面试
真忒修斯之船3 小时前
大模型分布式训练并行技术(三)流水线并行
面试·llm·aigc
ZL不懂前端3 小时前
Content Security Policy (CSP)
前端·javascript·面试
测试界萧萧4 小时前
外包干了4年,技术退步太明显了。。。。。
自动化测试·软件测试·功能测试·程序人生·面试·职场和发展
百事老饼干4 小时前
Java[面试题]-真实面试
java·开发语言·面试
时差9536 小时前
【面试题】Hive 查询:如何查找用户连续三天登录的记录
大数据·数据库·hive·sql·面试·database