转载

【深入学习JVM 02】HotSpot虚拟机对象探秘

虚拟机运行时数据区域描述了虚拟机管理的内存划分情况，但是目前我们对于虚拟机还是有很多困惑，比如：

问题1：如何为对象分配内存？
问题2：对象内存模型是怎样的？
问题3：是怎样访问内存中的对象的？
问题4：分配内存的时候如果遇到并发问题，怎么保证分配操作的线程安全性？

为了搞清楚这些问题，我们先从虚拟机是如何创建对象开始讲起。

一、对象创建过程

当虚拟机遇到一条new 指令时，便会进行对象的创建过程。

创建对象的过程如下：

1.检查常量池中有没有这个类的符号引用，并且检查这个符号引用代表的类有没有被虚拟机加载过。

如果没有被加载过，则执行类加载过程，然后进入下一步；如果已加载，则进入下一步。

2.根据方法区中类的信息，在堆区划分一块确定大小的内存给对象。

（经过类加载后，类的信息被保存在方法区中，一个类的对象所需的内存大小也固定下来。）

3.为对象的成员变量赋初始值

内存分配完成之后，需要对分配的内存空间部分区域的内容都初始化为零值。这一步保证了对象成员变量在java代码中可以不赋初始值。

4.设置 对象头 中的信息

关于对象头是什么, 别急，继续往下看。
5.调用 <init> 方法进行初始化

别再问 <init> 是什么了,先往下看。

二、问题1解惑：

在堆区分配内存有两种方式。

指针碰撞法

如果堆中内存是规整的，即所有用过的内存都放在一边，空闲的内存放在另一边，中间用一个指针做分界点的指示器。

分配内存的过程，实际上就是 指针向空闲空间那边移动一段与对象大小相等的距离 。

空闲列表法

java堆中的内存如果不是规整的，就需要使用空闲列表的分配方式。

空闲列表概念：虚拟机维护了一个列表，用于记录哪些内存块是可用的。

在分配的时候，从列表中找到一块满足对象大小的内存空间划分给对象实例，同时会更新列表上的记录。

关于两种分配方式的选择

选择哪种分配方式取决于java堆是否规整。

而java堆是否规整取决于所采用的垃圾收集器是否带有压缩整理的功能。

因此，选择哪种分配方式最终 取决于使用了哪种垃圾收集器 。

使用了指针碰撞的垃圾收集器有哪些？

serial、ParNew等基于复制算法或标记整理（Mark Compact）算法的收集器，不会导致内存碎片，因此使用的是指针碰撞。

采用空闲链表垃圾收集器有哪些？

CMS等基于Mark-Sweep（标记清除）算法的收集器，会产生内存碎片，所以使用空闲列表法。

三、问题2解惑

对象在内存中的数据除了实例本身的数据外，还包括 对象头 和 对齐填充

3.1 实例数据

实例数据存储的是成员变量的值，包括从父类继承下来的成员变量。

成员变量在内存中的顺序：相同宽度的字段会分配在一起，父类定义的变量会出现在子类之前，默认情况下，子类中较窄的变量可能会被插入到父类变量的间隙中。反正就是不一定按定义的顺序来分配。

3.2 对象头是什么？

对象头的作用是记录对象在运行过程中所需的数据。

比如对象属于哪个类的实例、所属类的信息在方法区中的位置（类型指针）、对象的哈希码、对象的GC分代年龄等信息。这些信息就保存在对象头中（Object Header）

3.3 对齐填充又是什么？

对齐填充是用于确保对象的内存的总长度为8字节的整数倍。

为什么要是确保是8字节的整数倍呢？

因为hotspot要求对象起始地址为8字节的整数倍以便于自动内存管理，换句话说，对象的总长度要为8字节的整数倍才能保证如此。而又因为对象头正好是8字节（32位或64位）的整数倍，但是实例数据长度是任意的，因此需要对齐补充来确保整个对象总长度为8字节的整数倍。

四、问题3解惑

java程序需要通过引用来操作堆上的具体数据。根据引用存放的地址类型的不同，对象有不同的访问方式

主要有两种访问方式：

使用句柄访问
使用直接指针访问

4.1 使用句柄访问

堆中会划分一块内存用来做句柄池。引用中存储的就是对象的句柄地址。句柄包含了对象实例数据和对象类型的数据的指针。

通过引用访问对象的时候，会首先根据引用找到对象的句柄，然后根据句柄中对象的地址来访问对象。

4.2 使用直接指针访问

引用中存储的直接是对象的地址，直接通过引用来访问对象。

4.3 两种方式对比

使用句柄
- 优点：引用中存储的是稳定的句柄地址，发生垃圾收集时可能会移动对象，这时候只需要改变句柄中实例数据的指针指向新对象，而引用的值不需要改。
- 缺点：需要两次寻址。
使用直接指针
- 优点：速度快，一次寻址即可。
- 缺点：需要在对象实例的内存中保存一个指向方法区中该类型数据的指针。不过使用句柄方式句柄中也需要保存类型指针。