《深入理解Java虚拟机》第三版 第二章（2）

前面已经总结过JVM中有关内存区域的知识，接下来总结一下Java堆中关于对象的分配、布局和访问。

2.3对象创建、内存分配、访问

1、创建

当Java程序运行中，碰见new后，如果这个new指令可以在常量池中定位、并且类已经被加载初始化过（未曾加载过的会在后续介绍），对象加载后确认内存大小，在Java堆上划分出确定大小的内存块，如果内存为连续规整的，将采用“指针碰撞”的方式分配（一个指针将一使用的区域和空白区域划分开，新的内存被分配后指针像空白区域移动相应大小的距离）；如果内存并不规整，采用“空闲列表”分配（不规整时，已使用内存和空闲内存相互交错，JVM自动创建一个列表记录空闲内存，分配时在列表上划分具有足够大小的空间进行分配，并更新列表记录），Java堆是否规整需要参照GC是否带有空间压缩整理功能。
为了保证对象创建时内存分配的线程安全，也规定了两种方式：一种是分配内存空间的动作进行同步处理，另一种是每个线程预先分哦欸一小块内存，称为本地线程分配缓冲（TLAB），然后在各自线程的缓冲区内分配，只有本地线程区分配完了，分配新的缓存区才需要同步锁定。
分配完成之后，虚拟机会将分配到的内存空间初始化为零值，以保证对象的实例字段在不赋初始值时就可以调用。
接下来，JVM将对对象进行必要的设置，例如这个对象是那个类的实例‘如何寻找元数据信息’对象的哈希码等，以上工作都完成后，程序接着执行Class文件中的()方法，按照程序员的意愿进行初始化，至此，一个对象才算构造完毕。

2、内存分布

在HotSpot VM中，对象的存储布局划分为三个部分：对象头（Header）、实例数据（Instance Data）、对其填充（Padding）。
对象头包含了两类信息：第一类用于存储对象自身的运行时数据，如哈希码、GC分代年龄等（这一部分被称为“Mark Word”，详见电子版P84）；另一部分是类型指针，及对象指向它的类型元数据的指针，Java虚拟机通过这个指针来确定该对象是哪个类的实例。
实例数据部分存储的是对象真正存储的有效信息，及我们在代码中定义的各种类型的字段，不论是继承父类的还是子类中定义的字段都会记录下来。
对其填充并不是必然存在的，并不包含什么特殊含义，仅仅在内存中起着占位符的作用，HotSpot规定对象起始地址必须是8字节的整数倍，所以当前两部分内存不满足8字节的整数倍时，需要对齐填充来补全。

3、访问定位

主流的访问方式主要有使用句柄和直接指针两种。
如果使用句柄访问的话，Java堆中将可能会划分出一块内存来作为句柄池，reference中存储的就是对象的句柄地址，而句柄中包含了对象实例数据与类型数据各自具体的地址信息，其结构如图所示。

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

两种对象访问方式各有优劣，使用句柄方便更新指向对象的地址，而使用指针速度较快，不同语言、框架中访问方式各有不同，HotSpot使用指针的方式进行对象的访问。