HotSpot虚拟机对象探秘

一、概述

Java是一门面向对象的编程语言，Java程序运行过程中无时无刻都有新的对象被创建。在语言层面上，创建对象，通常只是需要我们使用一个new的关键字，但在虚拟机中，对象的创建又是一个怎么样的过程呢？

二、对象的创建

2.1 类加载检查

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

2.2 分配内存

类加载检查通过之后，接下来虚拟机将为新生的对象分配内存。对象所需的内存大小在类加载完成后便确定下来的了，为对象分配内存其实就是在Java堆里面把一块确定大小的内存划分出来给对象实例。

分配对象有两种方式：指针碰撞和空闲列表

指针碰撞

假设Java堆中内存是绝对规整的，所有使用过的内存都被放在一边，空闲的内存被放在另一边，中间放着一个指针作为分界点的指示器。那分配内存就仅仅是把指针想空闲内存移动一段和对象大小一样的距离，这就是指针碰撞。

空闲列表

如果Java堆的内存不是规整的，已经被使用的内存和空闲内存相互交错在一起，那就没有办法通过指针移动来实现内存分配了。这是，虚拟机就必须要维护一个列表，记录上哪些内存是可用的，在分配的时候从列表中找到一块足够大的空间划分给对象实例。

选择哪种分配方式由Java堆是否规整来决定，而Java堆是否规整又由所采用的的垃圾回收器是都带有空间压缩（Compact）的能力决定。

2.3 初始化为零值

内存分配完毕之后，虚拟机还必须将分配到的内存空间（不包括对象头）都初始化为零值。这步操作保证了对象实例字段在Java代码中可以不赋初始值就直接使用，史程序能访问到这些字段的数据类型。

2.4 进行必要设置

接下来，Java虚拟机还要将对象进行必要设置，例如这个对象是哪个类的实例、如何才能找到这个类的元数据信息、对象的哈希吗（实际上对象的哈希吗会延后到真正调用Object::hashCode()方法才会计算）、对象的GC分带年龄等信息。这些信息存放在对象头（Object Header）之中。根据虚拟机当前运行状态不同，如是否启动偏向锁等，对象头会有所不同的设置方式。

在上述工作都完成后，从虚拟机的角度看，一个新的对象已经产生了。但是从Java程序角度看，对象的创建才刚刚开始——构造函数，即Class文件中的< init >()方法还没执行。所有的字段都默认是零值，对象需要的其他资源和状态信息也没有按照预期的意图构建好。一般来说，new指令之后会紧接着< init >()方法，按照程序员的意愿对对象进行初始化，这样一个真正可用的对象才算真正被创建出来。

三、对象的内存布局

在HotSpot虚拟机中，对象在堆内存中的存储布局可用划分为三个部分：对象头（Header）、实例数据（Instance Data）、对齐填充（Padding）。

3.1 对象头（Header）

对象头包括两部分呢信息：储存对象自身的运行数据和类型指针。

运行数据

对象自身的运行数据包括哈希码，GC分带年龄，锁状态标志，线程持有的所，偏向线程ID，偏向时间戳等。

类型指针

类型指针即对象指向它的类型元数据的指针，Java虚拟机通过这个指针来确定该对象是哪个类的实例。并不是所有的虚拟机实现都必须在对象数据上保留类型指针，换句话说，查找对象的元数据信息并不一定要经过对象本身。此外，如果对象是一个Java数组，那在对象头中还必须有一块用于记录数据长度的数据，因为虚拟机可以通过普通Java对象的元数据信息确定Java对象的大小，但如果是数组的长度不确定，将无法通过元数据中的信息判断出数组的大小。

3.2 实例数据

实例数据是对象真正存储的有效信息，即我们在程序中所定义的各个类型的字段内容，无论是从父类继承下来的，还是子类中定义的字段都必须保存下来。这部分的存储顺序会受虚拟机分配策略参数和字段在Java源码定义顺序影响。HotSpot虚拟机中，默认分配顺序为longs/doubles、ints、shorts/chars、bytes/boolean、oops(Ordinary Object Pointers)，即相同的宽度的字段总是被分配到一起存放，在满足这个条件的情况下，在父类中定义的变量会出现在子类之前。

3.3 对齐填充（Padding）

对其填充不是必然存在的，也没有特别的含义，它仅仅起着占位符的作用。由于Hotspot的自动内存管理系统要求对象起始地址必须是8字节的整数倍，对象头部分已经被精心设计成正好是8字节的整数倍，因此如果对象实例数据部分没有对齐的话，就需要通过对齐填充来补全。

四、对象的访问定位

创建出来对象自然是为了后续的使用的，我们的Java程序会通过栈上的reference数据来操作堆上的具体对象。reference类型是一个对象引用，对象访问方式由虚拟机决定，主流的访问方式主要有使用句柄和直接指针两种。

句柄访问

Java堆中会划分出一块内存空间来作为句柄池，reference存储的就是句柄池的地址，而句柄中包含了对象的实例数据和类型数据的具体地址信息。

直接指针

使用直接指针访问，Java堆中对象的内存布局就必须考虑如何放置访问类型数据的相关信息，reference中存储的直接就是对象地址，如果只是访问对象本身的话，就不需要多一次间接访问的开销了。

这两种的访问各有各的好处，使用句柄访问最大的好处是reference中存储的是稳定句柄地址，在对象被移动（垃圾收集时移动对象是很常见的）时，只会改变句柄中的实例数据指针，而reference本身不需要修改。

而直接指针访问最大好处就是速度更快，它节省了一次指针定位的时间开销，由于Java中对象的访问十分频繁，所以这类开销积少成多也是一项很可观的执行成本。Hotspot就是使用的直接指针访问的。