19.对象实例化内存布局与访问定位

最新推荐文章于 2022-10-13 18:37:40 发布

夹毛局的程序员

最新推荐文章于 2022-10-13 18:37:40 发布

阅读量104

点赞数 1

分类专栏： JVM

本文链接：https://blog.csdn.net/woshiwjma956/article/details/112984511

版权

JVM 专栏收录该内容

33 篇文章 1 订阅

订阅专栏

对象实例化步骤

对象创建的方式

new: 最常见的方式,包括单例中的getInstance静态方法或者XXFactory方法
Class的newInstance方法: 反射的模式 JDK9标记为过时的方法,因为只有调用空参构造器
Constructor的newInstance方法: 反射模式可以调用带参构造器
使用clone(): 不调用构造器,实现Cloneable接口中的clone接口
使用序列化: 一般用于网络文件等传输
第三方库: Objenesis

创建对象的步骤

判断对象对应的类是否已经加载,链接,初始化
- JVM遇到一条new指令,首先去检查这个指令的参数能否在Metaspace的常量池中定位一个类的符号引用,并检查这个符号引用代表的类是否已经被加载,解析,和初始化.(判断类元信息是否存在)如果没有,那么在双亲委派的模式下,使用当前类加载器以ClassLoader+包名+类名为key进行查找对应的class文件,如果没有找到文件抛出ClassNotFoundException,如果找到进行类加载,并生成对应的Class对象
对象分配内存
- 首先计算占用空间的大小,接着在堆中划分一块内存给新对象.如果实例成员变量是引用变量,仅分配引用变量空间即可,即4个字节大小
  - 如果内存规整: 指针碰撞
  - 如果内存不规整:
    - 虚拟变需要维护一个列表
    - 空闲列表分配
  - 如果内存是规整的,那么JVM采用的是指针碰撞法(Bump The Point)来对象分配内存
    - 意思是所有用过的内存在一遍,空闲的内存放在另外一遍,中间有一根指针作为分界点的指示器,分配内存仅仅是把指针指向空闲那么挪动一段与对象大小相等的距离罢了.如果垃圾收集器选择的是Serial, ParNew这种基于压缩算法的.虚拟机采用这种分配方法,一般使用Compact(整理)过程的收集器,使用指针碰撞
    - 如果内存不是规整的,已使用内存和未使用的内存相互交错,那么虚拟机将采用空闲列表来为对象分配内存,意思是虚拟机维护一个列表,记录上面那些内存块是可用的,再在分配的时候从列表中找到一块足够大的空间划分给对象实例,并更新列表上的内容,这种分配方法称为’空闲列表(Free List)
    - 选择哪种分配方式有由JAVA堆是否规整决定,而java堆是否规则又由采用的垃圾收集器是否带来压缩整理功能决定
处理并发问题
- 采用CAS配上失败重试来保证更新的原子性
- 每个线程预先分配TLAB 可以通过设置-XX:+UseTLAB参数来设置(区域加锁机制)
  - 在Eden区为每一个线程分配一个TLAB区域
初始化分配到的内存
- 对象赋值操作
- 属性默认初始化
- 显示初始化
- 代码块中的初始化
- 构造器初始化
- 所有属性设置默认值,保证对象实例字段在不赋值可以直接使用
设置对象的对象头
- 将对象的所属类(类的元数据信息),对象的HashCode和对象的GC信息锁信息等数据存储在对象头中.这个过程具体设置方法取决具体的JVM实现
执行init方法进行初始化
- 在java程序视角看来,初始化才正式开始.初始化成员变量,执行实例化代码块,调用类的构造方法,并把堆内对象的首地址赋值给引用变量
- 因此一般来说(由字节码中invokespecial指令所决定),new指令之后会接着就是执行方法,把对象按照程序员的意愿进行初始化,这样一个真正可用的对象才算创建完成

对象实例化过程简述

加载类元信息
为对象分配内存
处理并发问题
属性默认初始化零值初始化
设置对象头信息
设置显示初始化,代码块中初始化,构造器初始化

对象内存布局

对象头

对象头包含两部分分别是运行时元数据和类型指针如果是属数组需要记录数组长度
- 运行时元数据
  - 哈希值 HashCode
  - GC分代年龄
  - 锁状态标志
  - 线程持有的锁
  - 偏向线程ID
  - 偏向时间戳
- 类型指针
  - 指向元数据InstanceKlass,确定该对象所属的类型.指向的其实是方法区中存放类元信息
实例数据 Instance Data
- 真正存储的有效信息,包括程序代码中定义的各种类型字段(包括从父类继承下来的和自己拥有的字段)
- 规则
  - 相同宽度的字段总是分配在一起
  - 父类中定义的变量会在子类之前
  - 如果CompactFields参数为true 默认为true : 子类的窄变量可能插入到父类的变量空隙
对齐填充 Padding 不是必须的,没有特别意义仅用于占位符作用

对象创建图例解析

public class InstanceTest {
    public static void main(String[] args) {
        Customer cust = new Customer();
    }
}

class Customer {

    private int id;

    private String name="test";

    private Account account;

}

class Account {
    int amount;
}

对象的访问定位

对象访问的两种方式

句柄访问
- 句柄访问就是说栈的局部变量表中,记录的对象的引用,然后在堆空间专门开辟一块空间,也就是句柄池,句柄池的句柄直接指向了实例池中真实的实例对象
- 优点:在于reference中存储稳定的句柄地址,对象被移动(GC时可能会存在对象移动,整理内存碎片),只会改变句柄中的实例数据指针,reference本身不需要修改
- 缺点: 每次找到真正的实例对象需要经过一次句柄池,然后句柄池本身也需要空间存储,性能相对低一些
直接指针(HotSpot采用)
- 直接指针是局部变量中的引用,直接指向堆中的实例,在实例对象中有类型指针,指向方法区中的类元信息