jvm中对象的创建过程

最新推荐文章于 2022-08-28 18:16:44 发布

努力努力再努力@x

最新推荐文章于 2022-08-28 18:16:44 发布

阅读量211

点赞数

分类专栏： jvm

本文链接：https://blog.csdn.net/qq_35657661/article/details/103370559

版权

jvm 专栏收录该内容

11 篇文章 0 订阅

订阅专栏

我们在平时的开发中写java代码的时候，如果需要一个对象，利用java关键字new就可以创建好我们需要的对象。但是各位，你们知道就是这个一个简单的new,jvm里面到底经历了多少风风雨雨吗？好的，废话不多，直接开始！（文中讨论的对象限于普通Java对象，不包括数组和Class对象等）的创建

虚拟机遇到一条new指令时，首先将去检查这个指令的参数是否能在常量池中定位到一个类的符号引用，并且检查这个符号引用代表的类是否已被加载、解析和初始化过。如果没有，那必须先执行相应的类加载过程

这段话是我从深入理解jvm里面复制出来的，大家看着是不是很绕，没关系，我画图，如下：
Alt

对象创建的时候就涉及到了内存的分配问题，下面我们继续：

这个地方我继续复制深入理解jvm里面的原话，我感觉里面的原话说的很清楚，我等会只是去给大家分析画图。

   在类加载检查通过后，接下来虚拟机将为新生对象分配内存。对象所需内存的大小在
	类 加载完成后便可完全确定（如何确定将在2.3.2节中介绍），为对象分配空间的任
	务等同于把 一块确定大小的内存从Java堆中划分出来。假设Java堆中内存是绝对规
	整的，所有用过的内 存都放在一边，空闲的内存放在另一边，中间放着一个指针作
	为分界点的指示器，那所分配 内存就仅仅是把那个指针向空闲空间那边挪动一段与
	对象大小相等的距离，这种分配方式称 为“指针碰撞”（Bump the Pointer）。如果
	Java堆中的内存并不是规整的，已使用的内存和空 闲的内存相互交错，那就没有办
	法简单地进行指针碰撞了，虚拟机就必须维护一个列表，记 录上哪些内存块是可用
	的，在分配的时候从列表中找到一块足够大的空间划分给对象实例， 并更新列表上
	的记录，这种分配方式称为“空闲列表”（Free List）。选择哪种分配方式由 Java堆
	是否规整决定，而Java堆是否规整又由所采用的垃圾收集器是否带有压缩整理功能决 
	定。因此，在使用Serial、ParNew等带Compact过程的收集器时，系统采用的分配算法
	是指针 碰撞，而使用CMS这种基于Mark-Sweep算法的收集器时，通常采用空闲列表。
	 除如何划分可用空间之外，还有另外一个需要考虑的问题是对象创建在虚拟机中是
	 非常 频繁的行为，即使是仅仅修改一个指针所指向的位置，在并发情况下也并不是
	 线程安全的， 可能出现正在给对象A分配内存，指针还没来得及修改，对象B又同时
	 使用了原来的指针来 分配内存的情况。解决这个问题有两种方案，一种是对分配内
	 存空间的动作进行同步处理 ——实际上虚拟机采用CAS配上失败重试的方式保证更新
	 操作的原子性；另一种是把内存分 配的动作按照线程划分在不同的空间之中进行，
	 即每个线程在Java堆中预先分配一小块内 存，称为本地线程分配缓冲
	 （Thread Local Allocation Buffer,TLAB）。哪个线程要分配内 存，
	 就在哪个线程的TLAB上分配，只有TLAB用完并分配新的TLAB时，才需要同步锁定。
	  虚拟机是否使用TLAB，可以通过-XX：+/-UseTLAB参数来设定。

通过书上的描述：就是有2个办法去给对象分配内存，选择哪种分配方式由 Java堆是否规整决定，而Java堆是否规整又由所采用的垃圾收集器是否带有压缩整理功能决定。因此，在使用Serial、ParNew等带Compact过程的收集器时，系统采用的分配算法是指针碰撞，而使用CMS这种基于Mark-Sweep算法的收集器时，通常采用空闲列表。
好的，下面我就直接介绍2种分配方法：

指针碰撞

假设Java堆中内存是绝对规整的，所有用过的内存都放在一边，空闲的内存放在另一边，中间放着一个指针作为分界点的指示器，那所分配内存就仅仅是把那个指针向空闲空间那边挪动一段与对象大小相等的距离，这种分配方式称为“指针碰撞”（Bump the Pointer），如图：
在这里插入图片描述
但是也有一个问题，就是如果我们同时新创建的对象很多，这个时候就有了多线程的问题，那么这个时候就此采用了硬件cpu层面的加锁（cas锁机制），有了cas加锁，可以保证新创建的对象一个一个来，都有地方存放。

空闲列表

如果Java堆中的内存并不是规整的，已使用的内存和空闲的内存相互交错，那就没有办法简单地进行指针碰撞了，虚拟机就必须维护一个列表，记录上哪些内存块是可用的，在分配的时候从列表中找到一块足够大的空间划分给对象实例，并更新列表上的记录，这种分配方式称为“空闲列表”（Free List）。如图：
在这里插入图片描述
这里还有个问题，就是多个新创建的对象一块来了，咋样重新分配区域，这里是会创建了缓冲区域，每个线程都会创建一个线程缓冲区域，只有TLAB用完并分配新的TLAB时，才需要同步锁定。
还有个问题，那么线程缓冲区域不够大的时候，如果再来个大的对象，那么这个缓冲区域放不下，就会去创建新的缓冲区域，但是这个时候你能保证没有新的线程去创建缓冲区域吗？那这个时候的缓冲区域的竞争咋办？其实还是cas的硬件层面的加锁机制，一个线程一个线程来。
到此为止，一个对象才是真正的创建成功了。共勉加油