Java 对象的内存分配过程是如何保证线程安全的？
source link: https://www.tuicool.com/articles/ruEbmuY
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
△Hollis, 一个对Coding有着独特追求的人△
这是Hollis的第 222 篇原创分享
作者 l Hollis
来源 l Hollis（ID：hollischuang）
JVM内存结构，是很重要的知识，相信每一个静心准备过面试的程序员都可以清楚的把堆、栈、方法区等介绍的比较清楚。
上图，是一张在作者根据《Java虚拟机规范（Java SE 8）》中描述的JVM运行时内存区域结构画的。
很多人都知道Java对象是在堆内存中分配空间的（ JIT优化 除外），也知道内存分配过程中是线程安全的，那么虚拟机到底是如何保证线程安全的呢？ 本文就来简单介绍一下。
1
Java对象的内存分配
我们知道，Java是一门面向对象的语言，我们在Java中使用的对象都需要被创建出来， 在Java中，创 建一个对象的方法有很多种，如使用new、使用反射、使用Clone方法等，但是无论如何，对象在创建过程中，都需要进行内存分配。
拿最常见的new关键字举例，当我们使用new创建对象后代码开始运行后，虚拟机执行到这条new指令的时候，会先检查要new的对象对应的类是否已被加载，如果没有被加载则先进行类加载。
在类加载检查通过之后，就需要给对象进行内存分配了，分配的内存主要用来存放对象的实例变量。
在进行内存分配时，需要根据对象中的实例变量情况等信息确定需要分配的空间大小，然后从Java堆中划分出这样一块区域（假设没有JIT优化）。
根据JVM使用的垃圾回收器的类型，因其回收算法不同，会导致堆中内存分配情况不 同。 如标记-清楚算法回收后的内存中会有大量不连续的内存碎片，在给新的对象分配的时候，就需要通过"空闲列表"来确定一块空闲区域。 （这部分不是本文重点，读者可以自行学习一下。 ）
无论那种方式，最终都需要确定出一块内存区域，用于给新建对象分配内存。 我们知道，对象的内存分配过程中，主要是对象的引用指向这个内存区域，然后进行初始化操作。
那么问题就来了：
在并发场景中，如何内存分配过程的线程安全性？ 如果两个线程先后把对象引用指向了同一个内存区域，怎么办。
2
TLAB
一般有两种解决方案：
-
1、对分配内存空间的动作做同步处理， 采用CAS机制，配合失败重试的方式保证更新操作的线程安全性。
-
2、每个线程在Java堆中预先分配一小块内存，然后再给对象分配内存的时候，直接在自己这块"私有"内存中分配，当这部分区域用完之后，再分配新的"私有"内存。
方案1在每次分配时都需要进行同步控制，这种是比较低效的。
方案2是HotSpot虚拟机中采用的，这种方案被称之为TLAB分配，即Thread Local Allocation Buffer。 这部分Buffer是从堆中划分出来的，但是是本地线程独享的。
这里值得注意的是，我们说TLAB时线程独享的，但是只是在“分配”这个动作上是线程独占的，至于在读取、垃圾回收等动作上都是 线程共享的。 而且在使用上也没有什么区别。
另外，TLAB仅作用于新生代的Eden Space，对象被创建的时候首先放到这个区域，但是新生代分配不了内存的大对象会直接进入老年代。 因此在编写Java程序时，通常多个小的对象比大的对象分配起来更加高效。
所以，虽然对象刚开始可能通过TLAB分配内存，存放在Eden区，但是还是会被垃圾回收或者被移到Survivor Space、Old Gen等。
不知道大家有没有想过，我们使用了TLAB之后，在TLAB上给对象分配内存时线程独享的了，这就没有冲突了，但是，TLAB这块内存自身从堆中划分出来的过程也可能存在内存安全问题啊。
所以，在对于TLAB的分配过程，还是需要进行同步控制的。 但是这种开销相比于每次为单个对象划分内存时候对进行同步控制的要低的多。
虚拟机是否使用TLAB是可以选择的，可以通过设置-XX:+/-UseTLAB参数来指定。
3
总结
为了保证Java对象的内存分配的安全性，同时提升效率，每个线程在Java堆中可以预先分配一小块内存，这部分内存称之为TLAB（Thread Local Allocation Buffer），这块内存的分配时线程独占的，读取、使用、回收是线程共享的。
可以通过设置-XX:+/-UseTLAB参数来指定是否开启TLAB分配。
参考资料：
《深入理解Java虚拟机》
https://www.cnblogs.com/straybirds/p/8529924.html https://www.zhihu.com/question/56538259
在 GitHub 更新中 ，欢迎关注，欢迎star。
直面Java第262期：volatile是如何解决有序性问题的？
深入并发第009期：到底什么是Java内存模型？
- MORE | 更多精彩文章 -
如果你喜欢本文,
请长按二维码，关注 Hollis.
转发至 朋友圈 ，是对我最大的支持。
好文章，我 在看 :heart:
Recommend
-
80
问与答 - @whatisnew - 看到有 v 友分享面试经历，我想起来几年面试的时候遇到的一个问题，至今还没有解答：面试官：如何保证内存里的数据永不丢失，包括断电的时候。 我：数据持久化、分布式，配合硬件上的灾备支
-
15
在C语言程序开发中，提到动态内存分配时，基本上每个程序员都明白 calloc() 和 malloc() 库函数的区别——calloc() 函数不仅分配内存，还会将分配后的内存清零，而 malloc() 函数则对分配好的内存不做任何操作。calloc() 函数的效率比 malloc()+memset()...
-
12
C 语言编程经常需要用到数组，若实现能确定数组的长度，非常好实现数组的定义。但是，如果数组的长度需要经过程序运行后才能确定，动态内存分配就比较合适了。开发时，常用的动态内存分配都是一维的，今天需要用到二维动态内存分配，将过程记录在此...
-
3
-
6
V2EX › C++ 请教大家一个 C++内存分配后对象初始化的问题 GKCY · 6 小时 16 分钟前 · 407 次点击
-
6
【多线程进阶】如何保证唱跳rap打篮球的顺序
-
4
我做了个实验-malloc如何动态内存分配？-51CTO.COM 我做了个实验-malloc如何动态内存分配？ 作者：小林coding 2022-03-18 22:39:57 在 Linux 操作系统中，虚拟地址空间的内部又被分为内核空间和...
-
4
presto是如何保证作业内存不会发生冲突和溢出 2022年03月22日 02:41 · 阅读 35 本文分...
-
5
本文已收录到 AndroidFamily，技术和职场问题，请关注公众号 [彭旭锐] 提问。 大家好，我是小彭。
-
6
Java核心知识体系1：泛型机制详解
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK