专栏首页JavaEdgeJVM实战 - 对象实例化

JVM实战 - 对象实例化

Java是面向对象的静态强类型语言,声明并创建对象的代码很常见,根据某个类声明一个引用变量指向被创建的对象,并使用此引用变量操作该对象 在实例化对象的过程中,JVM中发生了什么化学反应呢?

(1)下面从最简单的

代码进行分析,利用javap -verbose- p命令查看对象创建的字节码

● new : 如果找不到Class对象,则进行类加载 加载成功后,则在堆中分配内存,从Object开始到本类路径上的所有属性值都要分配内存 分配完毕之后,进行零值初始化 在分配过程中,注意引用是占据存储空间的,它是一个变量,占用4个字节 这个指令完毕后,将指向实例对象的引用变量压入虛拟机栈顶

● dup : 在栈顶复制该引用变量,这时的栈顶有两个指向堆内实例对象的引用变量 如果<init>方法有参数,还需要把参数压入操作栈中 两个引用变量的目的不同,其中压至底下的引用用于赋值,或者保存到局部变量表,另一个栈顶的引用变量作为句柄调用相关方法

● invokespecial : 调用对象实例方法,通过栈顶的引用变量调用<init>方法

  • <clinit>是类初始化时执行的方法
  • <init>是对象初始化时执行的方法

(2) 前面所述是从字节码的角度看待对象的创建过程,现在从执行步骤的角度来分析: ● 确认类元信息是否存在 当JVM接收到new指令时,首先在metaspace内检查需要创建的类元信息是否存在 若不存在,在双亲委派模式下,使用当前类加载器以ClassLoader+包名+类名为Key进行查找对应的.class文件

  • 如果没有找到文件,则抛出ClassNotFoundException
  • 如果找到,则进行类加载,并生成对应的Class类对象

● 分配对象内存 首先计算对象占用空间大小,如果实例成员变量是引用变量,仅分配引用变量空间即可(4个字节),接着在堆中划分一块内存给新对象 在分配内存空间时,需要进行同步操作,比如采用CAS失败重试、区域加锁等方式保证分配操作的原子性

● 设定默认值 成员变量值都需要设定为默认值,即各种不同形式的零值

● 设置对象头 设置新对象的哈希码、GC信息、锁信息对象所属的类元信息等 这个过程的具体设置方式取决于JVM实现

● 执行init方法 初始化成员变量,执行实例化代码块,调用类的构造方法,并把堆内对象的首地址赋值给引用变量

1 对象的创建过程

当虚拟机遇到一条含有new的指令时,会进行一系列对象创建的操作

  1. 检查常量池中是否有要创建的这个对象所属类的符号引用
  • 若无,说明这个类还没有被定义!抛ClassNotFoundException
  • 若有,转2
  1. 检查这个符号引用所代表的类是否已被JVM加载
  • 若否,就找该类的class文件,并加载进方法区
  • 若是,转3
  1. 根据方法区中该类的信息确定该类所需的内存大小 一个对象所需的内存大小是在这个对象所属类被定义完就能确定的! 且一个类所生产的所有对象的内存大小是一样的! JVM在一个类被加载进方法区的时候就知道该类生产的每一个对象所需要的内存大小 从堆中划分一块对应大小的内存空间给新的对象,分配堆中内存有两种方式
  • 指针碰撞(Bump the Pointer) 如果JVM的垃圾收集器采用复制算法标记-整理算法,那么堆中空闲内存是完整的区域,并且空闲内存和已使用内存之间由一个指针标记. 那么当为一个对象分配内存时,只需移动指针即可.因此,这种在完整空闲区域上通过移动指针来分配内存的方式就叫做"指针碰撞"
  • 空闲列表 (Free List) 如果JVM的GC器采用标记-清除算法,那么堆中空闲区域和已使用区域交错,因此需要用一张“空闲列表”来记录堆中哪些区域是空闲区域,从而在创建对象的时候根据这张“空闲列表”找到空闲区域,并分配内存

综上所述:JVM究竟采用哪种内存分配方法,取决于它使用了何种GC器 为对象中的成员变量赋上初始值(默认初始化)

  1. 设置对象头(Object Header)
  2. 调用对象的构造函数进行初始化

至此,整个对象的创建过程就完成了

2 对象的内存布局

一个对象从逻辑角度看,由域和方法构成 从物理角度来看,对象是存储在堆中的一串二进制数

对象在内存中存储的布局分三部分

  • 对象头(Header)
  • 实例数据(Instance Data)
  • 对齐补充(Padding)

2.1 对象头

  • 存储对象在运行过程中自身所需要的一些数据 哈希码、GC分代年龄、锁状态标志、线程持有的锁、偏向线程ID、偏向时间戳等
  • 类型指针 即对象指向它的类元数据的指针,JVM通过该指针能确定这个对象是哪个类的实例. 另外,如果对象是一个数组,那么对象头中还要包含数组长度(因为从数组的元数据无法确定数组的大小).

2.2 实例数据

实例数据部分就是程序定义的各种字段的内容,包含父/子类的都会记录下来

2.3 对齐填充(并非必然存在,无特别含义,仅起占位符作用)

HotSpot要求对象的大小必须是8字节的整数倍 由于对象起始地址必须是8字节的整数倍,但实例数据部分的长度是任意的,因此需要对齐补充字段确保整个对象的总长度为8的整数倍

3 访问对象的过程

栈上的reference数据存放的是一个地址,那么根据地址类型的不同,对象有不同的访问方式

  • 句柄访问方式 Java堆中需要有一块叫做"句柄池"的内存,存放所有对象的地址和所有对象所属类的类信息

reference中存放的是对象在句柄池中的地址. 访问对象时,首先需要通过reference找到该对象的句柄,然后根据句柄中对象的地址再访问对象

  • 直接指针访问方式 reference直接存放对象地址,从而不需要句柄池,通过引用能够直接访问对象 但对象所在的内存空间中需要额外的策略存储对象所属的类信息的地址
  • 两种方式的比较 使用句柄最大好处是reference中存储的是稳定的句柄地址,在对象被移动时也只改变句柄中的实例数据指针,而reference本身不需要修改 而HotSpot采用直接指针访问方式,因为它只需一次寻址操作,节省了一次指针定位的时间开销,对象的访问又十分频繁,从而性能比句柄访问方式快一倍

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

我来说两句

0 条评论
登录 后参与评论

相关文章

  • Java 编程思想精华总结(一)- 对象导论(上)

    程序可以通过添加新的对象使自身更适用于某特定问题。因此阅读代码其实也就是在阅读问题的描述。

    JavaEdge
  • 面试官问我JVM垃圾回收算法,还好我看了这篇

    程序计数器、虚拟机栈、本地方法栈都是线程私有的,会随着线程而生,随线程而灭; 栈中的栈帧随着方法的进入和退出有条不紊的执行着出栈和入栈操作. 每个栈帧中的本...

    JavaEdge
  • 2018-07-161 初识JQuery

    进入官方网站获取最新的版本 http://jquery.com/download/ ,这里需要注意 jQuery 分 2 个系列版本 1.x 与 2.x,主要...

    JavaEdge
  • Java并发编程之不变性与安全发布

    如果某个对象在被创建后其状态就不能被修改,那么这个对象就被称为不可变对象。满足同步需求的另一种方法就是使用不可变对象。不可变对象一定是线程安全的。当满足以下条件...

    技术训练营
  • Java 编程思想精华总结(一)- 对象导论(上)

    程序可以通过添加新的对象使自身更适用于某特定问题。因此阅读代码其实也就是在阅读问题的描述。

    JavaEdge
  • 发布与逸出

    SuperHeroes
  • VBA对象模型和对象引用

    EXCEL中的各种对象并不是孤立存在的,彼此之间都是有联系和层级关系,对象模型的概念就是用来描述对象之间关系的,构建了一个完整的体系。

    无言之月
  • isinstance/type/issubclass的用法,反射(hasattr,getattr,setattr,delattr)

    会显示的对象的类,也会去找对象的父类,填写参数是对象,类isinstance(对象,类)如果对象属于后面的类会报Ture,反之False

    小小咸鱼YwY
  • 小甲陪你一起看Ceph (OSDC | 上篇)

    小甲师兄有个喜好——喜欢下雨:每逢下雨天,不是诗兴大发,就是代码撸的飞起。再加上最近在优化rbd,小甲把之前分析的OSDC代码分享给大家

    腾讯云TStack
  • 支配树(Dominator Tree)

    在使用MAT分析项目的内存泄漏问题时,其中有一个支配树(Dominator)视图。如果我们把Java对象之间的引用关系看做一张有向图(可以存在环)的话,对象的支...

    SuperHeroes

扫码关注云+社区

领取腾讯云代金券