Java 对象的揭秘
一、对象是如何创建的
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 官网提供了查看对象内存布局的工具，使用步骤如下。后续的打印的控制台信息都是通过该工具实现的。
导入依赖
使用 JOL 提供的方法
1.4 一个空的 Object 占用多大内存？
空 Object 是只有对象头，没有实例数据，也无需填充对齐。
如图所示，HotSpot 64 位 虚拟机中：
普通对象： 占用 16 字节
数组对象： 占用 24 字节（对象大小须为 8 字节整数倍）
代码示例：
2. 对象头
2.1 Mark Word
Mark Word 用于存储对象自身的运行时数据，如哈希码、GC 分代年龄、锁状态标志、线程持有的锁、偏向线程 ID、偏向时间戳等。这部分数据的长度在 32 位和 64 位的虚拟机（未开启压缩指针）中分别为 4 个字节和 8 个字节。
对象头里的信息是与对象自身定义的数据无关的额外存储成本，考虑到虚拟机的空间效率，Mark Word 被设计成一个有着动态定义的数据结构。
它会根据对象的状态复用自己的存储空间，也就是说在运行期间 MarkWord 里存储的数据会随着锁标志位的变化而变化，如下图为 HotSpot 64 位的对象的存储内容。
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 基本数据类型
3.2 引用数据类型
开启指针压缩情况下占 8 字节，开启指针压缩后占 4 字节。
4. 对齐填充
对象的第三部分是对齐填充，这并不是必然存在的，也没有特别的含义，它仅仅起着占位符的作用。
由于 HotSpot 虚拟机的自动内存管理系统要求对象起始地址必须是 8 字节的整数倍，换句话说就是任何对象的大小都必须是 8 字节的整数倍。
对象头部分被精心设计成正好是 8 字节的倍数，因此，如果对象实例数据部分没有对齐的话，就需要通过对齐填充来补全。
如何关闭对齐填充：
如何设置对齐填充长度：
三、对象的指针压缩详解
1. 什么是指针压缩
指针压缩是对类型指针或普通对象指针进行压缩，主要包含以下几种：
注意：堆内存设置不要超过 32 GB，否则指针压缩会失效。
在 JDK 6 之后的版本中，指针压缩是被默认开启的，可通过启动参数开启或关闭该功能：
代码示例
正常默认情况下，指针压缩是开启的，此时类型指针位 4 字节
设置-XX:-UseCompressedClassPointers关闭指针压缩，类型指针变为 8 字节。
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 使用的方式。
文章转载自：fuxing．
还未添加个人签名 2023-06-19 加入
还未添加个人简介
评论