对象的创建
创建流程
- 虚拟机遇到一条new指令时,首先检查这个对应的类能否在常量池中定位到一个类的符号引用
- 判断这个类是否已被加载、解析和初始化
- 为这个新生对象在Java堆中分配内存空间,其中Java堆分配内存空间的方式主要有两种
- 将分配到的内存空间都初始化为零值
- 设置对象头相关数据
- GC分代年龄
- 对象的哈希码 hashCode
- 元数据信息
- 执行对象方法【static方法–构造方法—方法】
Java堆分配内存的两种方式
- 指针碰撞
- 分配内存空间包括开辟一块内存和移动指针两个步骤
- 非原子步骤可能出现并发问题,Java虚拟机采用CAS配上失败重试的方法保证更新操作的原子性
- 空闲列表
- 分配内存空间包括开辟一夸内存和修改空闲列表两个步骤
- 非原子步骤可能出现并发问题,Java虚拟机采用CAS配上失败重试的方法保证更新操作的原子性
对象内存布局
- 在HotSpot虚拟机中,对象在内存中存储的布局可以分为:对象头,实例数据和对齐填充。
对象头
- 对象头包括两部分信息
- 第一部分用于存储对象自身的运行时数据,如哈希码、GC分代年龄、锁状态标志等。Mark word部分数据的长度在32位和64位虚拟机(为开启压缩指针)中分别为32bit和64bit,一般被设计为非固定的数据结构,以便存储更多的数据信息和复用自己的存储结构。
- 另一部分为类型指针,即对象指向它的类元数据的指针,虚拟机通过这个指针来确定这个对象是哪个类的实例。
实例数据
- 实例数据存储的是真正有效数据,如各种字段内容,各字段的分配策略为longs/doubles、ints、shorts/chars、bytes/boolean、oops(ordinary object pointers),相同宽度的字段总是被分配到一起,便于之后取数据。
- 无论是父类继承下来的,还是在子类中定义的,都要记录起来。
- 父类定义的变量会出现在子类定义的变量的前面。
- 如果CompactFields参数值为true,那么子类中较窄的变量也可能会插入到父类变量的空隙中。
对齐填充
- 对齐填充部分仅仅起到占位符的作业用 【让实例数据保持是8的倍数】
- 当对象实例数据部分没有对齐时,就需要通过对齐填充来补全。
对象访问定位方式
- 当我们在堆上创建一个对象实例后,就要通过虚拟机栈的reference类型数据来操作堆上的对象。
- 现在主流的访问方式有两种【HotSpot虚拟机采用的是第二种】
对象访问方式
- 使用句柄访问对象
- 即reference中存储的是对象句柄的地址,而句柄中包含了对象实例对数据与类型数据的具体地址信息【到对象类型数据的指针和对象实例数据的指针】,相当于二级指针。
- 直接指针访问对象
- 即reference中存储的就是对象地址,相当于一级指针。
访问方式对比
-
垃圾回收分析:
- 句柄访问对象:当垃圾回收移动对象时,reference中存储的地址是稳定的地址,不需要修改,仅需要修改对象句柄的地址;
- 直接指针访问对象:垃圾回收时需要修改reference中的存储的地址。
-
访问效率分析:
- 直接指针对象优于句柄访问,因为句柄访问只进行了一次指针定位,节省了时间开销,而这也是HotSpot采用的实现方式。