摘要:
本文简单分析了Java虚拟机的核心运行机制。首先介绍了基本数据类型在32位和64位虚拟机中的存储差异,说明slot槽设计以空间换时间的优化思路。其次详细解析了对象在堆内存中的存储结构,包括对象头、对象数据和对齐填充机制。然后探讨了方法调用的实现原理,包括静态绑定和动态绑定两种方式。接着阐述了异常捕获通过异常表实现的机制。最后简要介绍了JIT即时编译器的关键技术,包括方法内联和逃逸分析。全文从底层视角揭示了JVM高效运行的关键技术原理。
一,基本数据类型
32位虚拟机中,slot槽占4个字节,64位中占8个字节,这一设计以空间换时间,避免不同数据类型不同处理方式带来的开销,也保证了对虚拟机的适配性
|---------|-------|---------------|
| 数据类型 | 堆(字节) | 栈slot槽(4/8字节) |
| byte | 1 | 1 |
| short | 2 | 1 |
| int | 4 | 1 |
| long | 8 | 2 |
| float | 4 | 1 |
| double | 8 | 2 |
| char | 2 | 1 |
| boolean | 1 | 1 |
(1)堆-->栈

boolean、char为无符号,低位复制,高位补零 ;byte、short有符号,低位复制,高位非负则补0,负则补1。
(2)栈-->堆

二,对象在堆中的存储(普通对象/数组对象)
【1】对象头
1,标记字段
主要记录该类的一些特定信息,如:锁状态,hashcode值,存活寿命(垃圾回收)等等
2,元数据的指针
指向方法区的InstanceKlass对象,64位虚拟机默认占8个字节,会进行指针压缩-->4个字节
【2】对象数据
1,对象属性
(1)字段对应的offset必须被该字段的数据类型整除,如果不能整除会调整字段的前后位置,通过数据重排来保证或者对象填充。
2,内存对齐填充
内存对齐填充是一种优化技术,用于确保对象在堆内存中的布局满足特定边界对齐要求。这主要是为了提高CPU访问内存的效率,避免两个不同的对象分配到同一个缓存行中可能导致性能下降
(1) CPU访问内存时,如果数据地址是某个对齐值(如8字节)的倍数,访问速度更快。例如,在64位系统中,常见对齐要求是8字节。
(2)对象头包含元数据(如锁状态、GC信息),大小通常为12字节(在64位JVM中,8字节mark word + 4字节klass pointer)。但为了对齐,JVM可能会添加填充字节。

三,方法的调用
方法的调用通过虚拟机栈来实现-->每当调用一个方法就会生成一个对应的栈帧,方法结束栈帧销毁。
1,四种方法调用的字节码指令

2,方法调用的原理
解决怎么样在保存了多个类和多个方法的方法区中找到对应的方法的字节码数据
(1)静态绑定

(2)动态绑定(实现多态)

四,异常捕获的原理
通过异常表来实现异常捕获,异常表主要包含表号、启始PC、结束PC、跳转PC和异常捕获类型(RuntimeException...)关键信息

1,Family的实现

五,Jit即时编译器


1,方法内联

2,逃逸分析(标量替换)

3,总结
