三、HotSpot虚拟机对象探秘:
- 对象的创建:
- 检查new指令的参数是否能在常量池中定位到一个类的符号引用,并且检查这个符号引用代表的类是否已被加载、解析和初始化过。如果没有,那必须先执行相应的类加载过程
- 类加载检查通过后,将为新生对象分配内存。对象所需内存大小在类加载完成后便可完全确定。jvm为对象分配空间的方式有两种:
- 假设堆中内存是绝对工整的,所有被使用的内存都放在一边,空闲的内存放在另一边,中间放着一个指针作为分界点的指示器,那所分配的内存就仅仅是把那个指针向空闲空间那边挪动一段与对象大小相等的距离,这种分配方式称为“指针碰撞”(Bump the Pointer)。
- 如果Java堆中的内存并不是规整的,已使用的内存和空闲的内存相互交错,虚拟机就必须维护一个列表,记录上哪些内存块是可用的,在分配时从列表中找到一块足够大的空间划分给对象实例,并更新列表上的记录,这种分配方式称为“空闲列表”(Free List)。
- 选择哪种分配方式由Java堆是否规整决定,Java堆是否规整由所采用的垃圾收集器是否带有压缩整理功能决定
- 内存分配完成后,虚拟机要把分配到的内存空间都初始化为零值(不包括对象头),这一步保证了对象的属性在Java代码中可以不赋初始值就直接使用,程序能访问到这些属性的数据类型所对应的零值
- 之后会对对象进行必要的设置,如:这个对象是哪个类的实例、如何找到类的元数据信息、对象的哈希码、对象的GC分代年龄等信息。这些信息存在对象的对象头(Object Header)中
- 对象的内存布局:
- 对象的内存布局可以分为三个区域:对象头(Header)、实例数据(Instance Data)、对齐填充(Padding)。
- 对象头包含两部分信息:
- 第一部分用于存储对象自身的运行时数据,如哈希码(HashCode)、GC分代年龄、锁状态标志、线程持有的锁、偏向线程ID、偏向时间戳等
- 第二部分是类型指针,即对象指向它的类元数据的指针,虚拟机通过这个指针来确定这个对象是哪个类的实例
- 另外,如果对象是一个Java数组,那在对象头中还必须有一块用于记录数组长度的数据
- 实例数据是程序代码中所定义的各种类型的字段内容。无论是从父类继承下来的,还是子类中定义的,都需要记录下来。
- 对齐填充并非必然存在的,它仅仅起着占位符的作用。因为HotSpot VM自动内存管理要求对象起始地址必须是8字节的整数倍,也就是说对象的大小必须是8字节的整数倍,因此,当对象实例数据部分没有对齐时,就需要通过对齐填充来补全
- 对象的访问定位:
- 使用句柄访问:如果使用句柄访问,那么Java堆中将划分出一块内存来作为句柄池,Java堆中的reference数据存储的就是对象的句柄地址,而句柄中包含了对象实例数据与类型数据各自的具体地址信息,如图:
- 使用句柄访问:如果使用句柄访问,那么Java堆中将划分出一块内存来作为句柄池,Java堆中的reference数据存储的就是对象的句柄地址,而句柄中包含了对象实例数据与类型数据各自的具体地址信息,如图:
- 使用指针访问:如果使用直接指针访问,那么Java堆对象的布局中就必须考虑如何放置访问类型数据的相关信息,而reference中存储的直接就是对象地址,如图:
- 两种对象访问方式各有优势,使用句柄访问的最大好处是reference中存储的是稳定的句柄地址,在对象被移动(垃圾收集时移动对象是普遍行为)时只会改变句柄中实例数据的指针,而reference本身不需要修改。使用直接指针访问的最大好处时速度更快,它节省了一次指针定位的时间开销