【JVM】JVM执行流程和内存区域划分

简介: 【JVM】JVM执行流程和内存区域划分

是什么

Java 虚拟机

  • JDK,Java 开发工具包
  • JRE,Java 运行时环境
  • JVM,Java 虚拟机

JVM 就是 Java 虚拟机,解释执行 Java 字节码

JVM 执行流程

编程语言可以分为:

  • 编译型语言:先将高级语言转换成二进制的机器指令,再由 CPU 去直接执行
  • 解释型语言:一边去转换,一边去执行
    这样的说法放单今天,硬件不适用了

按照上述这种经典的划分方式,可以认为 Java 属于“半编译,半解释”。Java 这么设定,最主要的目的就是为了“跨平台”。

  • 像 C++这样的语言是直接编译成了二进制的机器指令,而不同的CPU支持的指令不一样,而且生成的可执行程序,在不同的系统上也有不同的格式
  • Windows 可执行程序:PE 格式
  • Linux 可执行程序:ELF 格式

当前看到的手机操作系统,为什么只有安卓、iOS?

  • 因为搞一个新的系统,现有的软件不能兼容,没有生态也就没有市场
  • 鸿蒙能直接运行安卓程序,是因为鸿蒙不是新系统,只是安卓套壳

Java 不想重新编译,而是期望能够直接执行

  • 先通过javac.java文件==>.class文件(字节码文件,包含的就是Java字节码,Java自己搞的一套CPU指令)
  • 因为如果生成 CPU 直接能执行的指令的话,不同的 CPU 支持的指令就不一样,就不能在所有系统上执行
  • 这样先把 java 代码转成对应的 java 字节码文件,然后在某个具体的系统平台上执行,此时通过 JVM 把上述的字节码转换成对应的 CPU 能识别的机器指令(JVM 就是一个翻译官的角色)

通过上述转换,我们就可以不去重新编译,也能够完成良好的跨平台。因此,我们编写和发布一个 java 程序,其实就只要发布 .class 文件就可以了,JVM 拿到 .class 文件之后,就知道如何转换

  • Windows 上的 JVM 就可以把 .class 转换成 Windows 上能支持的可执行指令了
  • Linux 上的 JVM 就可以把.class 转换成 Linux 上可以支持的可执行指令了
    不同平台的局面是存在差异的,而不是同一个。对上(给 java 层面上提供的内容)是统一一致的

内存区域划分

JVM 其实也是一个进程(任务管理器中看到的 java 进程)

进程运行过程中,要从操作系统这里车身轻一些资源(内存就是其中的典型资源),这些内存空间就支撑了后续 java 程序的执行。

  • 比如,在 java 中定义变量(就会申请内存),内存其实就是 JVM 从系统这边申请到的内存,然后再交给具体的 java 程序去使用

JVM 从系统申请了一大块内存,这一大块内存给 java 程序使用的时候,又会根据实际的使用用途,来划分出不同的空间,这就是所谓的“区域划分

代码中 new 出来的对象,都是在堆里。对象中持有的非静态成员变量,也都在堆里。只有一份

  • 静态成员变量在元数据区

本地方法栈/虚拟机栈。包含了方法调用关系和局部变量

  • 在代码执行过程中,肯定会涉及到很多方法的调用,调用的关系就通过栈空间记录下来
  • 虚拟机栈,记录了 Java 代码的调用关系,Java 代码的局部变量
  • 本地方法栈,记录了 JVM 内部,通过 C++ 写的代码的调用关系和局部变量

一般不会关注本地方法栈,一般来说谈到栈,就默认指的是“虚拟机栈

这里谈到的“堆“和“栈“,和数据结构中的“堆“和“栈“是不同的。这里的是两块区域

程序计数器

这个区域比较小,专门用来存储下一条要执行的 Java 指令的地址

元数据区

“元数据”是计算机中的一个常见术语(meta data),往往指的是一些辅助性质的,描述性质的属性。只有一份

比如:硬盘上不仅仅要存储数据本体,还要存储一些辅助信息:文件的大小、文件的位置、文件的拥有者、文件的修改时间、文件的权限信息… 这些辅助信息统称为“元数据

在以前的 Java 版本中,也叫做“方法区”,从 1.8 开始改的名字

云数据区中主要保存:

  • 类的信息
  • 方法的信息
    一个程序,有哪些类、每个类里都有哪些方法、每个方法里面都要包含哪些指令,都会记录在元数据区。

我们写的 Java 代码,ifwhilefor 等各种逻辑运算,这些操作都会被转换成 Java 字节码

  • javac 就会完成上述代码到字节码的转换
  • 此时这些字节码在程序运行的时候就会被 JVM 加载到内存中,放到元数据区(方法区)里面
  • 之后,当前程序要如何执行,要做哪些事情,就会按照上述元数据区里面记录的字节码一次执行了

我们所编写的代码,都会被转换成二进制指令,都会进入到内存中,然后才能执行。

类似于剧本杀

  • 剧本杀里面给美格玩家发一个剧本,每个玩家就按照剧本上给出的要求来演
  • 此处所谓 Java 字节码,要执行的方法的细节,就像剧本一样,需要把剧本加载到内存中,然后才能执行

堆和元数据区只有一份(所有线程共享一份),栈和程序计数器可能有 n 份(和线程相关,每个线程都有自己的程序计数器和栈(每个线程有自己的执行流))

经典笔试题

在下面代码中,tnm 分别处于 JVM 内存中的哪个区域?

class Test() {
  private int n;
  private static int m;
}
main() {
  Test t = new Text();
}
  • t 是一个局部变量(引用类型),在
  • nTest 的成员变量,new 出来的 Test 是在堆上的,所以 n 作为成员变量也是处于
  • static 修饰的变量,称为“类属性”;static 修饰的方法,称为“类方法
  • static 修饰的变量,称为“实例属性”;非 static 修饰的方法,称为“实例方法
  • 所以这里的 m 是长在类上的成员,和 newnew 实例没有关系。上述带有 static 修饰的变量,就是在类对象中,也就是在元数据区中(方法区)

类对象,Test.class

  • JVM.class 文件加载到内存之后,就会把这里的信息使用对象来表示,此时这样的对象就是类对象
  • 类对象里就包含了一系列的信息,包括但不限于:
  • 类的名称
  • 类继承自那个类
  • 实现了哪些接口
  • 都有哪些成员,都叫什么,都是什么类型,都是什么权限
  • 都有哪些方法,都叫什么,都是什么参数,都是什么权限

.java 文件中涉及到的信息都会在 .class 中有所体现(注释是不会包含的)

区分一个变量在哪个内存区域中,最主要的就是看变量的形态

  • 局部变量
  • 成员变量
  • 静态成员变量


相关文章
|
24天前
|
弹性计算 人工智能 架构师
阿里云携手Altair共拓云上工业仿真新机遇
2024年9月12日,「2024 Altair 技术大会杭州站」成功召开,阿里云弹性计算产品运营与生态负责人何川,与Altair中国技术总监赵阳在会上联合发布了最新的“云上CAE一体机”。
阿里云携手Altair共拓云上工业仿真新机遇
|
16天前
|
存储 关系型数据库 分布式数据库
GraphRAG:基于PolarDB+通义千问+LangChain的知识图谱+大模型最佳实践
本文介绍了如何使用PolarDB、通义千问和LangChain搭建GraphRAG系统,结合知识图谱和向量检索提升问答质量。通过实例展示了单独使用向量检索和图检索的局限性,并通过图+向量联合搜索增强了问答准确性。PolarDB支持AGE图引擎和pgvector插件,实现图数据和向量数据的统一存储与检索,提升了RAG系统的性能和效果。
|
20天前
|
机器学习/深度学习 算法 大数据
【BetterBench博士】2024 “华为杯”第二十一届中国研究生数学建模竞赛 选题分析
2024“华为杯”数学建模竞赛,对ABCDEF每个题进行详细的分析,涵盖风电场功率优化、WLAN网络吞吐量、磁性元件损耗建模、地理环境问题、高速公路应急车道启用和X射线脉冲星建模等多领域问题,解析了问题类型、专业和技能的需要。
2577 22
【BetterBench博士】2024 “华为杯”第二十一届中国研究生数学建模竞赛 选题分析
|
18天前
|
人工智能 IDE 程序员
期盼已久!通义灵码 AI 程序员开启邀测,全流程开发仅用几分钟
在云栖大会上,阿里云云原生应用平台负责人丁宇宣布,「通义灵码」完成全面升级,并正式发布 AI 程序员。
|
3天前
|
JSON 自然语言处理 数据管理
阿里云百炼产品月刊【2024年9月】
阿里云百炼产品月刊【2024年9月】,涵盖本月产品和功能发布、活动,应用实践等内容,帮助您快速了解阿里云百炼产品的最新动态。
阿里云百炼产品月刊【2024年9月】
|
2天前
|
存储 人工智能 搜索推荐
数据治理,是时候打破刻板印象了
瓴羊智能数据建设与治理产品Datapin全面升级,可演进扩展的数据架构体系为企业数据治理预留发展空间,推出敏捷版用以解决企业数据量不大但需构建数据的场景问题,基于大模型打造的DataAgent更是为企业用好数据资产提供了便利。
163 2
|
20天前
|
机器学习/深度学习 算法 数据可视化
【BetterBench博士】2024年中国研究生数学建模竞赛 C题:数据驱动下磁性元件的磁芯损耗建模 问题分析、数学模型、python 代码
2024年中国研究生数学建模竞赛C题聚焦磁性元件磁芯损耗建模。题目背景介绍了电能变换技术的发展与应用,强调磁性元件在功率变换器中的重要性。磁芯损耗受多种因素影响,现有模型难以精确预测。题目要求通过数据分析建立高精度磁芯损耗模型。具体任务包括励磁波形分类、修正斯坦麦茨方程、分析影响因素、构建预测模型及优化设计条件。涉及数据预处理、特征提取、机器学习及优化算法等技术。适合电气、材料、计算机等多个专业学生参与。
1576 16
【BetterBench博士】2024年中国研究生数学建模竞赛 C题:数据驱动下磁性元件的磁芯损耗建模 问题分析、数学模型、python 代码
|
22天前
|
编解码 JSON 自然语言处理
通义千问重磅开源Qwen2.5,性能超越Llama
击败Meta,阿里Qwen2.5再登全球开源大模型王座
977 14
|
4天前
|
Linux 虚拟化 开发者
一键将CentOs的yum源更换为国内阿里yum源
一键将CentOs的yum源更换为国内阿里yum源
221 2
|
17天前
|
人工智能 开发框架 Java
重磅发布!AI 驱动的 Java 开发框架:Spring AI Alibaba
随着生成式 AI 的快速发展,基于 AI 开发框架构建 AI 应用的诉求迅速增长,涌现出了包括 LangChain、LlamaIndex 等开发框架,但大部分框架只提供了 Python 语言的实现。但这些开发框架对于国内习惯了 Spring 开发范式的 Java 开发者而言,并非十分友好和丝滑。因此,我们基于 Spring AI 发布并快速演进 Spring AI Alibaba,通过提供一种方便的 API 抽象,帮助 Java 开发者简化 AI 应用的开发。同时,提供了完整的开源配套,包括可观测、网关、消息队列、配置中心等。
734 9