JVM~Java 对象
1、对象创建过程
一个Java对象的创建过程往往包括 类初始化
和类实例化
两个阶段。
- 类加载检查: 虚拟机遇到一条 new 指令时,首先将去检查这个指令的参数是否能在常量池中定位到这个类的
符号引用
,并且检查这个符号引用代表的类是否已被加载过、解析和初始化过。如果没有,那必须先执行相应的类加载过程。 - 分配内存:在
类加载检查
通过后,接下来虚拟机将为新生对象分配内存
。对象所需的内存大小在类加载完成后便可确定,为对象分配空间的任务等同于把一块确定大小的内存从 Java 堆中划分出来。分配方式有 “指针碰撞” 和 “空闲列表” 两种
,选择那种分配方式由 Java 堆是否规整决定,而Java堆是否规整又由所采用的垃圾收集器是否带有压缩整理功能决定。- 内存分配的两种方式:选择以上两种方式中的哪一种,取决于 Java 堆内存是否规整。而 Java 堆内存是否规整,
取决于 GC 收集器的算法
是"标记-清除",还是"标记-整理"(也称作"标记-压缩"),值得注意的是,复制算法内存也是规整的。 - 内存分配并发问题 :在创建对象的时候有一个很重要的问题,就是线程安全,因为在实际开发过程中,创建对象是很频繁的事情,作为虚拟机来说,必须要保证线程是安全的,通常来讲,
虚拟机采用两种方式来保证线程安全
:- CAS+失败重试:虚拟机采用 CAS 配上失败重试的方式保证更新操作的原子性。
- TLAB(Thread Local Allocation Buffer):为每一个线程预先在Eden区分配一块儿内存,JVM在给线程中的对象分配内存时,首先在TLAB分配,当对象大于TLAB中的剩余内存或TLAB的内存已用尽时,再采用上述的CAS进行内存分配。
- 内存分配的两种方式:选择以上两种方式中的哪一种,取决于 Java 堆内存是否规整。而 Java 堆内存是否规整,
- 初始化零值:内存分配完成后,虚拟机需要将分配到的内存空间都初始化为零值(不包括对象头),这一步操作保证了对象的实例字段在 Java 代码中可以不赋初始值就直接使用,程序能访问到这些字段的数据类型所对应的零值。
- 设置对象头:虚拟机要对对象进行必要的设置,例如这个对象是那个类的实例、如何才能找到类的元数据信息、对象的哈希吗、对象的 GC 分代年龄等信息。 这些信息存放在对象头中。 另外,根据虚拟机当前运行状态的不同,如是否启用偏向锁等,对象头会有不同的设置方式。
- 执行 init 方法:在上面工作都完成之后,
从虚拟机的视角来看
,一个新的对象已经产生了,但从 Java 程序的视角来看
,对象创建才刚开始,<init> 方法还没有执行,所有的字段都还为零。所以一般来说,执行 new 指令之后会接着执行<init> 方法,把对象按照程序员的意愿进行初始化,这样一个真正可用的对象才算完全产生出来。
##2、对象的内存布局
在HotSpot虚拟机中,对象在内存中的存储布局可以分为3块区域:对象头部
、实例数据
、对齐填充
。
2.1、对象头部
标记字(Mark Word,32位虚拟机4B,64位虚拟机8B) + 类型指针(Class 指针,32位虚拟机4B,64位虚拟机8B)+ [数组长(对于数组对象才需要此部分信息)]
- Mark Word:存储对象自身的运行时数据信息,例如哈希码,GC分代年龄,锁状态标志,线程持有的锁,偏向线程ID。
- Class 指针:通过该指针确定该对象是哪个类的实例。
2.2、实例数据
实例数据存储的是真正有效数据,如各种字段内容,各字段的分配策略为longs/doubles、ints、shorts/chars、bytes/boolean、oops(ordinary object pointers),相同宽度的字段总是被分配到一起,便于之后取数据。
父类定义的变量会出现在子类定义的变量的前面。
2.3、对齐填充
- 对齐填充部分仅仅起到占位符的作用,并非必须。
- Java对象在内存中将
以8字节对齐
,也就是对象的总大小必须是8字节的整数倍。
3、对象的访问定位
当我们在堆上创建一个对象实例后,就要通过虚拟机栈中的reference类型数据来操作堆上的对象。现在主流的访问方式有两种(HotSpot虚拟机采用的是第二种):
- 使用
句柄
访问对象。即reference中存储的是对象句柄的地址,而句柄中包含了对象实例数据与类型数据的具体地址信息,相当于二级指针。 直接指针
访问对象。即reference中存储的就是对象地址,相当于一级指针。