Java 对象的创建过程、内存布局以及访问定位

对象的创建

类加载检查 —>内存分配 —>初始化零值 —> 设置对象头 —> 执行 init() 方法

类加载检查

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

内存分配

类加载检查通过后，虚拟机将为新生对象分配内存。对象所需的内存大小在类加载完成后便可完全确定，为对象分配空间的任务实际上等同于把一块大小确定的内存块从 Java 堆中划分出来。内存分配方式有 “指针碰撞”，“空闲列表” 两种

内存分配方式

选择哪种分配方式由 Java 堆是否规整决定，而 Java 堆是否规整又由采用的垃圾收集器是否带有空间压缩整理的能力决定

1. 指针碰撞
   • 适用场合：堆内存规整的情况（采用标记-复制或者标记-整理算法）
   • 原理：所有用过的内存放在一边，空闲的内存放在另一边，中间有一个指针作为分界点的指示器，所分配的内存就是，将该指针向空闲内存方向移动一段与对象大小相等的距离
2. 空闲列表
   • 适用场合：堆内存不规整 （标记-清除）
   • 原理：虚拟机维护一个列表，记录哪些内存块可用，在分配的时候在列表中找到一块足够大的空间分配给对象实例，并更新列表上的记录

内存分配的并发问题

虚拟机采用两种方式来保证线程安全

1. CAS + 失败重试：CAS 是乐观锁的一种实现方式，每次不加锁而是假设没有冲突去完成某项操作，如果因为冲突失败就重试，直到成功为止。虚拟机采用CAS + 失败重试的方式保证更新操作的原子性

2. 本地线程分配缓冲（TLAB）: 内存分配的动作按照线程划分在不同的空间中进行。每个线程在 Java 堆中预先分配一小块内存，哪个线程要分配内存，就在哪个线程的 TLAB 分配，当 TLAB 用完后再采用上述 CAS 进行内存分配

   通过 -XX+/-UseTLAB来设定是否采用 TLAB

初始化零值

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

设置对象头

初始化零值完成之后，虚拟机要对对象进行必要的设置，例如这个对象是哪个类的实例、如何才能找到类的元数据信息、对象的哈希码、对象的 GC 分代年龄等信息。 这些信息存放在对象头中。 另外，根据虚拟机当前运行状态的不同，如是否启用偏向锁等，对象头会有不同的设置方式

执行 init() 方法

在上面工作都完成之后，从虚拟机的视角来看，一个新的对象已经产生了，但从 Java 程序的视角来看，对象创建才刚开始，构造函数，即<init> 方法还没有执行，所有的字段都还为零。所以一般来说，执行 new 指令之后会接着执行 <init> 方法，把对象按照程序员的意愿进行初始化，这样一个真正可用的对象才算完全产生出来

对象的内存布局

对象在内存中的布局可分为3块区域：对象头，实例数据、对齐填充

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

实例数据部分是对象真正存储的有效信息，也是在程序中所定义的各种类型的字段内容。

对齐填充没有特别的含义，仅仅是起到占位符的作用。由于HotSopt 虚拟机的自动内存管理系统要求对象的起始地址必须是8字节的整数倍，换句话说就是任何对象的大小都必须是8字节的整数倍。对象头部分正好是 8字节的倍数，因此，对象实例数据部分没有对齐的话，就需要对其填充来补全

对象的访问定位

Java 程序会通过栈上的 reference数据来操作堆上的具体数据， 对象的访问方式由虚拟机的实现而定，目前主流的实现方式有 句柄和直接指针两种

• 句柄：

  Java 堆划分出一块内存来作为句柄池，referenc 中存储的就是对象的句柄地址，而句柄包含了对象实例数据与类型数据各自具体的地址信息

  优点：referenc中存储的是稳定的句柄地址，在对象被移动时只会改变句柄中的实例数据地址，而 reference 本身不需要被修改

• 直接指针：

  reference 中存储的直接就是对象地址，如果只是访问对象本身的话，就不需要多一次解决访问的开销

  优点：访问速度快，节省了一次指针定位的时间开销