HotSpot虚拟机对象探秘

本文章以常用的虚拟机HotSpot和常用的内存区域Java堆为例，深入探讨HotSpot虚拟机在Java堆中的对象创建、分配、内存布局、访问的全过程

1.对象的创建

---

        一个简单的创建对象语句Clazz instance = new Clazz();包含的主要过程包括了类加载检查、对象分配内存、并发处理、内存空间初始化、对象设置、执行ini方法等。

                  

---

初始化之前的类加载相关验证

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

为对象分配内存

对象所需内存的大小在类加载完成后便完全确定（对象内存布局），为对象分配空间的任务等同于把一块确定大小的内存从Java堆中划分出来。根据Java堆中是否规整有两种内存的分配方式：（Java堆是否规整由所采用的垃圾收集器是否带有压缩整理功能决定）

指针碰撞(Bump the pointer) 
Java堆中的内存是规整的，所有用过的内存都放在一边，空闲的内存放在另一边，中间放着一个指针作为分界点的指示器，分配内存也就是把指针向空闲空间那边移动一段与内存大小相等的距离。例如：Serial、ParNew等收集器。
空闲列表(Free List) 
Java堆中的内存不是规整的，已使用的内存和空闲的内存相互交错，就没有办法简单的进行指针碰撞了。虚拟机必须维护一张列表，记录哪些内存块是可用的，在分配的时候从列表中找到一块足够大的空间划分给对象实例，并更新列表上的记录。例如：CMS这种基于Mark-Sweep算法的收集器。

对象分配的并发处理

对象创建在虚拟机中时非常频繁的行为，即使是仅仅修改一个指针指向的位置，在并发情况下也并不是线程安全的，可能出现正在给对象A分配内存，指针还没来得及修改，对象B又同时使用了原来的指针来分配内存的情况。

同步 
虚拟机采用CAS配上失败重试的方式保证更新操作的原子性
本地线程分配缓冲（Thread Local Allocation Buffer, TLAB） 
把内存分配的动作按照线程划分为在不同的空间之中进行，即每个线程在Java堆中预先分配一小块内存（TLAB）。哪个线程要分配内存，就在哪个线程的TLAB上分配。只有TLAB用完并分配新的TLAB时，才需要同步锁定。

对象内存初始化

虚拟机将分配到的内存空间都初始化为零值（不包括对象头）,如果使用了TLAB（本地线程分配缓冲 Thread Local Allocation Buffer），这一工作过程也可以提前至TLAB分配时进行。内存空间初始化保证了对象的实例字段在Java代码中可以不赋初始值就直接使用，程序能访问到这些字段的数据类型所对应的零值。

对象设置

虚拟机对对象进行必要的设置，例如这个对象是哪个类的实例、如何才能找到类的元数据信息、对象的哈希码、对象的GC分代年龄等信息。这些信息存放在对象的对象头之中。

执行<init>方法

在上面的工作都完成之后，从虚拟机的角度看，一个新的对象已经产生了。但是从Java程序的角度看，对象的创建才刚刚开始init()方法还没有执行，所有的字段都还是零。所以，一般来说（由字节码中是否跟随invokespecial指令所决定），执行new指令之后会接着执行init()方法，把对象按照程序员的意愿进行初始化，这样一个真正可用的对象才算产生出来。

2. 对象内存布局

在HotSpot虚拟机中，对象的内存布局可以分为3个区域：对象头、实例数据、对齐填充

对象头

对象头主要有两部分，第一部分主要用于存储对象自身的运行时数据（哈希码、GC分代年龄、锁状态标志、线程持有的锁、偏向线程ID等）。另一部分是类型指针,即对象指向它的类元数据的指针，虚拟机通过这个指针来确定这个对象是哪个类的实例。

实例数据

该部分是对象真正存储的有效信息。

3. 对象的访问定位

建立对象是为了使用对象，Java程序需要通过使用栈上的reference来操作堆上的具体对象。目前主流的访问方式是使用句柄和直接指针。

使用句柄的优势：reference中存储的是稳定的句柄地址，在对象被移动的时只会改变句柄中的实例数据指针。

直接访问的优势：速度快，他节省了一次指针定位的时间开销。