关于java:我所知道JVM虚拟机之对象的实例化与访问定位

41次阅读

共计 3239 个字符,预计需要花费 9 分钟才能阅读完成。

前言


本篇补充的对象的实例化的创立形式、创立步骤等等具体阐明

暂且能够看看一些大厂面试前的引入面试题

美团:
  • 对象在 JVM 中是怎么存储的?
  • 对象头信息外面有哪些货色?
蚂蚁金服:

二面:java 对象头里有什么

一、对象的实例化


接下来咱们就从对象的创立形式开始说起,常见的创立形式、步骤到底有哪些并且是个什么货色

咱们对创建对象的形式这几种进行形容解说一下:

  • new:最常见的形式 单例类中调用 getInstance 的动态类办法,XXXFactory 的静态方法
  • Class 的 newInstance 办法:在 JDK9 外面被标记为过期的办法,因为只能调用空参结构器并且权限必须为 public
  • Constructor 的 newInstance(Xxxx):反射的形式,能够调用空参的或者带参的结构器
  • 应用 clone():不调用任何的结构器,要求以后的类须要实现 Cloneable 接口中的 clone 办法
  • 应用序列化:从文件中从网络中获取一个对象的二进制流,序列化个别用于 Socket 的网络传输
  • 第三方库 Objenesis

接下来咱们应用示例代码来看看创建对象步骤是怎么回事:

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

咱们先将以后程序进行编译,而后看看字节码它做了哪些事件

编译后咱们失去了具体的字节码文件,咱们再对它进行字节码反解析看看

输出命令:javap -v -p ObjectTest.class ,在控制台查看具体的字节码

具体逻辑次要做了以下几行操作指令的操作

 0: new           #2                  // class java/lang/Object
 3: dup           
 4: invokespecial #1                  // Method java/lang/Object."<init>":()V
 7: astore_1
 8: return

那么具体这些指令做了什么事件呢?咱们来剖析并解说解说:

第一步: 判断对象对应的类是否加载、链接、初始化:

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

如果该类没有加载那么在双亲委派模式下,应用以后类加载器以 ClassLoader + 包名 + 类名为 key 进行查找对应的.class 文件,如果没有找到文件,则抛出 ClassNotFoundException 异样,如果找到,则进行类加载,并生成对应的 Class 对象

第二步: 为对象分配内存:

在进过类型加载之后,内存当中曾经是有以后这类了。那么就须要为对象分配内存空间,它须要计算对象占用空间的大小,接着在堆中划分一块内存给新对象。如果实例成员变量是援用变量,仅调配援用变量空间即可,即 4 个字节大小

那么调配对象的时候咱们的堆空间如果是规整的:

  • 虚拟机将采纳的是指针碰撞法(Bump The Point)来为对象分配内存

意思是所有用过的内存在一边,闲暇的内寄存另外一边,两头放着一个指针作为分界点的指示器,分配内存就仅仅是把指针往闲暇内存那边移动一段与对象大小相等的间隔罢了

垃圾收集器 Serial,ParNew 就是采纳标记压缩 / 标记整顿算法,标记压缩(整顿)算法会解决碎片化问题,进而使得内存是比拟规整的,它们两在调配数据的时候应用指针碰撞

那么调配对象的时候咱们的堆空间如果是不规整的:

  • 虚拟机将采纳的是闲暇列表来为对象分配内存

意思是虚拟机保护了一个列表记录上哪些内存块是可用的,再调配的时候从列表中找到一块足够大的空间划分给对象实例,并更新列表上的内容。这种调配形式成为了“闲暇列表(Free List)”

阐明:抉择哪种调配形式由 Java 堆是否规整所决定,而 Java 堆是否规整又由所采纳的垃圾收集器是否带有压缩整顿性能决定

第三步: 解决并发平安问题:

在分配内存空间的时候,是在堆空间里进行创立,而堆空间是属于多个线程共享的

那么多个线程都去堆空间创建对象的话,就会造成出并发平安问题

那么对于呈现并发的平安问题,具体采纳两种策略

  • 采纳 CAS + 失败重试保障更新的原子性
  • 每个线程事后调配 TLAB – 通过设置 -XX:+UseTLAB 参数来设置(区域加锁机制)
第四步: 属性的默认初始化(零值初始化):

给对象的所有属性设置默认值,保障对象实例字段在不赋值能够间接应用

给对象属性赋值的程序:

  • 属性的默认值初始化
  • 显示初始化 / 代码块初始化(并列关系,谁先谁后看代码编写的程序)
  • 结构器初始化
第五步: 设置对象的对象头:

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

第六步: 执行 init 办法进行初始化:

在 Java 程序的视角看来,初始化才正式开始。初始化成员变量,执行实例化代码块,调用类的构造方法,并把堆内对象的首地址赋值给援用变量

因而一般来说(由字节码中追随 invokespecial 指令所决定),new 指令之后会接着就是执行 init 办法,把对象依照程序员的志愿进行初始化,这样一个真正可用的对象才算实现创立进去

二、对象的内存布局


咱们都晓得 new 的对象都是放在堆空间当中的,那么对于堆空间里的对象到底有哪些构造呢?

请看以下的概述思维导图

个别在堆空间所指有三局部:对象头、实例数据、对齐填充

对象头信息阐明解说:

如图所示个别对象头次要蕴含两局部内容:

  • 运行时元数据(Mark Word)
  • 类型指针

次要运行时元数据寄存的次要信息:哈希值、GC 分代年龄、锁状态标记、线程持有的锁、偏差线程 ID、偏差工夫戳

类型指针有:指向类元数据 InstanceKlass,确定对象所属的类型

阐明:如果是数组的话,须要记录数组的长度

实例数据信息阐明解说:

指对象真正存储的无效信息,包含程序代码中定义各种类型的字段(自身领有的、与从父类继承下来的)

这外面有以下的规定:

  • 父类中定义的变量会呈现在子类之前
  • 雷同宽度的字段总是被调配在一起
  • 如果 CompactFields 参数为 ture(默认为 ture),子类的窄变量可能插入父类变量的空隙
对齐填充信息阐明解说:

不是必须的,也没啥含意,仅仅起到占位符的作用

相当于寄花瓶快递时,为了保障花瓶不所填充的泡沫

那么依据后面咱们解说着三个局部,咱们再进行一个图示图解对象的内存布局

上面是咱们对应的示例代码

public class Customer{
    int id = 1001;
    String name;
    Account acct;
    
    {name = "匿名客户";}
    public Customer(){acct = new Account();
    }
    public static void main(String[] args) {Customer cust = new Customer();
    }
}
class Account{}

咱们的 main 办法里就是对这个 Customer 进行创立,看看图解的内存空间是什么场景

刚刚提到局部变量表里的第一个索引是 args

三、对象的拜访定位


咱们这里还有一个问题就是JVM 是如何通过栈帧中的对象援用拜访到其外部的对象实例呢?

其实就是通过定位,通过栈上 reference 拜访

那么对于对象有两种拜访的形式:

  • 句柄拜访
  • 间接指针
句柄拜访:

毛病:在堆空间中开拓了一块空间作为句柄池,句柄池自身也会占用空间;通过两次指针拜访能力拜访到堆中的对象,效率低

长处:reference 中存储稳固句柄地址,` 对象被挪动(垃圾收集时挪动对象很广泛)时只会扭转句柄中实例数据指针即可,reference 自身不须要被批改
`

间接指针:

毛病:对象被挪动(垃圾收集时挪动对象很广泛)时须要批改 reference 的值

长处:间接指针是局部变量表中的援用,直 接指向堆中的实例,在对象实例中有类型指针,指向的是办法区中的对象类型数据

在 java 虚拟机标准中并没有明确阐明应用哪种形式,所以咱们的 hotspot 采纳的是间接指针形式

参考资料


尚硅谷:JVM 虚拟机(宋红康老师)

正文完
 0