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

在单核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++不具备运算的原子性，导致了线程在运行过程中发生线程切换，最终导致输出结果与预期不一致。

我们把一个或者多个操作在 CPU 执行的过程中不被中断的特性称为原子性。如上面的例子，如果保证了count++的原子特性，那么就不会有并发安全问题了。

总结

本文从计算机内存模型出发，再到JVM内存，分析了Java并发安全问题根本原因分别是多线程下的数据可可见性以及线程切换带来的原子性问题。那么这些问题应该怎么解决呢？在下一篇文章中，我们再继续探讨。

给大家的福利

零基础入门

对于从来没有接触过网络安全的同学，我们帮你准备了详细的学习成长路线图。可以说是最科学最系统的学习路线，大家跟着这个大的方向学习准没问题。

同时每个成长路线对应的板块都有配套的视频提供：

因篇幅有限，仅展示部分资料

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

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

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