(二)-HotSPot虚拟机对象探秘
1 对象的创建过程
当虚拟机遇到一条含有new的指令时,会进行一系列对象创建的操作:
检查常量池中是否有要创建的这个对象所属类的符号引用;
- 若常量池中没有这个类的符号引用,说明这个类还没有被定义!抛出ClassNotFoundException;
- 若常量池中有这个类的符号引用,则进行下一步工作
检查这个符号引用所代表的类是否已经被JVM加载
- 若该类还没有被加载,就找该类的class文件,并加载进方法区
- 若该类已经被JVM加载,则准备为对象分配内存
根据方法区中该类的信息确定该类所需的内存大小
一个对象所需的内存大小是在这个对象所属类被定义完就能确定的!且一个类所生产的所有对象的内存大小是一样的!JVM在一个类被加载进方法区的时候就知道该类生产的每一个对象所需要的内存大小
从堆中划分一块对应大小的内存空间给新的对象,分配堆中内存有两种方式:- 指针碰撞(Bump the Pointer)
如果JVM的垃圾收集器采用复制算法或标记-整理算法,那么堆中空闲内存是完整的区域,并且空闲内存和已使用内存之间由一个指针标记.那么当为一个对象分配内存时,只需移动指针即可.因此,这种在完整空闲区域上通过移动指针来分配内存的方式就叫做”指针碰撞”. - 空闲列表 (Free List)
如果JVM的垃圾收集器采用标记-清除算法,那么堆中空闲区域和已使用区域交错,因此需要用一张“空闲列表”来记录堆中哪些区域是空闲区域,从而在创建对象的时候根据这张“空闲列表”找到空闲区域,并分配内存.
综上所述:JVM究竟采用哪种内存分配方法,取决于它使用了何种垃圾收集器。
为对象中的成员变量赋上初始值(默认初始化);
- 指针碰撞(Bump the Pointer)
设置对象头(Object Header)
- 调用对象的构造函数进行初始化
此时,整个对象的创建过程就完成了.
2 对象的内存布局
一个对象从逻辑角度看,它由成员变量和成员函数构成,从物理角度来看,对象是存储在堆中的一串二进制数,这串二进制数的组织结构如下.
对象在内存中存储的布局分三部分:
- 对象头(Header)
- 实例数据(Instance Data)
对齐补充(Padding)
- 对象头
- 存储对象在运行过程中自身所需要的一些数据:
哈希码、GC分代年龄、锁状态标志、线程持有的锁、偏向线程ID、偏向时间戳等. - 类型指针
即对象指向它的类元数据的指针,JVM通过该指针能确定这个对象是哪个类的实例.
另外,如果对象是一个数组,那么对象头中还要包含数组长度(因为从数组的元数据无法确定数组的大小).
- 存储对象在运行过程中自身所需要的一些数据:
- 实例数据
实例数据部分就是程序定义的各种字段的内容,包含父类和子类的都会记录下来. - 对齐填充(并非必然存在,无特别含义,仅起占位符作用)
HotSpot要求对象的大小必须是8字节的整数倍.
由于对象起始地址必须是8字节的整数倍,但实例数据部分的长度是任意的,因此需要对齐补充字段确保整个对象的总长度为8的整数倍.
- 对象头
3 访问对象的过程
栈上的reference数据存放的是一个地址,那么根据地址类型的不同,对象有不同的访问方式
- 句柄访问方式
Java堆中需要有一块叫做”句柄池”的内存,存放所有对象的地址和所有对象所属类的类信息.
reference中存放的是对象在句柄池中的地址.访问对象时,首先需要通过reference找到该对象的句柄,然后根据句柄中对象的地址再访问对象. 直接指针访问方式
reference直接存放对象地址,从而不需要句柄池,通过引用能够直接访问对象.
但对象所在的内存空间中需要额外的策略存储对象所属的类信息的地址.
两种方式的比较
使用句柄最大好处是reference中存储的是稳定的句柄地址,,在对象被移动时也只改变句柄中的实例数据指针,而reference本身不需要修改;
HotSpot采用直接指针访问方式,因为它只需一次寻址操作,节省了一次指针定位的时间开销,对象的访问又十分频繁,从而性能比句柄访问方式快一倍.