JVM知识体系解析-优快云博客

本文链接：https://blog.youkuaiyun.com/MoneyHacksPro/article/details/149165736

📕我是廖志伟，一名Java开发工程师、《Java项目实战——深入理解大型互联网企业通用技术》（基础篇）、（进阶篇）、（架构篇）清华大学出版社签约作家、Java领域优质创作者、优快云博客专家、阿里云专家博主、51CTO专家博主、产品软文专业写手、技术文章评审老师、技术类问卷调查设计师、幕后大佬社区创始人、开源项目贡献者。

📘拥有多年一线研发和团队管理经验，研究过主流框架的底层源码(Spring、SpringBoot、SpringMVC、SpringCloud、Mybatis、Dubbo、Zookeeper)，消息中间件底层架构原理(RabbitMQ、RocketMQ、Kafka)、Redis缓存、MySQL关系型数据库、 ElasticSearch全文搜索、MongoDB非关系型数据库、Apache ShardingSphere分库分表读写分离、设计模式、领域驱动DDD、Kubernetes容器编排等。不定期分享高并发、高可用、高性能、微服务、分布式、海量数据、性能调优、云原生、项目管理、产品思维、技术选型、架构设计、求职面试、副业思维、个人成长等内容。

🌾阅读前，快速浏览目录和章节概览可帮助了解文章结构、内容和作者的重点。了解自己希望从中获得什么样的知识或经验是非常重要的。建议在阅读时做笔记、思考问题、自我提问，以加深理解和吸收知识。阅读结束后，反思和总结所学内容，并尝试应用到现实中，有助于深化理解和应用知识。与朋友或同事分享所读内容，讨论细节并获得反馈，也有助于加深对知识的理解和吸收。💡在这个美好的时刻，笔者不再啰嗦废话，现在毫不拖延地进入文章所要讨论的主题。接下来，我将为大家呈现正文内容。

JVM知识体系

类加载机制

Java虚拟机（JVM）中的类加载机制是Java运行时的核心组成部分，它负责将Java类编译后的字节码加载到JVM中，以便执行。类加载机制确保了Java应用程序的稳定性和安全性，其实现细节如下：

加载（Loading）：类加载器负责查找和加载类或接口的.class文件，这一过程通常涉及以下步骤：
- 查找类文件：类加载器首先尝试从classpath中查找指定的类文件。如果找不到，可能会尝试其他类加载器或扩展类加载器。
- 读取类文件：一旦找到类文件，类加载器将其读取到内存中，并转换为方法区的运行时数据结构。
- 生成对象：加载完成后，JVM会生成一个代表该类的java.lang.Class对象，并存储在方法区中。
连接（Linking）：连接过程包括验证、准备和解析三个阶段。
- 验证：验证阶段确保加载的类文件格式正确，没有安全问题和内部结构的错误。这包括：
  - 文件格式验证：检查文件是否是有效的Java类文件。
  - 结构验证：检查类文件的结构是否符合JVM规范。
  - 符号引用验证：检查符号引用是否指向正确的类、字段和方法。
- 准备：为类变量分配内存并设置默认初始值。对于基本数据类型，默认初始值是0，对于引用类型，默认初始值是null。
- 解析：将符号引用转换为直接引用，例如将符号引用的类、字段和方法转换为指向方法区的直接引用。
初始化（Initialization）：初始化阶段是执行类构造器《clinit>()的过程，它负责准备类级别的初始化。这个过程包括：
- 初始化静态变量
- 执行静态代码块
- 初始化类的静态内部类
- 初始化类加载器

类加载过程

类加载过程可以细分为以下几个阶段：

加载：查找并加载指定的类或接口的.class文件。
连接：
- 验证：确保加载的.class文件符合JVM规范。
- 准备：为类变量分配内存并设置默认值。
- 解析：将符号引用转换为直接引用。
初始化：执行类构造器《clinit>()，完成类的初始化。

双亲委派模型

双亲委派模型是Java类加载机制的一个核心设计，其技术实现细节如下：

启动类加载器：负责加载JVM自身使用的类库，如rt.jar。
扩展类加载器：负责加载Java平台标准扩展类库，如javax.jar。
应用程序类加载器：负责加载应用程序中的类。
自定义类加载器：可以由用户自定义，用于加载特定类。

当一个类加载器请求加载一个类时，它会首先请求其父类加载器进行加载，只有当父类加载器无法完成这个请求时，子类加载器才会尝试自己去加载。这种机制有助于避免类的重复加载，同时也保证了类型安全。

自定义类加载器

在Java中，可以自定义类加载器来控制类的加载过程，这对于模块化系统、热部署等场景非常有用。自定义类加载器的实现细节如下：

继承ClassLoader：自定义类加载器需要继承java.lang.ClassLoader类。
重写findClass方法：需要重写findClass方法，用于查找和加载类文件。
加载类文件：在findClass方法中，需要实现查找和加载类文件的逻辑。

模块化系统（JPMS）

Java Platform Module System（JPMS）是Java 9引入的一个模块化系统，它允许开发者将应用程序分解成多个模块，从而提高系统性能和安全性。JPMS的技术实现细节如下：

模块定义：使用module-info.java文件来定义模块，包括模块的名称、依赖和模块的API。
模块化编译：使用新的编译器选项来编译模块化的Java代码。
模块化运行时：JVM在运行时根据模块的依赖关系来加载模块。

内存模型

JVM的内存模型包括以下几个运行时数据区：

堆（Heap）：用于存储所有实例对象和数组的内存区域。堆是JVM管理的最大内存区域，其大小可以通过JVM参数进行配置。
栈（Stack）：用于存储局部变量和方法调用的内存区域。每个线程都有自己的栈，栈的大小通常在创建线程时确定。
方法区（Method Area）：用于存储类信息、常量、静态变量等的内存区域。方法区是所有线程共享的内存区域。
PC寄存器：用于存储当前线程所执行的指令的内存区域。PC寄存器是线程特有的寄存器。

内存溢出场景分析

内存溢出通常发生在以下场景：

堆溢出：应用程序创建的对象太多，导致堆空间不足。这可以通过增加JVM堆内存大小或优化对象创建来避免。
栈溢出：方法调用太深或递归调用太多，导致栈空间不足。这可以通过优化代码结构或增加栈大小来避免。
方法区溢出：类定义太多或太大，导致方法区空间不足。这可以通过优化类定义或增加方法区大小来避免。

垃圾回收

垃圾回收（GC）是JVM自动回收不再使用的对象占用的内存空间的过程。垃圾回收过程包括以下几个步骤：

GC Roots可达性分析：从GC Roots开始，向上遍历所有可达对象，不可达的对象将被回收。GC Roots通常包括：
- 栈中的局部变量
- 方法区中的静态变量
- 方法区中的常量池
- 本地方法栈中的变量
分代收集理论：将堆内存分为几个区域，每个区域对应不同的回收策略，如新生代（Young）、老年代（Old）。分代收集理论基于以下假设：
- 大多数对象在创建后很快就会被回收。
- 部分对象会存活较长时间。
引用类型：根据引用的强度，将引用分为强、软、弱、虚四种类型。不同的引用类型决定了对象在内存中的生命周期。
垃圾回收算法：常见的垃圾回收算法包括标记-清除、复制、整理算法。每种算法都有其优缺点和适用场景。

并发收集器

JVM提供了多种并发收集器，如CMS（Concurrent Mark Sweep）和G1（Garbage-First），它们旨在减少停顿时间。并发收集器的技术实现细节如下：

CMS（Concurrent Mark Sweep）：CMS是一种以减少停顿时间为目标的并发收集器，它通过以下方式减少停顿时间：
- 并行标记：在用户线程运行的同时进行标记阶段。
- 并行清除：在用户线程运行的同时进行清除阶段。
- 快速失败：如果标记阶段或清除阶段需要暂停用户线程，则尽可能快速地完成。
G1（Garbage-First）：G1是一种以停顿时间目标为导向的并发收集器，它通过以下方式减少停顿时间：
- 将堆内存划分为多个区域，每个区域都包含多个堆区域。
- 在垃圾回收过程中，优先回收垃圾最多的区域。
- 通过预测停顿时间，动态调整垃圾回收策略。

停顿时间控制策略

为了减少垃圾回收导致的停顿时间，JVM提供了多种控制策略，如G1的预测停顿时间目标。停顿时间控制策略的技术实现细节如下：

预测停顿时间：通过分析历史垃圾回收数据，预测下一次垃圾回收的停顿时间。
动态调整：根据预测的停顿时间和实际停顿时间，动态调整垃圾回收策略。
目标停顿时间：设置一个目标停顿时间，如100毫秒，并尽可能接近这个目标。

性能调优

JVM性能调优包括JVM参数配置和内存泄漏诊断。JVM参数配置如Xms、Xmx等可以调整堆内存大小。内存泄漏诊断可以使用工具如MAT（Memory Analyzer Tool）进行。性能调优的技术实现细节如下：

JVM参数配置：通过JVM参数配置来调整JVM的行为，例如：
- 堆内存大小：-Xms和-Xmx参数用于设置JVM堆内存的大小。
- 堆内存分配策略：-XX:+UseParallelGC和-XX:+UseG1GC等参数用于设置JVM的垃圾回收策略。
- 垃圾回收日志：-XX:+PrintGCDetails等参数用于启用垃圾回收日志。
内存泄漏诊断：使用内存泄漏诊断工具，如MAT（Memory Analyzer Tool），来检测和修复内存泄漏。

Spring Boot知识体系

自动配置

Spring Boot的自动配置功能允许Spring Boot应用程序自动配置大多数Bean，减少了手动配置的工作量。自动配置的技术实现细节如下：

条件化配置：Spring Boot使用条件化配置来启用或禁用配置。条件化配置基于以下条件：
- 类路径存在特定的类或接口
- 系统属性或环境变量设置特定的值
- 配置文件中存在特定的属性
自动配置类：Spring Boot自动配置类负责实现自动配置的逻辑。自动配置类通常包含以下元素：
- @Configuration注解：表示该类是一个配置类。
- @EnableAutoConfiguration注解：启用自动配置。
- @Conditional注解：基于条件来启用或禁用配置。

@EnableAutoConfiguration原理

@EnableAutoConfiguration注解是Spring Boot自动配置的核心，它通过条件化配置来启用自动配置。@EnableAutoConfiguration的技术实现细节如下：

自动配置类：Spring Boot在启动时会扫描classpath中的自动配置类，并根据条件化配置启用或禁用配置。
条件化配置：自动配置类使用条件化配置来启用或禁用配置。条件化配置基于以下条件：
- 类路径存在特定的类或接口
- 系统属性或环境变量设置特定的值
- 配置文件中存在特定的属性
条件化配置的实现：Spring Boot使用Spring Expression Language（SpEL）来解析条件化配置。

条件化配置（@Conditional）

条件化配置允许基于某些条件来启用或禁用配置。@Conditional的技术实现细节如下：

@Conditional注解：@Conditional注解用于标记一个配置类或方法，表示该配置类或方法基于某些条件来启用或禁用。
条件化配置的实现：Spring Boot使用Spring Expression Language（SpEL）来解析条件化配置。
条件化配置的示例：以下是一个条件化配置的示例：

@Configuration
@ConditionalOnClass(HelloWorld.class)
public class MyConfiguration {
    // ...
}

在上面的示例中，MyConfiguration类将仅在classpath中存在HelloWorld类时启用。

自定义Starter开发

自定义Starter可以帮助开发者将常用的库和配置封装起来，方便其他开发者使用。自定义Starter的技术实现细节如下：

创建Maven项目：使用Maven创建一个Maven项目，并添加必要的依赖。
添加依赖：将需要封装的库和配置添加到项目的依赖中。
编写自动配置类：编写自动配置类，用于实现自动配置的逻辑。
发布Starter：将Starter打包并发布到Maven中央仓库。

起步依赖

起步依赖是Spring Boot提供的依赖管理机制，它通过Maven或Gradle的依赖配置来管理项目依赖。起步依赖的技术实现细节如下：

Maven依赖：使用Maven依赖来管理项目依赖。
Gradle依赖：使用Gradle依赖来管理项目依赖。
依赖管理器：Spring Boot使用Maven和Gradle作为依赖管理器。

版本冲突解决

在多项目依赖中，版本冲突是常见问题。Spring Boot通过BOM（Bill of Materials）文件来解决这个问题。BOM文件的技术实现细节如下：

BOM文件：BOM文件定义了项目依赖的版本信息。
Maven BOM：Maven BOM使用元素来定义项目依赖的版本信息。
Gradle BOM：Gradle BOM使用gradle-plugin来定义项目依赖的版本信息。

第三方库集成模式

Spring Boot支持多种第三方库的集成模式，如依赖注入、AOP等。第三方库集成模式的技术实现细节如下：

依赖注入：使用Spring框架的依赖注入功能来集成第三方库。
AOP：使用Spring框架的AOP功能来集成第三方库。
配置文件：使用配置文件来配置第三方库。

Actuator

Spring Boot Actuator提供了一系列端点，用于监控和管理应用程序。Actuator的技术实现细节如下：

端点：Actuator提供了一系列端点，如/health、/metrics等。
监控：Actuator可以收集应用程序的监控数据，例如内存使用、线程数等。
管理：Actuator可以管理应用程序，例如重启、停止等。

健康检查端点

健康检查端点可以用来检查应用程序的健康状态。健康检查端点的技术实现细节如下：

健康指示器：Spring Boot使用健康指示器来检查应用程序的健康状态。
自定义健康指示器：可以自定义健康指示器来检查应用程序的特定健康状态。
健康报告：健康检查端点返回健康报告，包括应用程序的健康状态和详细信息。

度量指标收集

Actuator可以收集应用程序的度量指标，如内存使用、线程数等。度量指标收集的技术实现细节如下：

度量指标：Actuator使用Micrometer来收集度量指标。
自定义度量指标：可以自定义度量指标来收集应用程序的特定度量数据。
度量指标报告：Actuator将度量指标报告到各种监控系统，例如Prometheus和Grafana。

自定义Endpoint开发

开发者可以自定义Endpoint来扩展Actuator的功能。自定义Endpoint的技术实现细节如下：

创建Endpoint：创建一个实现Endpoint接口的类来定义自定义Endpoint。
注册Endpoint：使用@Endpoint注解来注册自定义Endpoint。
访问Endpoint：通过Actuator端点访问自定义Endpoint。

配置文件管理

Spring Boot使用配置文件来管理应用程序的配置，支持多环境配置。配置文件管理的技

优快云

📥博主的人生感悟和目标

希望各位读者大大多多支持用心写文章的博主，现在时代变了，信息爆炸，酒香也怕巷子深，博主真的需要大家的帮助才能在这片海洋中继续发光发热，所以，赶紧动动你的小手，点波关注❤️，点波赞👍，点波收藏⭐，甚至点波评论✍️，都是对博主最好的支持和鼓励！

- 💂 博客主页： Java程序员廖志伟
- 👉 开源项目： Java程序员廖志伟
- 🌥 哔哩哔哩： Java程序员廖志伟
- 🎏 个人社区： Java程序员廖志伟
- 🔖 个人微信号： SeniorRD

📙经过多年在优快云创作上千篇文章的经验积累，我已经拥有了不错的写作技巧。同时，我还与清华大学出版社签下了四本书籍的合约，并将陆续出版。这些书籍包括了基础篇、进阶篇、架构篇的📌《Java项目实战—深入理解大型互联网企业通用技术》📌，以及📚《解密程序员的思维密码--沟通、演讲、思考的实践》📚。具体出版计划会根据实际情况进行调整，希望各位读者朋友能够多多支持！