对象的创建
对象的创建(new、克隆、反序列化)的过程:
- 当虚拟机遇到内存创建的指令的时候,来到了方法区,找到方法区中有没有符号引用(类信息存在的一种原始形式,字符串)
- 检查该符号引用有没有被加载、解析和初始化过,如果没有则执行类加载过程,否则直接准备为新的对象分配内存
- 分配内存分为指针碰撞和空闲列表两种方式;分配内存还要要保证并发安全,有两种方式。
- 指针碰撞:前提是堆内存中的空闲空间十分的规整,使用与未使用的空间全部为连续,只需移动一下指针就可以了
- 空闲列表:针对堆内存中的空间零散的存在,虚拟机维护着一个列表,记录着哪里被分配了,哪里还空闲
- CAS 命令的方式来控制操作是同步的
- TLAB(Thread Local Allocation Buffer):在堆中为每一个线程分配一小块独立的内存,这样以来就不存并发问题了,Java 层面与之对应的是 ThreadLocal 类的实现
- 分配完内存后要对对象的头(Object Header)进行初始化,这新信息包括:该对象对应类的元数据、该对象的GC代、对象的哈希码
- 最后,一个新对象的产生后还需要执行构造器中的命令,来完成Java层面的初始化,在 JVM 里为 方法。到此一个新生的对象就产生了出来,准备被使用。
对象的内存模型
对象的头(Object Header)
在对象头中有两类信息:标志信息(Mark Word)和元信息指针(Kclass Pointer)
标识信息用来存放对象一些固有属性的状态,这些属性从对象创建就有,而不是 Java 的使用者定义的:
- 哈希码:对象的唯一标识符
- 对象的分代年龄:与垃圾回收有关
- 线程持有的锁
- 锁的状态
- 偏向线程 ID、偏向时间戳
- 数组长度:如果该对象是数组,会有数组长度信息
元信息指针是指向方法区中类元信息的指针。
实例的信息
实例的信息存放的是一些对 Java 使用者真正有效的信息,也就是类中定义的各个字段,其中还包括从父类继承的字段。
对齐填充
对其填充这段内存段存在与否取决于前面两部分的长度,为了保证对象内存模型的长度为 8 字节的整数倍,这也是虚拟机自动内存管理的要求。
使用对象
对象创建起来之后,就会在虚拟机栈中维护一个本地变量表,用于存储基础类型和基础类型的值,引用类型与引用类型的值。
其中引用类型的值就是堆中对象地址。如何引用堆中地址有两种方式:
- 句柄:在堆中维护一个句柄池,句柄中包含了对象地址,当对象改变的时候,只需改变句柄,不需要改变栈中本地变量表的引用
- 直接指针:对象的地址直接存储在栈中,这样做的好处就是访问速度变快