JVM,全称Ja va虚拟机,是Ja va运行环境的核心。你可以把它想象成一台专门运行Ja va字节码的虚拟计算机,它的职责清晰:加载并运行字节码,提供运行时环境,管理内存和垃圾回收等。那么,JVM内部究竟是怎么组织的?它是如何加载类文件,又是怎样自动清理垃圾的?我们从最基础的区域划分说起。

一、JVM内存区域划分

JVM的设计思路很有意思——它直接模仿了真实操作系统的进程地址空间划分。毕竟,真实操作系统里,一个进程的地址空间被细分成了若干区域,JVM也就照葫芦画瓢,做了类似的区域划分。具体来说,有四个核心区域:

  1. 程序计数器:一个很小的区域,只用来记录当前指令执行到哪个地址。没什么花活,就是记个位置。
  2. 元数据区:保存当前类被加载好的数据(也就是类对象 .class)。Ja va 8之前它叫方法区,后来改了个名。
  3. :保存方法的调用关系。每个方法被调用时,栈里就会压入一个栈帧,方法执行完,栈帧弹出,干净利落。
  4. :保存所有通过 new 创建的对象。比如这句代码:Test t = new Test()new Test() 一定在堆里,而 t 放在哪里?如果 t 是局部变量,就在栈;如果是成员变量,就在堆;如果是静态成员变量,就在元数据区。这一点需要特别留意。

深入理解Ja vaSEJVM

二、类加载机制

2.1 类加载的步骤

一个类从磁盘上的 .class 文件变成内存中可用的类对象,需要经历三个步骤:

  1. 加载:根据类的全限定名(包名+类名),找到对应的 .class 文件,打开它,把文件内容读到内存中。这一步只是把原始字节码搬进来。
  2. 连接:这一步又细分为三个子步骤:
    • 2.1 验证:检查 .class 文件的内容是否合法,同时把合法内容转成结构化的数据。
    • 2.2 准备:给类对象申请内存空间——注意,此时申请到的空间是全0的,相当于一块干净的画布。
    • 2.3 解析:针对字符串常量进行初始化,把解析出来的字符串常量放到元数据区的常量池里。
  3. 初始化:将类对象真正初始化,所有静态变量被赋予初始值,静态代码块开始执行。

2.2 双亲委派模型

双亲委派模型描述的是类加载过程中,根据全限定类名找到 .class 文件的具体方式。JVM内部有专门的模块负责类加载,默认提供了三种类加载器,它们之间存在父子关系:

  1. BootstrapClassLoader(爷):负责找Ja va标准库的目录。
  2. ExtensionClassLoader(爸):负责找Ja va扩展库的目录。
  3. ApplicationClassLoader(儿):负责找第三方库和当前项目的目录。

过程是这样的:当需要加载一个类时,先从 ApplicationClassLoader 作为入口,但它不会直接去找,而是把加载任务交给父亲 ExtensionClassLoader;父亲又交给爷爷 BootstrapClassLoader。爷爷先在自己的范围内(Ja va标准库)找,找到了就加载,没找到就抛回给儿子;儿子再在自己的范围里找,如果还是没找到,最后就抛给 ApplicationClassLoader。如果连它都找不到,就抛出异常。这种层层委托的机制,有效地避免了类加载的冲突和重复加载。

深入理解Ja vaSEJVM

三、垃圾回收机制 (GC)

Ja va中释放内存(主要是针对堆上的对象)的手段,就是垃圾回收。在C语言里,手动申请的内存需要手动释放,稍有不慎就会内存泄漏或野指针。Ja va引入了GC,让它自动识别哪些内存后续不会再被使用,然后自动释放。整个过程分为两步:找到垃圾,释放垃圾。

找到垃圾:有两种方案——引用计数和可达性分析。Ja va最终选择了可达性分析。

释放垃圾:有几种典型的算法,各有优劣。

深入理解Ja vaSEJVM

深入理解Ja vaSEJVM

深入理解Ja vaSEJVM

本文转载于:https://www.jb51.net/program/368455ye1.htm 如有侵犯,请联系zhengruancom@outlook.com删除。
免责声明:正软商城发布此文仅为传递信息,不代表正软商城认同其观点或证实其描述。