赞
踩
【面试精讲】JVM 的内存布局和运行原理(附代码)
目录
3、程序计数器(Program Counter Register)
Java虚拟机(JVM)是Java技术的核心,它提供了一个平台无关的运行环境,使得Java程序能够在多种硬件和操作系统平台上不加修改地运行。
本文将详细探讨JVM的内存布局以及其运行原理,并提供相关代码示例来增进理解。
JVM的内存布局分为若干个独立的区域,主要包括堆(Heap)、方法区(Method Area)、程序计数器(Program Counter Register)、虚拟机栈(VM Stack)和本地方法栈(Native Method Stack)。下面将逐一介绍这些区域的功能和特点。
堆是JVM内存中最大的一块区域,也是垃圾收集器管理的主要区域。所有的对象实例以及数组都在这里分配内存。堆被所有线程共享,为了优化垃圾回收和减少内存分配延迟,它通常被分为新生代(Young Generation)、老年代(Old Generation)和永久代(Permanent Generation,Java 8 中已经被元空间(Metaspace)所取代)。
- // 示例:在堆上分配对象内存
- public class HeapExample {
- public static void main(String[] args) {
- Object obj = new Object(); // 在堆上创建一个对象
- int[] array = new int[10]; // 在堆上分配一个整型数组
- }
- }
方法区与堆一样,是各个线程共享的内存区域。它用于存储已被虚拟机加载的类信息、常量、静态变量等数据。在HotSpot JVM中,方法区的一部分实现为永久代,但在Java 8及其之后的版本中已被元空间所替代。
- // 示例:静态变量存储在方法区
- public class MethodAreaExample {
- private static int STATIC_VARIABLE = 123;
- }
程序计数器是当前线程所执行的字节码的行号指示器。每个线程都有自己独立的程序计数器,是线程私有的内存。如果线程执行的是Java方法,计数器记录的是正在执行的虚拟机字节码指令的地址;如果是Native方法,计数器值则为空(Undefined)。
虚拟机栈是线程私有的,它的生命周期与线程相同。每个方法在执行时都会创建一个栈帧(Stack Frame),用于存储局部变量表、操作栈、动态链接、方法出口等信息。每一次方法调用,都会有一个栈帧被压入虚拟机栈,方法返回时弹出。
- // 示例:虚拟机栈的使用
- public class VMStackExample {
- public static void main(String[] args) {
- methodA();
- }
-
- private static void methodA() {
- int a = 10; // 局部变量存储在栈帧的局部变量表中
- methodB();
- }
-
- private static void methodB() {
- double b = 20.0; // 这是另一个栈帧的局部变量表项
- }
- }
本地方法栈与虚拟机栈类似,区别在于本地方法栈服务于Native方法。当一个线程调用Native方法时,例如通过JNI(Java Native Interface),会进入本地方法栈。
JVM的运行原理涉及到类加载机制、执行引擎以及垃圾回收策略等方面。
JVM类加载机制遵循“加载(Loading)- 链接(Linking)- 初始化(Initialization)”的过程,其中:
- // 示例:类加载过程
- public class ClassLoadingExample {
- static {
- System.out.println("Class <ClassLoadingExample> is initialized.");
- }
-
- public static void main(String[] args) {
- // 使用Class.forName触发类加载
- Class.forName("com.example.ClassLoadingExample");
- }
- }
此阶段用于查到相应的类(通过类名进行查找)并将此类的字节流转换为方法区运行时的数据结构,然后再在内存中生成一个能代表此类的 java.lang.Class 对象,作为其他数据访问的入口。
小贴士:需要注意的是加载阶段和连接阶段的部分动作有可能是交叉执行的,比如一部分字节码文件格式的验证,在加载阶段还未完成时就已经开始验证了。
此步骤主要是为了验证字节码的安全性,如果不做安全校验的话可能会载入非安全或有错误的字节码,从而导致系统崩溃,它是 JVM 自我保护的一项重要举措。
验证的主要动作大概有以下几个:
文件格式校验包括常量池中的常量类型、Class 文件的各个部分是否被删除或被追加了其他信息等;
元数据校验包括父类正确性校验(检查父类是否有被 final 修饰)、抽象类校验等;
字节码校验,此步骤最为关键和复杂,主要用于校验程序中的语义是否合法且符合逻辑;
符号引用校验,对类自身以外比如常量池中的各种符号引用的信息进行匹配性校验。
此阶段是用来初始化并为类中定义的静态变量分配内存的,这些静态变量会被分配到方法区上。
HotSpot 虚拟机在 JDK 1.7 之前都在方法区,而 JDK 1.8 之后此变量会随着类对象一起存放到 Java 堆中。
此阶段主要是用来解析类、接口、字段及方法的,解析时会把符号引用替换成直接引用。
所谓的符号引用是指以一组符号来描述所引用的目标,符号可以是任何形式的字面量,只要使用时能无歧义地定位到目标即可;而直接引用是可以直接指向目标的指针、相对偏移量或者是一个能间接定位到目标的句柄。
符号引用和直接引用有一个重要的区别:使用符号引用时被引用的目标不一定已经加载到内存中;而使用直接引用时,引用的目标必定已经存在虚拟机的内存中了。
初始化阶段 JVM 就正式开始执行类中编写的 Java 业务代码了。到这一步骤之后,类的加载过程就算正式完成了。
了解JVM的内存布局以及运行原理,对于编写高效稳定的Java程序至关重要。通过掌握JVM的架构,开发者可以更好地理解程序的性能特点,优化内存使用,预防内存泄露,以及有效地利用JVM提供的监控和调试工具。以上内容详细介绍了JVM内存各个区域的职责和特性,并且通过代码示例阐述了JVM类加载、执行引擎运作以及垃圾回收的基本原理,旨在为深入理解JVM提供一份参考资料。
如果本文对你有帮助 欢迎 关注 、点赞 、收藏 、评论, 博主才有动力持续记录遇到的问题!!!
声明:本文内容由网友自发贡献,不代表【wpsshop博客】立场,版权归原作者所有,本站不承担相应法律责任。如您发现有侵权的内容,请联系我们。转载请注明出处:https://www.wpsshop.cn/w/知新_RL/article/detail/397651
Copyright © 2003-2013 www.wpsshop.cn 版权所有,并保留所有权利。