Java 对象的揭秘

java · 浏览次数 : 0

小编点评

**对象内存布局** * **对象头(2.1 Mark WordMark Word):** * 哈希码 * GC 分代年龄 *锁状态标志 * 线程持有的锁 * 偏向线程ID * 偏向时间戳 * **Mark Word:** * 动态定义的数据结构,根据对象的状态复用存储空间 * **Length数组对象特质:** * 表示数组长度,占用 4 字节(32bit)空间 * **对齐填充对象第三部分:** * 用于对齐填充,以确保对象大小是 8 字节的整数倍 **指针压缩** * 指针压缩是对类型指针或普通对象指针进行压缩,主要包含以下几种: * 压缩指针类型压缩目标压缩变化压缩类型指针 * 压缩对象指针: * 将 Klass Pointer 压缩到 4 自己,这样可以表示 264 个内存地址 * 每个内存地址指向的是 1 字节(8 bit) **如何找到对象创建对象** * 通过栈桢里的 reference 数据来指向堆上的具体对象 * 通过直接指针访问的话,Java 堆中对象的内存布局就必须考虑如何放置访问类型数据的相关信息 **其他** * Java 对象默认使用了 8 字节对齐填充,也就是 1 个对象占用的空间必须是 8 字节的整数倍

正文

前言

作为一个 Java 程序员,我们在开发者最多的操作要属创建对象了。那么你了解对象多少?它是如何创建?如何存储布局以及如何使用的?本文将对 Java 对象进行揭秘,以及讲解如何使用 JOL 查看对象内存使用情况。

本文是基于 HotSpot 虚拟机。


一、对象是如何创建的

1. 类加载检查

虚拟机遇到一条 new 指令时,首先将去检查这个指令的参数是否能在常量池中定位到这个类的符号引用,并且检查这个符号引用代表的类是否已被加载过、解析和初始化过。如果没有,那必须先执行相应的类加载过程。
关于如何加载详情见 JVM 类加载机制

2. 分配内存空间

在类加载检查通过后,接下来虚拟机将为新生对象分配内存。对象所需的内存大小在类加载完成后便可确定(如何确定见下方对象的存储布局)。

为对象分配空间的任务等同于把一块确定大小的内存从 Java 堆中划分出来。
根据Java 堆中的内存是否完整,可分为“指针碰撞” 和 “空闲列表” 两种分配方式。

分配方式 原理 使用场景 特点
指针碰撞 使用过的内存放到一边,未使用过的内存放在另一边。中间放一个指针作为分界点,然后向空闲区域移动与对象大小相等的距离。 堆内存完整 简单高效
空闲列表 虚拟机维护一个列表,记录上哪些内存块是可用的,在分配的时候,找足够大的内存块儿来划分给对象实例,最后更新列表记录。 堆内存不完整 (有空间碎片) 较为复杂

那么如何判断 Java 堆中的内存是否完整呢?这个是由采用的垃圾收集器决定:

  • 带有整理内存空间的能力的,如 Serial、Par New 等,内存会比较完整。
  • 基于清除算法的,如 CMS,内存会产生空间碎片。

3. 内存初始化

内存分配完成后,虚拟机必须将分配到的内存空间都初始化为零值(不包括对象头),这步操作保证了对象的实例字段在 Java 代码中可以不赋初始值就直接使用,使程序能访问到这些字段的数据类型所对应的零值。

4. 设置对象头

初始化零值完成之后,虚拟机要对对象进行必要的设置,例如对象是哪个类的实例、如何才能找到类的元数据信息、对象的哈希码、对象的 GC 分代年龄等信息,这些信息存放在对象头中。

另外,根据虚拟机当前运行状态的不同,如是否启用偏向锁等,对象头会有不同的设置方式(具体描述见下方对象的存储布局)。

5. 执行 init 方法

在上面工作都完成之后,从虚拟机的视角来看,一个新的对象已经产生了,但从 Java 程序的视角来看,对象创建才刚开始。Class 文件中的init方法还没有执行,所有的字段都是默认的零值。

所以一般来说,执行new 指令之后会接着执行init方法,把对象按照程序员的意愿进行初始化,这样一个真正可用的对象才算完全产生出来。

二、对象的存储布局

1. 简介

1.1 存储布局

如图,在 HotSpot 虚拟机里,对象在堆内存中的存储布局可以划分为三个部分:

  • 对象头(header)
  • 实例数据(instancedata)
  • 对齐填充(padding)

1.2 数据结构

HotSpot 虚拟机使用名为oops(Ordinary Object Pointers) 的数据结构来表示对象。这些oops等同于本地 C 指针。 instanceOops 是一种特殊的oop,表示 Java 中的对象实例。

下图表示对象的数据结构,以及占用内存大小

1.3 使用 JOL 查看对象内存布局

JOL 是 OpenJDK 官网提供了查看对象内存布局的工具,使用步骤如下。后续的打印的控制台信息都是通过该工具实现的。

  1. 导入依赖
<dependency>
	<groupId>org.codehaus.plexus</groupId>
	<artifactId>plexus-utils</artifactId>
	<version>4.0.0</version>
</dependency>
  1. 使用 JOL 提供的方法
 public static void main(String[] args)  {
	 //查看当前虚拟机信息
	 System.out.println(VM.current().details());

	 //查看对象内部信息
	 System.out.println(ClassLayout.parseInstance(new Object()).toPrintable());

	 //查看对象外部信息包括引用
	 System.out.println(GraphLayout.parseInstance(new Object()).toPrintable());

	 //查看对象占用总大小
	 System.out.println(GraphLayout.parseInstance(new Object()).totalSize());
}

1.4 一个空的 Object 占用多大内存?

空 Object 是只有对象头,没有实例数据,也无需填充对齐。

如图所示,HotSpot 64 位 虚拟机中:

  • 普通对象: 占用 16 字节
  • 数组对象: 占用 24 字节(对象大小须为 8 字节整数倍)

对象头

代码示例:

public static void main(String[] args)  {
	//使用 JOT 查看对象内存
	System.out.println(ClassLayout.parseInstance(new Object()).toPrintable());
	System.out.println("---------------------------");
	System.out.println(ClassLayout.parseInstance(new ArrayList<>()).toPrintable());
}

image.png

2. 对象头

2.1 Mark Word

Mark Word 用于存储对象自身的运行时数据,如哈希码、GC分代年龄、锁状态标志、线程持有的锁、偏向线程ID、偏向时间戳等。这部分数据的长度在32位和64位的虚拟机(未开启压缩指针)中分别为 4 个字节和 8 个字节。

对象头里的信息是与对象自身定义的数据无关的额外存储成本,考虑到虚拟机的空间效率,Mark Word 被设计成一个有着动态定义的数据结构。

它会根据对象的状态复用自己的存储空间,也就是说在运行期间 MarkWord 里存储的数据会随着锁标志位的变化而变化,如下图为 HotSpot 64 位的对象的存储内容。

image.png

2.2 Klass Pointer

类型指针,即对象指向它的类型元数据的指针,虚拟机通过这个指针来确定该对象是哪个类的实例。注意是 Klass 不是 Class,Class Pointer是类的指针,而 Klass Pointer指的是底层 c++ 对应的类的指针。

大致流程是一个对象 new 出来以后是被放在堆里的,类的元数据信息是放在方法区里的,在 new 对象的头部有一个指针指向方法区中该类的元数据信息,这个头部的指针就是 Klass Pointer。

并且并不是所有的虚拟机实现都必须在对象数据上保留类型指针,换句话说就是查找对象的元数据信息并不一定要经过对象本身,这点我会在下一节“如何找到对象”具体讨论。

HotSpot 64 位支持指针压缩功能,根据是否开启指针压缩,Class Pointer 占用的大小将会不同:

  • 未开启指针压缩时,占用 8 byte (64bit)
  • 开启指针压缩情况下,占用 4 byte (32bit)

2.3 Length

数组对象特有,表示数组长度,占用 4 字节(32bit)空间,因为虚拟机可以通过普通对象的元数据信息确定对象的大小,但是如果数组的长度是不确定的,将无法通过元数据中的信息推断出数组的大小。

3. 实例数据

实例数据部分是对象真正存储的有效信息,即我们在代码里面所定义的各种数据类型的字段,无论是从父类继承下来的,还是在子类中定义的字段都会记录起来。

3.1 基本数据类型

image.png

3.2 引用数据类型

开启指针压缩情况下占 8 字节,开启指针压缩后占 4 字节。

4. 对齐填充

对象的第三部分是对齐填充,这并不是必然存在的,也没有特别的含义,它仅仅起着占位符的作用。

由于 HotSpot 虚拟机的自动内存管理系统要求对象起始地址必须是 8 字节的整数倍,换句话说就是任何对象的大小都必须是 8 字节的整数倍。

对象头部分被精心设计成正好是 8 字节的倍数,因此,如果对象实例数据部分没有对齐的话,就需要通过对齐填充来补全。

如何关闭对齐填充:

# VM参数

# 开启
-XX:+CompactFields
# 关闭
-XX:-CompactFields

如何设置对齐填充长度:

#VM 参数
-XX:ObjectAlignmentInBytes=16

三、对象的指针压缩详解

1. 什么是指针压缩

指针压缩是对类型指针或普通对象指针进行压缩,主要包含以下几种:

压缩指针类型 压缩目标 压缩变化
压缩类型指针 Klass Pointer 8 字节变为 4 字节
压缩普通对象指针 对象引用 8 字节变为 4 字节
数组对象 8 字节变为 4 字节

注意:堆内存设置不要超过 32 GB,否则指针压缩会失效。

在 JDK 6 之后的版本中,指针压缩是被默认开启的,可通过启动参数开启或关闭该功能:

# 开启压缩类型指针
-XX:+UseCompressedClassPointers 
# 关闭压缩类型指针
-XX:-UseCompressedClassPointers 

# 开启压缩普通对象指针
-XX:+UseCompressedOops 
# 关闭压缩普通对象指针
-XX:-UseCompressedOops  

代码示例

public static void main(String[] args)  {
	//使用 JOT 查看对象内存
	System.out.println(ClassLayout.parseInstance(new Object()).toPrintable());
}

正常默认情况下,指针压缩是开启的,此时类型指针位 4 字节

image.png

设置-XX:-UseCompressedClassPointers 关闭指针压缩,类型指针变为 8 字节。

image.png

2. JVM 内存不建议超过 32GB?

一般系统内存的最小 IO 单位是字节(byte),按照8 bit 为一组,也就是 1 字节(byte)分配一个地址。指针的 bit 和内存中的 bit 其实是有区别的。指针的 bit 对应着一个内存地址,一个内存地址对应着 1 字节(byte)。

使用 4 字节(32 bit)指针,可以表示 232 个内存地址,而每一个地址指向的是 1 字节(8 bit),故最大可表示 4GB 内存。

通过对象填充我们了解到 Java 对象默认使用了 8 字节对齐填充,也就是我在使用这块内存时候,最小的分配单元就是 8 字节。这样我们的指针指向的地址就是 8 字节,而不是一般系统的 1 字节。

所以虚拟机在开启指针压缩的情况下,Klass Pointer 最大可表示 32GB 内存,超过则指针压缩失效,故不建议堆内存设置超过 32GB

那么如果业务场景内存超过32GB怎么办呢?可以通过修改默认对齐长度进行再次扩展,将对齐长度修改为 16 字节。

3. 指针压缩的原理

我们通过指针压缩,将Klass Pointer 压缩到 4 自己,这样有什么问题吗?原来的指针大小为 8 字节(64 bit),可以表示 264 个内存地址,这样压缩完可以表示的不就少很多?

其实没有。通过上面简介中的描述,了解到 Java 对象默认使用了 8 字节对齐,也就是 1 个对象占用的空间必须是 8 字节的整数倍。

这样就可以通过基址 + 偏移量来表示对象的真正地址,基址其实就是对象地址的开始,但是不一定是 Java 堆的开始地址。

那么这个真正地址怎么计算呢?公式如下,符号不了解可以看运算符这篇文章。

64 位地址 = 基址 + (压缩对象指针 << 对象对齐偏移)

压缩对象指针 = (64 位地址 - 基址) >> 对象对齐偏移

对象对齐偏移与对齐填充相关,它的值就是对齐填充长度的指数值,比如,我们默认的对齐填充长度为 8 字节,也就是 23,则对象对齐偏移的值就是 3。偏移量就是压缩对象指针 << 3,这就是为什么网上很多文章描述的去掉后三位。

这样虚拟机在定位一个对象时不需要使用真正的内存地址,而是定位偏移量映射后的地址即可。

四、如何找到对象

创建对象自然是为了后续使用该对象,Java 中是通过栈桢里的 reference 数据来指向堆上的具体对象。目前主流的访问方式主要有使用句柄和直接指针两种。

1. 通过句柄

如下图, Java 堆中将可能会划分出一块内存来作为句柄池,reference 中存储的就是对象的句柄地址,而句柄中包含了对象实例数据与类型数据各自具体的地址信息。

2. 通过直接指针

使用直接指针访问的话,Java 堆中对象的内存布局就必须考虑如何放置访问类型数据的相关信息,reference 中存储的直接就是对象地址,如果只是访问对象本身的话,就不需要多一次间接访问的开销。

使用直接指针来访问最大的好处就是速度更快,它节省了一次指针定位的时间开销,由于对象访问在Java中非常频繁,因此这类开销积少成多也是一项极为可观的执行成本,也是 HotSpot 使用的方式。


参考:

[1] 周志明. 深入理解 Java 虚拟机(第3版).

[2]峰哥学Java. 对象的内存布局.

与Java 对象的揭秘相似的内容:

Java 对象的揭秘

作为一个 Java 程序员,我们在开发者最多的操作要属创建对象了。那么你了解对象多少?它是如何创建?如何存储布局以及如何使用的?本文将对 Java 对象进行揭秘,以及讲解如何使用 JOL 查看对象内存使用情况。

探索Java通信面试的奥秘:揭秘IO模型、选择器和网络协议,了解面试中的必备知识点!

通过深入探索Java通信面试的奥秘,我们将揭秘Java中的三种I/O模型(BIO、NIO和AIO)、选择器(select、poll和epoll)以及网络协议(如HTTP和HTTPS),帮助您了解在面试中必备的知识点。这些知识点对于网络编程和系统安全方面的求职者来说至关重要,掌握它们将为您的职业发展打下坚实的基础!

JVM是如何创建一个对象的?

1. Java对象创建的流程是什么样? 2. JVM执行new关键字时都有哪些操作? 3. JVM在频繁创建对象时,如何保证线程安全? 4. Java对象的内存布局是什么样的? 5. 对象头都存储哪些数据?

synchronized原理-字节码分析、对象内存结构、锁升级过程、Monitor

本文分析的问题: synchronized 字节码文件分析之 monitorenter、monitorexit 指令 为什么任何一个Java对象都可以成为一把锁? 对象的内存结构 锁升级过程 Monitor 是什么、源码查看 字节码分析 synchronized的3种使用方式 作用于实例方法,对对象

dubbo~javax.validation和jakarta.validation的介绍与排雷

javax.validation和jakarta.validation都是用于Java中进行数据验证(validation)的相关API,它们提供了一套标准的验证框架,用于验证Java对象的属性是否符合指定的约束条件。这两个API的作用类似,只是在Java EE平台的演进过程中发生了一些变化。 ja

该如何正确的中断一个线程的执行?

摘要:本文以一个案例的形式,来为大家详细介绍下为何中断执行的线程不起作用。 本文分享自华为云社区《【高并发】我们该如何正确的中断一个线程的执行??》,作者: 冰 河 。 写在前面 当我们在调用Java对象的wait()方法或者线程的sleep()方法时,需要捕获并处理InterruptedExcep

[转帖]HotSpot 虚拟机对象探秘

https://www.cnblogs.com/xiaojiesir/p/15593092.html 对象的创建 一个对象创建的时候,到底是在堆上分配,还是在栈上分配呢?这和两个方面有关:对象的类型和在 Java 类中存在的位置。 Java 的对象可以分为基本数据类型和普通对象。 对于普通对象来说,

[转帖]JAVA 对象序列化

https://cloud.tencent.com/developer/news/276874 文章来源:企鹅号 - 燃照爱宠物 所谓的『JAVA对象序列化』就是指,将一个JAVA对象所描述的所有内容以文件IO的方式写入二进制文件的一个过程。关于序列化,主要涉及两个流,ObjectInputStre

7种创建方式,带你理解Java的单例模式

介绍创建Java单例对象的七种方式,重点掌握哪些创建方式是线程安全的,哪些方式是线程不安全的,并能够在实际项目中灵活运用设计模式,编写可维护的代码。

Java BasePooledObjectFactory 对象池化技术

Java GenericObjectPool 对象池化技术--SpringBoot sftp 连接池工具类 一个对象池包含一组已经初始化过且可以使用的对象,而可以在有需求时创建和销毁对象。池的用户可以从池子中取得对象,对其进行操作处理,并在不需要时归还给池子而非直接销毁它。这是一种特殊的工厂对象。