JVM上篇:内存与垃圾回收篇

JVM上篇:内存与垃圾回收篇

1.JVM 与 Java 体系结构

1.1. 前言

作为 Java 工程师的你曾被伤害过吗是否也遇到过这些问题/p>

  • 运行着的线上系统突然卡死,系统无法访问,甚至直接 OOM
  • 想解决线上 JVM GC 问题,但却无从下手
  • 新项目上线,对各种 JVM 参数设置一脸茫然,直接默认吧然后就 JJ 了
  • 每次面试之前都要重新背一遍 JVM 的一些原理概念性的东西,然而面试官却经常问你在实际项目中如何调优 JVM 参数,如何解决 GC、OOM 等问题,一脸懵逼

image-20200704112119729

计算机系统体系对我们来说越来越远,在不了解底层实现方式的前提下,通过高级语言很容易编写程序代码。但事实上计算机并不认识高级语言

我们为什么要学习 JVM/strong>

  • 面试的需要(BATJ、TMD,PKQ 等面试都爱问)
  • 中高级程序员必备技能
    • 项目管理、调优的需求
  • 追求极客的精神
    • 比如:垃圾回收算法、JIT、底层原理

Java vs C++

image-20210507095948516

image-20210507100021400

image-20200704151731216

每个语言都需要转换成字节码文件,最后转换的字节码文件都能通过 Java 虚拟机进行运行和处理

image-20210507102334642

1.4. Java 发展的重大事件

  • 1990 年,在 Sun 计算机公司中,由 Patrick Naughton、MikeSheridan 及 James Gosling 领导的小组 Green Team,开发出的新的程序语言,命名为 oak,后期命名为 Java
  • 1995 年,Sun 正式发布 Java 和 HotJava 产品,Java 首次公开亮相。
  • 1996 年 1 月 23 日,Sun Microsystems 发布了 JDK 1.0。
  • 1998 年,JDK1.2 版本发布。同时,sun 发布了 JSP/Servlet、EJB 规范,以及将 Java 分成了 J2EE、J2SE 和 J2ME。这表明了 Java 开始向企业、桌面应用和移动设备应用 3 大领域挺进。
  • 2000 年,JDK1.3 发布,Java HotSpot Virtual Machine 正式发布,成为 Java 的默认虚拟机。
  • 2002 年,JDK1.4 发布,古老的 Classic 虚拟机退出历史舞台。
  • 2003 年年底,Java 平台的 Scala 正式发布,同年 Groovy 也加入了 Java 阵营。
  • 2004 年,JDK1.5 发布。同时 JDK1.5 改名为 JavaSE5.0。
  • 2006 年,JDK6 发布。同年,Java 开源并建立了 OpenJDK。顺理成章,Hotspot 虚拟机也成为了 openJDK 中的默认虚拟机。
  • 2007 年,Java 平台迎来了新伙伴 Clojure。
  • 2008 年,Oracle 收购了 BEA,得到了 JRockit 虚拟机。
  • 2009 年,Twitter 宣布把后台大部分程序从 Ruby 迁移到 Scala,这是 Java 平台的又一次大规模应用。
  • 2010 年,Oracle 收购了 Sun,**获得 Java 商标和最真价值的 HotSpot 虚拟机。**此时,Oracle 拥有市场占用率最高的两款虚拟机 HotSpot 和 JRockit,并计划在未来对它们进行整合:HotRockit
  • 2011 年,JDK7 发布。在 JDK1.7u4 中,正式启用了新的垃圾回收器 G1。
  • 2017 年,JDK9 发布。将 G1 设置为默认 Gc,替代 CMS
  • 同年,IBM 的 J9 开源,形成了现在的 Open J9 社区
  • 2018 年,Android 的 Java 侵权案判决,Google 赔偿 Oracle 计 88 亿美元
  • 同年,Oracle 宣告 JavaEE 成为历史名词 JDBC、JMS、Servlet 赠予 Eclipse 基金会
  • 同年,JDK11 发布,LTS 版本的 JDK,发布革命性的 ZGC,调整 JDK 授权许可
  • 2019 年,JDK12 发布,加入 RedHat 领导开发的shenandoah GC

img

1.5. 虚拟机与 Java 虚拟机

虚拟机

所谓虚拟机(Virtual Machine),就是一台虚拟的计算机。它是一款软件,用来执行一系列虚拟计算机指令。大体上,虚拟机可以分为系统虚拟机和程序虚拟机。

  • 大名鼎鼎的 Visual Box,VMware 就属于系统虚拟机,它们完全是对物理计算机的仿真,提供了一个可运行完整操作系统的软件平台。
  • 程序虚拟机的典型代表就是 Java 虚拟机,它专门为执行单个计算机程序而设计,在 Java 虚拟机中执行的指令我们称为 Java 字节码指令。

无论是系统虚拟机还是程序虚拟机,在上面运行的软件都被限制于虚拟机提供的资源中。

Java 虚拟机

  • Java 虚拟机是一台执行 Java 字节码的虚拟计算机,它拥有独立的运行机制,其运行的 Java 字节码也未必由 Java 语言编译而成。
  • JVM 平台的各种语言可以共享 Java 虚拟机带来的跨平台性、优秀的垃圾回器,以及可靠的即时编译器。
  • Java 技术的核心就是 Java 虚拟机(JVM,Java Virtual Machine),因为所有的 Java 程序都运行在 Java 虚拟机内部。

作用

  • Java 虚拟机就是二进制字节码的运行环境,负责装载字节码到其内部,解释/编译为对应平台上的机器指令执行。每一条 Java 指令,Java 虚拟机规范中都有详细定义,如怎么取操作数,怎么处理操作数,处理结果放在哪里。

特点

  • 一次编译,到处运行
  • 自动内存管理
  • 自动垃圾回收功能

JVM 的位置

image-20210507104030823

1.6. JVM 的整体结构

image-20200704210429535

1.8. JVM 的架构模型

Java 编译器输入的指令流基本上是一种基于栈的指令集架构,另外一种指令集架构则是基于寄存器的指令集架构。

具体来说:这两种架构之间的区别:

基于栈式架构的特点

  • 设计和实现更简单,适用于资源受限的系统
  • 避开了寄存器的分配难题:使用零地址指令方式分配
  • 指令流中的指令大部分是零地址指令,其执行过程依赖于操作栈。指令集更小,编译器容易实现
  • 不需要硬件支持,可移植性更好,更好实现跨平台

基于寄存器架构的特点

  • 典型的应用是 x86 的二进制指令集:比如传统的 PC 以及 Android 的 Davlik 虚拟机
  • 指令集架构则完全依赖硬件,可移植性差
  • 性能优秀和执行更高效
  • 花费更少的指令去完成一项操作
  • 在大部分情况下,基于寄存器架构的指令集往往都以一地址指令、二地址指令和三地址指令为主,而基于栈式架构的指令集却是以零地址指令为主

举例 1

同样执行 2+3 这种逻辑操作,其指令分别如下:

基于栈的计算流程(以 Java 虚拟机为例):

而基于寄存器的计算流程

举例 2

总结

**由于跨平台性的设计,Java 的指令都是根据栈来设计的。**不同平台 CPU 架构不同,所以不能设计为基于寄存器的。优点是跨平台,指令集小,编译器容易实现,缺点是性能下降,实现同样的功能需要更多的指令。

时至今日,尽管嵌入式平台已经不是 Java 程序的主流运行平台了(准确来说应该是 HotSpotVM 的宿主环境已经不局限于嵌入式平台了),那么为什么不将架构更换为基于寄存器的架构呢/p>

栈:

跨平台性,指令集小,指令多,执行性能比寄存器差

1.9. JVM 的生命周期

虚拟机的启动

Java 虚拟机的启动是通过引导类加载器(bootstrap class loader)创建一个初始类(initial class)来完成的,这个类是由虚拟机的具体实现指定的。

虚拟机的执行

  • 一个运行中的 Java 虚拟机有着一个清晰的任务:执行 Java 程序。
  • 程序开始执行时他才运行,程序结束时他就停止。
  • 执行一个所谓的 Java 程序的时候,真真正正在执行的是一个叫做 Java 虚拟机的进程。

虚拟机的退出

有如下的几种情况:

  • 程序正常执行结束
  • 程序在执行过程中遇到了异常或错误而异常终止
  • 由于操作系统用现错误而导致 Java 虚拟机进程终止
  • 某线程调用 Runtime 类或 system 类的 exit 方法,或 Runtime 类的 halt 方法,并且 Java 安全管理器也允许这次 exit 或 halt 操作。
  • 除此之外,JNI(Java Native Interface)规范描述了用 JNI Invocation API 来加载或卸载 Java 虚拟机时,Java 虚拟机的退出情况。

X. JVM 的发展历程

Sun Classic VM

  • 早在 1996 年 Java1.0 版本的时候,Sun 公司发布了一款名为 sun classic VM 的 Java 虚拟机,它同时也是世界上第一款商用 Java 虚拟机,JDK1.4 时完全被淘汰。
  • 这款虚拟机内部只提供解释器。现在还有及时编译器,因此效率比较低,而及时编译器会把热点代码缓存起来,那么以后使用热点代码的时候,效率就比较高。
  • 如果使用 JIT 编译器,就需要进行外挂。但是一旦使用了 JIT 编译器,JIT 就会接管虚拟机的执行系统。解释器就不再工作。解释器和编译器不能配合工作。
  • 现在 hotspot 内置了此虚拟机。

Exact VM

  • 为了解决上一个虚拟机问题,jdk1.2 时,Sun 提供了此虚拟机。
  • Exact Memory Management:准确式内存管理
    • 也可以叫 Non-Conservative/Accurate Memory Management
    • 虚拟机可以知道内存中某个位置的数据具体是什么类型。
  • 具备现代高性能虚拟机的维形
    • 热点探测
    • 编译器与解释器混合工作模式
  • 只在 solaris 平台短暂使用,其他平台上还是 classic vm
    • 英雄气短,终被 Hotspot 虚拟机替换

HotSpot VM

  • HotSpot 历史
    • 最初由一家名为“Longview Technologies”的小公司设计
    • 1997 年,此公司被 sun 收购;2009 年,Sun 公司被甲骨文收购。
    • JDK1.3 时,HotSpot VM 成为默认虚拟机
  • 目前 Hotspot 占有绝对的市场地位,称霸武林。
    • 不管是现在仍在广泛使用的 JDK6,还是使用比例较多的 JDK8 中,默认的虚拟机都是 HotSpot
    • Sun / Oracle JDK 和 OpenJDK 的默认虚拟机
    • 因此本文默认介绍的虚拟机都是 HotSpot,相关机制也主要是指 HotSpot 的 Gc 机制。(比如其他两个商用虚机都没有方法区的概念)
  • 从服务器、桌面到移动端、嵌入式都有应用。
  • 名称中的 HotSpot 指的就是它的热点代码探测技术。
    • 通过计数器找到最具编译价值代码,触发即时编译或栈上替换
    • 通过编译器与解释器协同工作,在最优化的程序响应时间与最佳执行性能中取得平衡

JRockit

  • 专注于服务器端应用
    • 它可以不太关注程序启动速度,因此 JRockit 内部不包含解析器实现,全部代码都靠即时编译器编译后执行。
  • 大量的行业基准测试显示,JRockit JVM 是世界上最快的 JVM。
    • 使用 JRockit 产品,客户已经体验到了显著的性能提高(一些超过了 70%)和硬件成本的减少(达 50%)。
  • 优势:全面的 Java 运行时解决方案组合
    • JRockit 面向延迟敏感型应用的解决方案 JRockit Real Time 提供以毫秒或微秒级的 JVM 响应时间,适合财务、军事指挥、电信网络的需要
    • MissionControl 服务套件,它是一组以极低的开销来监控、管理和分析生产环境中的应用程序的工具。
  • 2008 年,JRockit 被 oracle 收购。
  • Oracle 表达了整合两大优秀虚拟机的工作,大致在 JDK8 中完成。整合的方式是在 HotSpot 的基础上,移植 JRockit 的优秀特性。
  • 高斯林:目前就职于谷歌,研究人工智能和水下机器人

IBM 的 J9

  • 全称:IBM Technology for Java Virtual Machine,简称 IT4J,内部代号:J9
  • 市场定位与 HotSpot 接近,服务器端、桌面应用、嵌入式等多用途 VM
  • 广泛用于 IBM 的各种 Java 产品。
  • 目前,有影响力的三大商用虚拟机之一,也号称是世界上最快的 Java 虚拟机。
  • 2017 年左右,IBM 发布了开源 J9VM,命名为 openJ9,交给 EClipse 基金会管理,也称为 Eclipse OpenJ9

KVM 和 CDC / CLDC Hotspot

  • Oracle 在 Java ME 产品线上的两款虚拟机为:CDC/CLDC HotSpot Implementation VM
  • KVM(Kilobyte)是 CLDC-HI 早期产品
  • 目前移动领域地位尴尬,智能机被 Android 和 iOS 二分天下。
  • KVM 简单、轻量、高度可移植,面向更低端的设备上还维持自己的一片市场
    • 智能控制器、传感器
    • 老人手机、经济欠发达地区的功能手机
  • 所有的虚拟机的原则:一次编译,到处运行。

Azul VM

  • 前面三大“高性能 Java 虚拟机”使用在通用硬件平台上这里 Azul VW 和 BEA Liquid VM 是与特定硬件平台绑定、软硬件配合的专有虚拟机
    • 高性能 Java 虚拟机中的战斗机。
  • Azul VM 是 Azul Systems 公司在 HotSpot 基础上进行大量改进,运行于 Azul Systems 公司的专有硬件 Vega 系统上的 Java 虚拟机。
  • 每个 Azul VM 实例都可以管理至少数十个 CPU 和数百 GB 内存的硬件资源,并提供在巨大内存范围内实现可控的 GC 时间的垃圾收集器、专有硬件优化的线程调度等优秀特性。
  • 2010 年,AzulSystems 公司开始从硬件转向软件,发布了自己的 Zing JVM,可以在通用 x86 平台上提供接近于 Vega 系统的特性。

Liquid VM

  • 高性能 Java 虚拟机中的战斗机。
  • BEA 公司开发的,直接运行在自家 Hypervisor 系统上
  • Liquid VM 即是现在的 JRockit VE(Virtual Edition),Liquid VM 不需要操作系统的支持,或者说它自己本身实现了一个专用操作系统的必要功能,如线程调度、文件系统、网络支持等。
  • 随着 JRockit 虚拟机终止开发,Liquid vM 项目也停止了。

Apache Harmony

  • Apache 也曾经推出过与 JDK1.5 和 JDK1.6 兼容的 Java 运行平台 Apache Harmony。
  • 它是 IBM 和 Intel 联合开发的开源 JVM,受到同样开源的 OpenJDK 的压制,Sun 坚决不让 Harmony 获得 JCP 认证,最终于 2011 年退役,IBM 转而参与 OpenJDK
  • 虽然目前并没有 Apache Harmony 被大规模商用的案例,但是它的 Java 类库代码吸纳进了 Android SDK。

Micorsoft JVM

  • 微软为了在 IE3 浏览器中支持 Java Applets,开发了 Microsoft JVM。
  • 只能在 Windows 平台下运行。但确是当时 Windows 下性能最好的 Java VM。
  • 1997 年,Sun 以侵犯商标、不正当竞争罪名指控微软成功,赔了 Sun 很多钱。微软 WindowsXP SP3 中抹掉了其 VM。现在 Windows 上安装的 jdk 都是 HotSpot。

Taobao JVM

  • 由 AliJVM 团队发布。阿里,国内使用 Java 最强大的公司,覆盖云计算、金融、物流、电商等众多领域,需要解决高并发、高可用、分布式的复合问题。有大量的开源产品。
  • 基于 OpenJDK 开发了自己的定制版本 AlibabaJDK,简称 AJDK。是整个阿里 Java 体系的基石。
  • 基于 OpenJDK Hotspot VM 发布的国内第一个优化、深度定制且开源的高性能服务器版 Java 虚拟机。
    • 创新的 GCIH(GC invisible heap)技术实现了 off-heap,即将生命周期较长的 Java 对象从 heap 中移到 heap 之外,并且 GC 不能管理 GCIH 内部的 Java 对象,以此达到降低 GC 的回收频率和提升 GC 的回收效率的目的。
    • GCIH 中的对象还能够在多个 Java 虚拟机进程中实现共享
    • 使用 crc32 指令实现 JVM intrinsic 降低 JNI 的调用开销
    • PMU hardware 的 Java profiling tool 和诊断协助功能
    • 针对大数据场景的 ZenGc
  • taobao vm 应用在阿里产品上性能高,硬件严重依赖 intel 的 cpu,损失了兼容性,但提高了性能
    • 目前已经在淘宝、天猫上线,把 oracle 官方 JvM 版本全部替换了。

Dalvik VM

  • 谷歌开发的,应用于 Android 系统,并在 Android2.2 中提供了 JIT,发展迅猛。
  • Dalvik VM 只能称作虚拟机,而不能称作“Java 虚拟机”,它没有遵循 Java 虚拟机规范,不能直接执行 Java 的 Class 文件
  • 基于寄存器架构,不是 jvm 的栈架构。
  • 执行的是编译以后的 dex(Dalvik Executable)文件。执行效率比较高。
    • 它执行的 dex(Dalvik Executable)文件可以通过 class 文件转化而来,使用 Java 语法编写应用程序,可以直接使用大部分的 Java API 等。
  • Android 5.0 使用支持提前编译(Ahead of Time Compilation,AoT)的 ART VM 替换 Dalvik VM。

Graal VM

  • 2018 年 4 月,oracle Labs 公开了 Graal VM,号称 “Run Programs Faster Anywhere”,野心勃勃。与 1995 年 java 的”write once,run anywhere”遥相呼应。
  • Graal VM 在 HotSpot VM 基础上增强而成的跨语言全栈虚拟机,可以作为“任何语言” 的运行平台使用。语言包括:Java、Scala、Groovy、Kotlin;C、C++、Javascript、Ruby、Python、R 等
  • 支持不同语言中混用对方的接口和对象,支持这些语言使用已经编写好的本地库文件
  • 工作原理是将这些语言的源代码或源代码编译后的中间格式,通过解释器转换为能被 Graal VM 接受的中间表示。Graal VM 提供 Truffle 工具集快速构建面向一种新语言的解释器。在运行时还能进行即时编译优化,获得比原生编译器更优秀的执行效率。
  • 如果说 HotSpot 有一天真的被取代,Graal VM 希望最大。但是 Java 的软件生态没有丝毫变化。

总结

具体 JVM 的内存结构,其实取决于其实现,不同厂商的 JVM,或者同一厂商发布的不同版本,都有可能存在一定差异。主要以 Oracle HotSpot VM 为默认虚拟机。

2. 类加载子系统

2.1. 内存结构概述

  • Class 文件
  • 类加载子系统
  • 运行时数据区
    • 方法区
    • 程序计数器
    • 虚拟机栈
    • 本地方法栈
  • 执行引擎
  • 本地方法接口
  • 本地方法库

image-20200705080911284

如果自己想手写一个 Java 虚拟机的话,主要考虑哪些结构呢/p>

  • 类加载器
  • 执行引擎

2.2. 类加载器与类的加载过程

类加载器子系统作用

image-20200705081913538
  • class file 存在于本地硬盘上,可以理解为设计师画在纸上的模板,而最终这个模板在执行的时候是要加载到 JVM 当中来根据这个文件实例化出 n 个一模一样的实例。
  • class file 加载到 JVM 中,被称为 DNA 元数据模板,放在方法区。
  • 在.class 文件->JVM->最终成为元数据模板,此过程就要一个运输工具(类装载器 Class Loader),扮演一个快递员的角色。

类的加载过程

用流程图表示上述示例代码:

image-20200705082601441
  • 通过一个类的全限定名获取定义此类的二进制字节流
  • 将这个字节流所代表的静态存储结构转化为方法区的运行时数据结构
  • 在内存中生成一个代表这个类的 java.lang.Class 对象,作为方法区这个类的各种数据的访问入口

补充:加载 class 文件的方式

  • 从本地系统中直接加载
  • 通过网络获取,典型场景:Web Applet
  • 从 zip压缩包中读取,成为日后 jar、war 格式的基础
  • 运行时计算生成,使用最多的是:动态代理技术
  • 由其他文件生成,典型场景:JSP 应用
  • 从专有数据库中提取.class 文件,比较少见
  • 从加密文件中获取,典型的防 Class 文件被反编译的保护措施

链接阶段

  • 验证(Verify):

    • 目的在子确保 Class 文件的字节流中包含信息符合当前虚拟机要求,保证被加载类的正确性,不会危害虚拟机自身安全。
  • 主要包括四种验证,文件格式验证,元数据验证,字节码验证,符号引用验证。

  • 准备(Prepare):

    • 为类变量分配内存并且设置该类变量的默认初始值,即零值。
  • 这里不包含用 final 修饰的 static,因为 final 在编译的时候就会分配了,准备阶段会显式初始化;

    • 这里不会为实例变量分配初始化,类变量会分配在方法区中,而实例变量是会随着对象一起分配到 Java 堆中。
  • 解析(Resolve):

    • 将常量池内的符号引用转换为直接引用的过程。
  • 事实上,解析操作往往会伴随着 JVM 在执行完初始化之后再执行。

    • 符号引用就是一组符号来描述所引用的目标。符号引用的字面量形式明确定义在《java 虚拟机规范》的 Class 文件格式中。直接引用就是直接指向目标的指针、相对偏移量或一个间接定位到目标的句柄。
    • 解析动作主要针对类或接口、字段、类方法、接口方法、方法类型等。对应常量池中的 CONSTANT_Class_info,CONSTANT_Fieldref_info、CONSTANT_Methodref_info 等。

初始化阶段

  • 初始化阶段就是执行类构造器方法()的过程。
  • 此方法不需定义,是 javac 编译器自动收集类中的所有类变量的赋值动作和静态代码块中的语句合并而来。
  • 构造器方法中指令按语句在源文件中出现的顺序执行。
  • ()不同于类的构造器。(关联:构造器是虚拟机视角下的())
  • 若该类具有父类,JVM 会保证子类的()执行前,父类的()已经执行完毕。
  • 虚拟机必须保证一个类的()方法在多线程下被同步加锁。

2.3. 类加载器分类

JVM 支持两种类型的类加载器 。分别为引导类加载器(Bootstrap ClassLoader)和自定义类加载器(User-Defined ClassLoader)。

从概念上来讲,自定义类加载器一般指的是程序中由开发人员自定义的一类类加载器,但是 Java 虚拟机规范却没有这么定义,而是将所有派生于抽象类 ClassLoader 的类加载器都划分为自定义类加载器。

无论类加载器的类型如何划分,在程序中我们最常见的类加载器始终只有 3 个,如下所示:

image-20200705103516138

sun.misc.Launcher 它是一个 java 虚拟机的入口应用

image-20200705103636003

获取 ClassLoader 的途径

  • 方式一:获取当前 ClassLoader

  • 方式二:获取当前线程上下文的 ClassLoader

  • 方式三:获取系统的 ClassLoader

    ClassLoader.getSystemClassLoader()
    

    来源:chenfl0808

    声明:本站部分文章及图片转载于互联网,内容版权归原作者所有,如本站任何资料有侵权请您尽早请联系jinwei@zod.com.cn进行处理,非常感谢!

上一篇 2022年4月19日
下一篇 2022年4月19日

相关推荐