JVM—堆中Java对象分配、布局和访问的全过程

最新推荐文章于 2023-03-24 08:30:11 发布

多一天，多一点

最新推荐文章于 2023-03-24 08:30:11 发布

阅读量1k

点赞数 3

分类专栏： JVM 文章标签： jvm

本文链接：https://blog.csdn.net/xioayu96/article/details/107138084

版权

JVM 专栏收录该内容

19 篇文章 0 订阅

订阅专栏

一、对象的创建

1.1 创建对象的几种方式

使用new
使用Class 类的 newInstance()
使用Constructor类的newInstance()
实现Cloneable接口并重写clone()方法
使用反序列化

2.2 JVM层面创建对象的过程

判断对象对应的类是否加载、链接、初始化
为对象分配内存
内存绝对规整，采用“指针碰撞”；不规整采用“空闲列表”
处理并发安全问题
将分配到的内存空间（但不包括对象头）都初始化为零值
设置对象的对象头
调用Class文件中的<init>()方法进行初始化

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

虚拟机遇到一条new指令，首先去检查这个指令的参数能否在Metaspace的常量池中定位到一个类的符号引用，并且检查这个符号引用代表的类是否已经被加载、解析和初始化。（即判断类元信息是否存在）。如果没有，那么在双亲委派模式下，使用当前类加载器以ClassLoader+包名+类名为Key进行查找对应的.class文件。如果没有找到文件，则抛出ClassNotFoundException异常，如果找到，则进行类加载，并生成对应的Class类对象

2.2.2 为对象分配内存

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

如果内存规整，使用指针碰撞
假设Java堆中内存是绝对规整的，所有被使用过的内存都被放在一边，空闲的内存被放在另一边，中间放着一个指针作为分界点的指示器，那所分配内存就仅仅是把那个指针向空闲空间方向挪动一段与对象大小相等的距离，这种分配方式称为“指针碰撞”（Bump ThePointer）。
如果内存不规整，虚拟机需要维护一个列表，使用空闲列表分配
但如果Java堆中的内存并不是规整的，已被使用的内存和空闲的内存相互交错在一起，那就没有办法简单地进行指针碰撞了，虚拟机就必须维护一个列表，记录上哪些内存块是可用的，在分配的时候从列表中找到一块足够大的空间划分给对象实例，并更新列表上的记录，这种分配方式称为“空闲列表”（Free List）。
采用哪种分配方式？

当使用Serial、 ParNew等带压缩整理过程的收集器时，系统采用的分配算法是指针碰撞，既简单又高效；而当使用CMS这种基于清除（Sweep）算法的收集器时，理论上就只能采用较为复杂的空闲列表来分配内存。

2.2.3 处理并发安全问题

在分配内存空间时，另外一个问题是及时保证new对象时候的线程安全性：创建对象是非常频繁的操作，虚拟机需要解决并发问题。虚拟机采用了两种方式解决并发问题：

CAS （ Compare And Swap ）失败重试、区域加锁：保证指针更新操作的原子性；
TLAB把内存分配的动作按照线程划分在不同的空间之中进行，即每个线程在Java堆中预先分配一小块内存，称为本地线程分配缓冲区，（TLAB ，Thread Local Allocation Buffer）虚拟机是否使用TLAB，可以通过一XX：+/一UseTLAB参数来设定。（关于TLAB在《运行时数据区域—堆》中有过解释）

2.2.4 将分配到的内存空间（但不包括对象头）都初始化为零值

内存分配结束，虚拟机将分配到的内存空间都初始化为零值（不包括对象头）。这一步保证了对象的实例字段在Java代码中可以不用赋初始值就可以直接使用，程序能访问到这些字段的数据类型所对应的零值。

基本数据类型零值表

数据类型零值
char ‘\u0000’
short (short)0
byte (byte)0
int 0
long 0L
boolean false
double 0.0d
float 0.0f
reference null

数据类型	零值
char	‘\u0000’
short	(short)0
byte	(byte)0
int	0
long	0L
boolean	false
double	0.0d
float	0.0f
reference	null

2.2.5 设置对象的对象头

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

2.2.6 调用Class文件中的<init>()方法进行初始化

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

二、对象的内存布局

在HotSpot虚拟机里，对象在堆内存中的存储布局可以划分为三个部分： 对象头（Header）、实例
数据（Instance Data）和对齐填充（Padding） 。

2.1 对象头（Header）

对象头主要是由Mark Word、 Klass Point 、Array length组成

长度	头对象结构	说明
32/64bit	Mark Word	如哈希码（HashCode）、 GC分代年龄、锁状态标志、线程持有的锁、偏向线程ID、偏向时间戳等
32/64bit	Klass Point	类型指针指向对象的类元数据，JVM通过这个指针确定该对象是哪个类的实例。
32/64bit	Array length	数组长度 (如果当前对象类型是数组)

2.1.1 MarkWord

其中HashCode，只有调用了hashCode()方法，才会把HashCode存放进MarkWord中

在这里插入图片描述

2.1.2 类型指针（Klass Point）

用来指向元空间的类元信息， Java虚拟机通过这个指针来确定该对象是哪个类的实例。

2.1.3 数组长度（Array Length）

如果当前对象是数组类型，则会专门用来保存数组长度。因为虚拟机可以通过普通Java对象的元数据信息确定Java对象的大小，但是如果数组的长度是不确定的，将无法通过元数据中的信息推断出数组的大小。

2.2 实例数据（Instance Data）

实例数据部分是对象真正存储的有效信息，即我们在程序代码里面所定义的各种类型的字段内容，无论是从父类继承下来的，还是在子类中定义的字段都必须记录起来。HotSpot虚拟机默认的分配顺序为longs/doubles、ints、 shorts/chars、 bytes/booleans、 oops（OrdinaryObject Pointers， OOPs）。如果HotSpot虚拟机的
+XX:CompactFields参数值为true（默认就为true），那子类之中较窄的变量也允许插入父类变量的空隙之中，以节省出一点点空间。把这段话总结如下：

相同宽度的字段总被分配在一起
父类中定义的变量会出现在子类之前
如果CompactFields参数为true（默认为true），子类的窄变量可能插入到父类变量的空隙

2.3 对齐填充（Padding）

起着占位符的作用。 HotSpot虚拟机的自动内存管理系统要求对象起始地址必须是8字节的整数倍，换句话说就是任何对象的大小都必须是8字节的整数倍。对象头部分已经被精心设计成正好是8字节的倍数（1倍或者
2倍），因此，如果对象实例数据部分没有对齐的话，就需要通过对齐填充来补全。

如果Hotspot虚拟机关闭了指针压缩，并且当前对象还不是数组类型的话，就会使用对齐填充

三、对象的访问定位

在这里插入图片描述

我们的Java程序会通过栈上的reference数据来操作堆上的具体对象。由于reference类型在《Java虚拟机规范》里面只规定了它是一个指向对象的引用，并没有定义这个引用应该通过什么方式去定位、访问到堆中对象的具体位置，所以对象访问方式也是由虚拟机实现而定的，主流的访问方式主要有使用句柄和直接指针两种：

3.1 句柄方式

如果使用句柄访问的话， Java堆中将可能会划分出一块内存来作为句柄池， reference中存储的就
是对象的句柄地址，而句柄中包含了对象实例数据与类型数据各自具体的地址信息，其结构如图

[外在这里插入图片描述

3.2 直接指针

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

在这里插入图片描述

3.3 两种方式对比

句柄来访问的最大好处就是reference中存储的是稳定句柄地址，在对象被移动（垃圾收集时移动对象是非常普遍的行为）时只会改变句柄中的实例数据指针，而reference本身不需要被修改。

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

四、例子

class Customer{
    int id = 1001;
    String name;
    Account acct;
    
    {
        name = "匿名客户";
    }
    
    public Customer(){
        acc = new Account();
    }
}

class Account{}

public class CustomerTest {
    public static void main(String[] args) {
        Customer cust = new Customer();
    }
}