深入理解Java虚拟机（学习笔记） - Day2 - 对象

对象的创建

1. 类加载检查

   当遇到new指令时，首先会检查常量池中是否能定位到一个类的符号引用，并且检查这个类的符号引用代表的类是否已经被加载、解析和初始化过，如果没有，就必须先执行类加载过程

2. 为新生对象分配内存

   内存分配一般有两种方式，

   “指针碰撞（Bump The Pointer）”：

   假设Java堆中的内存都是规整的，所有用过的内存放在一边，没用过的内存放在另一边，中间放着作为分界点的指示器，这种状态下，为新生对象分配内存就是讲指示器往没有用过的一边移动相应的大小即可。

   “空闲列表（Free List）”：

   如果Java堆中的内存不是规整的，那么就无法使用上面的方式来分配内存，此时JVM会维护一个可用内存空间的列表，标记出那些内存是可以被使用的，然后在为新生对象分配内存时在该列表中寻找到一块足够大的内存空间即可。

   Java堆 内存是否规整，取决于采用的垃圾收集器是否带有压缩整理的功能。当使用Serial、ParNew等带Compact算法的收集器时，系统采用的分配内存的方式是“Bump The Pointer”，当使用**“CMS”这种基于“Mark and Sweep”**算法的收集器，通常选择“Free List”方式。

3. 在并发的情况下，对象的创建是非线程安全的，为了解决线程安全的问题，有两种解决方法：

   • 对分配内存空间的动作进行同步处理，JVM采用CAS加失败重试的方式保证更新操作的原子性
   • 把内存分配的动作按照线程划分在不同的空间之中进行，每个线程在Java堆中预先分配一块小内存，称为本地线程分配缓冲**（Thread Local Allocation Buffer，TLAB）**，当线程需要分配内存的时候，就在该线程的TLAB上分配，只有当TLAB用完并重新分配TLAB时，才需要进行同步。JVM是否使用TLAB，可以用过参数（-XX:+/-UseTLAB）来设定

4. 初始化零值（不包括对象头）

   JVM对对象进行必要的设置，该对象属于哪个类的实例，如何才能找到类的元数据信息，对象的HashCode，对象的GC分代年龄，这些信息存放在对象的对象头中，根据虚拟机的运行状态的不同，对象头会有不同的设置方式

5. 此时在JVM看来，对象已经被创建了，但是对于Java程序来说，对象的创建才刚刚开始，执行完new指令之后，会执行方法，把对象按照程序员的意愿进行初始化。

对象的内存布局

在Hotspot虚拟机中，对象在内存中的布局分为3块区域：对象头（Header）、实例数据（Instance Data）、对齐填充（Padding）

对象头

包括两部分，Mark Word，类型指针。MarkWord用于存储对象自身运行时数据，如HashCode、GC分代年龄、锁状态标志、线程持有的锁、偏向线程ID、偏向时间戳。类型指针，指向该对象的类的元数据信息的指针，虚拟机通过该指针来确定对象属于哪个类的实例。

实例数据

包含各种字段内容，包括子类定义的和从父类中继承的

对齐填充

这部分不是必有的，作为占位符使用，HotSpot虚拟机规定对象的起始位置必须为8字节的整数倍

对象的访问定位

我们通过栈上的reference来操作堆中的具体对象，目前主流的访问方式有**“句柄访问”和“直接指针”**两种方式。

句柄访问

reference中存储的是对象的句柄地址，句柄中包含了对象实例数据与类型数据各自的具体地址信息。

直接指针

reference中存储的是对象的地址