美团: 1)对象在JVM中是怎么存储的 2)对象头信息里面有哪些东西 蚂蚁金服: 1)Java对象头里面有什么

一 对象实例化

1.1 创建对象的方式

  1. new 关键字:最常见的方式
    1. 变形1:xxx的静态方法
    2. 变形2:xxxBuilder/xxxFactory的静态方法
  2. Class 的 newInstance(xxx) 方法:反射的方式,只能调用空参的构造器,权限必须是public
  3. Constructor 的 newInstance(xxx) 方法:反射的方式,可以调用空参,带参的构造器,权限没有要求
  4. 使用 clone():不调用任何构造器,当前类必须实现接口Cloneable,实现clone()方法
  5. 使用序列化
  6. 使用第三方库 Objenesis

    1.2 创建对象的步骤

    1.2.1 判断对象对应的类是否加载,链接,初始化

  7. 虚拟机遇到一条 new 指令,首先去检查这个指令的参数能否在Metaspace的常量池中定位到一个类的符号引用,并且检查这个符号引用代表的类是否已经被加载,解析,和初始化(即判断类元信息是否存在)

  8. 如果没有被加载,那么在双亲委派机制下,使用当前类加载器以 ClassLoader+包名+类名 为key进行查找对应的.class文件。
  9. 如果没有找到文件,则抛出ClassNotFoundException异常,如果找到,则进行类加载,并生成对应的Class类对象。

    1.2.2 为对象分配内存

  10. 首先计算对象占用的空间大小,接着在堆中划分一块内存给新对象。如果是实例成员变量,仅仅分配引用变量空间即可,即4个字节大小。

    1.2.2.1 如果内存规整—指针碰撞

  11. 如果内存是规整的,那么虚拟机将采用指针碰撞法(Bump The Pointer)来为对象分配内存。

  12. 意思是所有用过的内存放在一边,空闲的内存放在另外一边,中间放着一个指针作为分界点的指示器,分配内存就仅仅是把指针指向空闲那边挪动一段和对象大小相等的距离罢了。
  13. 如果垃圾收集器选择的是Serial、PaerNew 这种基于压缩算法的,虚拟机采用的这种分配方式,一般使用带有compact (整理)过程的收集器,使用指针碰撞。

    1.2.2.2 如果内存不规整

  14. 虚拟机需要维护一个列表

  15. 空闲列表分配:如果是内存不规整的,已使用的内存和未使用的内存相互交错,那么虚拟机将采用的是空闲列表法来为对象分配内存。意思是虚拟机维护了一个列表,记录着哪些内容是可用的,再分配的时候从列表中找到一块足够大的空间划分给对象实例,并更新列表上的内容。这种分配方式成为空闲列表法。

    1.2.2.3说明

    1)选择哪种分配方式由Java堆是否规整决定,而Java是否规整又由所采用的垃圾收集器是否带有压缩整理功能决定。

    1.3 处理并发安全问题

  16. 采用CAS失败重试,区域加锁来保证更新的原子性

  17. 每个线程预先分配一块TLAB:通过 -XX:+/UserTLAB 参数来设定

    1.4 初始化分配到的空间

    1)(默认初始化)所有属性设置默认值,保证对象实例字段在不赋值时可以直接使用

    1.5 设置对象的对象头

    1)将对象的所属类(即类的元数据信息),对象的HashCode和对象的GC信息,锁信息等数据存储在对象的对象头中,这个过程的具体实现取决于JVM的实现。

    1.6 执行方法进行初始化

    1)(显式初始化)在Java程序的视角来看,这里才是初始化的正式开始。初始化成员变量,指向实例化代码,调用类的构造器,并把堆内对象的首地址赋值给引用变量。
    2)因此一般来说(由字节码中是否跟随由invokespecial指令所决定),new指令之后会接着就是执行方法,把对象按照程序员的意愿进行初始化,这样一个真正可用的对象才算完全创建出来。

    二 对象的内存布局

    2.1 对象头(Header)

  18. 运行时元数据

    1. 哈希值(HashCode)
    2. GC分代年龄
    3. 锁状态标识
    4. 线程持有的锁
    5. 偏向线程ID
    6. 偏向时间戳
  19. 类型指针:指向类元数据 InstanceKlass,确定该对象所属的类型
  20. 说明:如果是数组,还需要记录数组的长度

    2.2 实例数据(Instance Data)

  21. 说明:它是对象真正存储的有效信息,包括程序代码中定义的各种类型的字段(包括从父类继承下来的和本身拥有的字段)

  22. 规则:
    1. 相同宽度的字段总是被分配在一起
    2. 父类中定义的变量会出现在子类之前
    3. 如果 CompactFields 参数为ture(默认值:true):子类的窄容量可能插入到父类变量的空隙

      2.3 对齐填充(Padding)

  • 不是必须的,也没有特殊含义,仅仅起到占位符的作用。

image.png

三 对象的访问定位

image.png
1)创建对象的目的是为了使用它
2)JVM如何通过栈帧的对象引用访问到其内部的对象实例的呢?

方式一:句柄访问

image.png

方式二:直接指针

image.png