深刻理解Java虚拟机——对象的实例化内存布局与访问定位——超级详细篇

深刻理解Java虚拟机——Java虚拟机介绍
深刻理解Java虚拟机——类加载子系统
深刻理解Java虚拟机——运行时数据区和本地方法接口——超级详细篇
深刻理解Java虚拟机——对象的实例化内存布局与访问定位——超级详细篇
深刻理解Java虚拟机——直接内存——超级详细篇
深刻理解Java虚拟机——执行引擎——超级详细篇
深刻理解Java虚拟机——Java垃圾回收器——超级详细篇java

1:对象的实例化

介绍完Java虚拟机的内存区域后,咱们知道了内存中放了些什么后,咱们就会想更进一步知道他们(对象)是如何建立,如何布局,和如何访问?
在这里插入图片描述
大厂面试题
在这里插入图片描述web

1.1 对象建立的方式

对象建立的6种方式
在这里插入图片描述面试

1.2 对象的建立

对象的建立
字节码角度看对象的建立数组

public class ObjectTest {
    public static void main(String[] args) {
        Object obj = new Object();
    }
}

在这里插入图片描述
从执行步骤的角度看对象的建立
在这里插入图片描述安全

1.2.1 对象的建立——第一步:判断对象的类加载

在这里插入图片描述
在这里插入图片描述

1.2.2 对象的建立——第二步:为对象分配内存

在这里插入图片描述
若是内存规整数据结构

  • 指针碰撞:建立一个对象放到堆内存中,致使占有内存增长,自由的内存空间减小,就叫指针碰撞
    在这里插入图片描述
    若是内存不规整
  • 空闲列表:虚拟机必须维护一个列表,记录哪些内存块可用,在分配的时候,就从表中找出空闲区域,供对象使用
    在这里插入图片描述
    下图演示 指针碰撞,空闲列表
    在这里插入图片描述
  • 如何选择哪一种内存分配方式呢?
    其实内存的分配方式是由Java堆是否规整决定,而Java堆是否规整又是由垃圾回收器来决定,若是垃圾回收器有自动进行压缩整理功能在进行垃圾回收时会自动进行压缩整理功能,把内存区域划分红规则的,若是垃圾回收没有这个功能就不能够进行指针碰撞(内存区域划分规则),会进行**空闲列表(内存区域划分不规则)**给对象分配内存
    在这里插入图片描述

1.2.3 对象的建立——第三步:处理并发安全问题

实例图告诉你为什么产生线程安全性问题?
在这里插入图片描述
如何解决线程安全性问题?并发

  • 本地线程分配缓冲(每个线程分配一块TLAB)——经过-XX:+/-UseTLAB参数

示例图
在这里插入图片描述svg

1.2.4 对象的建立——第四步:初始化分配到内存空间

全部属性设置默认值,保证对象实例字段在不赋值之间能够直接使用
在这里插入图片描述oop

1.2.5 对象的建立——第五步:设置对象的对象头

在这里插入图片描述

1.2.6 对象的建立——第六步:执行init初始化

在这里插入图片描述

2:对象的内存布局

在之前的学习中咱们已经接触过不少对象和代码,但是若是深刻研究,会发现对象没那么简单
在这里插入图片描述
对象在内存中存储的布局能够分为三块区域:对象头(Header),实例数据(InstanceData)和对齐填充( Pading)布局

  • 对象头包括两部分信息,第一部分用于存储对象自身的运行时数据,.如哈希码(HashCode)、 GC分代年龄、锁状态标志、线程持有的锁、偏向线程ID、偏向时间戳等,这部分数据的长度在32位和64位的虚拟机(未开启压缩指针)中分别为32bit和.64bit,官方称它为“Mark Word"。对象须要存储的运行时数据不少,其实已经超出了32位、64位Bitmap结构所能记录的限度,可是对象头信息是与对象自身定义的数据无关的额外存储成本,考虑到虚拟机的空间效率,MarkWord被设计成个一个固定的数据结构以便在极小的空间内存储尽可能多的信息,它会根据对象的状态复用本身的存储空间。例如,在32位的HotSpot虚拟机中,若是对象处于未被锁定的状态下,那么MarkWord的32bit空间中的25bit用于存储对象哈希码,4bit用于存储对象分代年龄,2bit用于存储锁标志位,1bit周定为0,而在其余状态(轻量级锁定、重量级锁定、GC标记、可偏向)下对象的存储内容以下图
    在这里插入图片描述

    对象头的另一部分是类型指针,即对象指向它的类元数据的指针,虚拟机经过这个指针来肯定这个对象是哪一个类的实例并非全部的虚拟机实现都必须在对象数据上保留类型指针,换句话说,查找对象的元数据信息并不必定要通过对象自己,另外,若是对象是一个Java数组,那在对象头中还必须有一块用于记录数组长度的数据,由于虚拟机能够经过普通Java对象的元数据信息肯定Java对象的大小,可是从数组的元数据中却没法肯定数组的大小。

说明:若是是数组,还要记录数组长度

  • 实例数据部分是对象真正存储的有效信息,也是在程序代码中所定义的各类类型的字段内容。不管是从父类继承下来的;仍是在子类中定义的:都须要记录起来。这部分的存储顺序会受到虚拟机分配策略参数(FieldsAllocationStyle和字段在Java源码中定义顺序的影响。HotSpot虚拟机默认的分配策略为longs/doubles、jnts<. shorts/chars、 bytcs/ 7booleans、oops. (Ordinary Object Pointers);从分配策略中能够看出,相同宽度的字段老是被分配到一块儿。在知足这个前提条件的状况下,在父类中定义的变量会出如今子类以前。若是CompactFields.参数值为true (默认为.true),那么子类之中较窄的变量也可能会插入到父类变量的空隙之中。

在这里插入图片描述

  • 对齐填充并非必然存在的,也没有特别的含义,它仅仅起着占位符的做用。因为HotSpotVM的自动内存管理系统要求对象起始地址必须是8字节的整数倍,换句话说,就是对象的大小必须是8字节的整数倍。而对象头部分正好是8字节的倍数(1倍或者?倍),所以,当对象实例数据部分没有对齐时,就须要经过对齐填充求补全。

总结
在这里插入图片描述
在这里插入图片描述

3:对象的访问定位

在这里插入图片描述
创建对象是为了使用对象,咱们的Java程序须要经过栈上的reference数据来操做堆上的具体对象。因为reference类型在Java虚拟机规范中只规定了一个指向对象的引用,并无定义这个引用应该经过何种方式去定位、访问堆中的对象的具体位置,因此对象访问方式也是取决于虚拟机实现而定的。目前主流的访问方式有使用句柄和直接指针两种。

  • 使用句柄
    若是使用句柄访问的话 ,java堆中将会划分出一块内存来做为句柄池reference中存储的就是对象的句柄地址,而句柄中包含了对象实例数据与类型数据各自的具体地址信息

在这里插入图片描述

  • 直接指针
    若是使用直接指针访问,那么Java堆对象的布局中就必须考虑如何放置访问类型数据相关信息,而reference中储存的直接就是对象地址
    在这里插入图片描述
    这两种对象访问方式各有优点,
  • 使用句柄来访问的最大好处就是reference中存储的是稳定的句柄地址,在对象被移动(垃圾收集时移动对象是很是广泛的行为)时只会改变句柄中的实例数据指针,而reference自己不须要修改。
  • 使用直接指针访问方式的最大好处就是速度更快,它节省了一次指针定位的时间开销,因为对象的访问在Java中很是频繁,所以这类开销聚沙成塔后也是一项很是可观的执行成本