最新有没有字节工牌,Java并发安全的根本原因都得懂

为了应对这种数据读取速率差异,CPU 中增加了高速缓存,来平衡其与内存的速度差异。操作系统通过增加进程、线程,以便与最大可能分时复用 CPU,充分挖掘CPU性能。

在CPU中都会有一个高速缓冲区,在实际运行过程中,CPU首先从计算机主存中将数据复制到高速缓冲区中。CPU在进行运算时,直接基于高速缓冲区的数据进行运算,逻辑运算之后,再将高速缓冲区的数据刷新到主存中。通过这样的方式,CPU的执行指令的速度就可以大大提升。

在单核CPU时代,程序中所有的线程都跑在这颗独苗 CPU 中,由于所有当线程都是操作同一块 CPU 的缓存,因此据一个线程对缓存的操作,对另外一个线程来说一定是可见的。因此不存在线程安全的问题。

在这里插入图片描述

但是当在多核CPU场景下,线程跑在不同当CPU中,因此对变量进行逻辑操作时,对其他线程不可见,因此会存在并发安全问题。

在这里插入图片描述

到此,我们分析出了并发安全的第一个根源,即缓存导致的数据可见性问题,由于存在CPU高速缓存,不同线程所在不同的CPU在计算后结果互不可见,这才导致了并发安全问题。

JVM内存模型

JVM定义的内存模型实际是计算机硬件架构在JVM中的映射体现。内存模型屏蔽了不同操作系统与内存硬件的访问差异。Java的内存模型如图3所示:

在这里插入图片描述

JVM启动运行之后,操作系统边会为该JVM进程分配制定的的内存空间,这部分内存空间即为上图中的主内存。实际我们的Java程序的所有工作都由线程来完成,而每个线程都会有一小块内存,即所谓的工作内存。Java中的线程在执行的过程中,会先将数据从主内存中复制到线程的工作内存,然后再执行计算,执行计算之后,再把计算结果刷新到主内存中。

在这里插入图片描述

我们一起来分析下count++在多线程场景下无法得到预期结果的原因。

在这里插入图片描述

对于count++的操作 看上去是执行了一条指令实际上包含了三条指令。

(1)首先,需要把变量 count 从内存加载到工作线程的工作内存中;

(2)加载后在工作内存中执行 +1 操作;

(3)最后,将计算结果写入内存。

如上文所说的,由于计算机个大部件之间存在数据处理速度差异,处理一项任务时往往是CPU在等待其他部件完成后才进行后续的操作,为了提高CPU的工作效率,可以在CPU等待期间让出CPU使用权,让CPU去处理其他事情,这就是所谓的分时复用。那么在Java多线程场景下,必定也会发生线程切换,如下图所示,由于count++不具备运算的原子性,导致了线程在运行过程中发生线程切换,最终导致输出结果与预期不一致。

在这里插入图片描述

网上学习资料一大堆,但如果学到的知识不成体系,遇到问题时只是浅尝辄止,不再深入研究,那么很难做到真正的技术提升。

需要这份系统化资料的朋友,可以点击这里获取

一个人可以走的很快,但一群人才能走的更远!不论你是正从事IT行业的老鸟或是对IT行业感兴趣的新人,都欢迎加入我们的的圈子(技术交流、学习资源、职场吐槽、大厂内推、面试辅导),让我们一起学习成长!

  • 6
    点赞
  • 7
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值