1. JVM 内存结构
- 程序计数器(Program Counter Register):
- 每个线程都有一个程序计数器,用于指示当前线程执行的字节码指令的位置。
- 方法栈
- Java虚拟机栈(JVM Stack)和 本地方法栈(Native Method Stack):每个线程都有自己的栈,用于存储
- 局部变量
- 方法参数
- 中间计算结果 如 a= b + c + 1;
- 动态链接 如调用user.getName() 会转换成具体的内存地址
- 本地方法栈(Native Method Stack):
- 与Java虚拟机栈类似,但用于执行本地方法(Native Method)。
- Java虚拟机栈(JVM Stack)和 本地方法栈(Native Method Stack):每个线程都有自己的栈,用于存储
- 堆(Heap):
- 所有线程共享的内存区域,用于存储实例对象和数组。
- 新生代、老年代
- 方法区(Method Area):
- 存储类的结构信息、常量、静态变量
2. 堆空间的划分
- 新生代(Young Generation):
- 新生代主要分为 Eden 区、Survivor 区(From 区和To 区)。大部分的对象都会被分配到 Eden 区,而 Eden 区满了之后会触发 Minor GC,存活的对象会被移动到 Survivor 区。在经过多次 GC 后,仍然存活的对象会被移动到老年代中。
- Eden :SurvivorFROM : SurvivorTo = 8 : 1 : 1
- 新生代 : 老年代 = 1 : 2
- 老年代(Old Generation):
- 存放经过多次垃圾收集仍然存活的对象,默认15次。
- 大对象直接进入老年代
- 永久代(Permanent Generation):
- 在 JDK 7 及之前的版本中存在永久代,用于存放类的元数据信息、静态变量、常量池等。
- 在 JDK 8 中,永久代被元空间(Metaspace)所取代,元空间是用于存放类的元数据信息的新区域。
- 元空间(Metaspace):
- JDK 8 中用于存放类的元数据信息,取代了传统的永久代。
- 元空间默认不限制大小,而是根据系统的内存情况动态调整大小。
3. 什么是垃圾,为什么要进行垃圾回收
- 垃圾就是哪些不再被程序使用,但仍然占据内存空间的对象(占着茅坑不拉屎)
- 垃圾回收是 Java 虚拟机(JVM)自动管理内存的过程,它主要用于回收不再被程序使用的对象所占用的内存空间,以便为程序动态分配内存并提高内存利用率。
- 如果不及时清理垃圾,内存会被占满,导致内存泄露,程序性能下降,甚至应用崩溃(OOM)
4. 怎么定义一个对象是垃圾需要被回收
- 应用计数器
- 当引用数量为零时,意味着该对象不再被任何引用指向,可以被回收
- 引用计数无法解决循环引用的问题,因为循环引用的对象之间仍然存在引用,导致引用计数器始终不为零
- 可达性分析(GC ROOT)
- Java使用可达性分析算法来判断对象的存活状态。从一组称为“GC Roots”的起始点(例如虚拟机栈和本地方法栈栈帧中变量引用的对象、方法区中静态变量和常量引用的对象等)出发,通过引用链的方式,探索对象是否可被任何“GC Roots”对象直接或间接访问到
- 如果对象不可达(即不与任何GC Roots连接),则被判定为垃圾对象,可以被回收
5. 垃圾回收算法有哪些
5.1 复制算法
- 将内存分为两块,每次只用其中一块。首先遍历所有对象,将可用对象复制到另一块内存中,此时上一块内存可视为全是垃圾,清理后将新内存块置为当前可用。如此反复进行
- 优点:解决了内存碎片的问题
- 缺点:需要按顺序分配内存,可用内存变为原来的一半
5.2 标记清除算法
- 获取所有的 GcRoot 遍历内存中所有的对象,如果可以被 GcRoot 就加个标记,剩下所有的对象都将视为垃圾被清除
- 优点:实现简单,执行效率高
- 缺点:容易产生 内存碎片(可用内存分布比较分散),如果需要申请大块连续内存可能会频繁触发 GC
5.3 标记压缩算法
- 获取所有的 GCRoot , GCRoot 开始从遍历内存中所有的对象,将可用对象压缩到另一端,再将垃圾对象清除。实则是牺牲时间复杂度来降低空间复杂度
- 优点:解决了标记清除的 内存碎片 ,也不需要复制算法中的 内存分块
- 缺点:仍需要将对象进行移动,执行效率略低
6. JVM中分代回收策略
按照8:1:1将新生代内存分为 Eden、SurvivorA、SurvivorB |
6.1 新生代(复制算法)
新生代的对象特征是朝生夕死,不断创建不断回收 |
- 当一个对象刚被创建时会放到 Eden 区域,当 Eden 区域即将存满时做一次垃圾回收,将当前存活的对象复制到 SurvivorA ,随后将 Eden 清空
- 当Eden 下一次存满时,再做一次垃圾回收,先将存活对象复制到 SurvivorB ,再把 Eden 和 SurvivorA 所有对象进行回收
- 当Eden 再一次存满时,再做一次垃圾回收,将存活对象复制到 SurvivorA,再把 Eden 和 SurvivorB对象进行回收
- 如此反复进行大概 15 次,将最终依旧存活的对象放入到老年代区域
6.2 老年代
老年代 区域特点是存活对象多、垃圾对象少,采用标记压缩 算法时移动少、也不会产生内存碎片。所以老年代 区域可以选用 标记压缩 算法进一步提升效率。 |
7. 常见的垃圾回收器
垃圾回收器使用 -XX:+UseXxxGc 进行设置 |
- Serial 收集器:串行垃圾回收器,适用于单核处理器的环境。
- 设置参数:-XX:+UseSerialGC
- Parallel 收集器:并行垃圾回收器,适用于多核处理器的环境。
- 设置参数:-XX:+UseParallelGC
- Parallel GC :JDK8默认垃圾回收器
- CMS 收集器(Concurrent Mark-Sweep):并发标记清除垃圾回收器,适用于对响应时间要求较高的应用。
- 设置参数:-XX:+UseConcMarkSweepGC
- 适用于老年代
- G1 收集器:Garbage-First 垃圾回收器,适用于大堆内存和响应时间要求高的应用。
- 设置参数:-XX:+UseG1GC
- 综合性能较好
8. CMS垃圾回收器的回收流程以及存在问题
1. 初始标记阶段(Initial Mark): 标记GC root 根对象
- 在这个阶段中,CMS垃圾回收器会标记直接与根对象相关联的对象,类似于标记-清除算法的标记阶段。
- Stop The World (STW) 这个阶段是短暂的停顿,会导致应用程序的停顿。
2. 并发标记阶段(Concurrent Mark):通过根节点并发标记有效对象
- 在这个阶段中,CMS垃圾回收器会使用多线程进行对象的标记,同时不会停止应用程序的执行。
- CMS垃圾回收器会追踪对象之间的引用关系,标记活动对象。
3. 重新标记阶段(Remark):检查标记过程中的变化
- 在并发标记阶段完成后,CMS垃圾回收器会对标记过程中有可能发生的引用变化进行重新检查。
- Stop The World (STW) 这个阶段也会引入短暂的停顿,来保证标记的准确性。
4. 并发清除阶段(Concurrent Sweep):
- 在这个阶段中,CMS垃圾回收器会对未标记的对象进行清除,并且清除垃圾对象,释放空间。
- 这个阶段会和应用程序的执行同时进行,不会引起应用程序的停顿。
存在的问题:
|
9. G1垃圾回收器的回收流程
G1垃圾回收器的核心是将堆内存划分为多个小块(region) |
- 初始标记阶段:标记直接与根对象相关联的对象,短暂STW
- 并发标记阶段:使用多线程并发标记活动对象和未标记对象之间的引用关系
- 最终标记阶段:对标记过程中可能发生的引用变化进行最终检查,短暂STW
- 筛选阶段:计数各区域内的存活对象,选择回收区域并转移、回收对象释放空间,短暂STW
- 清理阶段:对未活跃区域进行清理整理以减少内存碎片
10. Minor GC 和 Full GC 有什么不同
- 范围:Minor GC 针对新生代、Full GC针对老年代
- 目标:Minor GC 针对年轻对象、Full GC 针对老年代中无用的对象
- 频率:Minor GC 频率高、Full GC 频率低
- 影响:Minor GC 影响小、Full GC 影响大
- 触发条件:
- Minor GC :Eden区满时触发
- Full GC :
- 老年代空间不足
- 元数据空间不足(Metaspace)
- 显式调用System.gc()或Runtime.gc()
- CMS GC过程中出现老年代碎片化问题(Concurrent Mode Failure):当CMS GC无法在老年代找到足够的连续空间来分配对象时,会导致Concurrent Mode Failure,进而触发Full GC。
11. 一次完整的GC流程是怎样的
新生代(Young Generation):
- 新生代通常分为Eden区和两个Survivor区(通常是From和To区)。
- 刚创建的对象会被分配到Eden区。当Eden区满时,会触发Minor GC。
- 在Minor GC中,存活的对象会被移动到Survivor区。经过多次Minor GC后,仍然存活的对象会被晋升到老年代。(默认15次)
老年代(Old Generation):
- 老年代主要存放经过多次Minor GC后仍然存活的对象,以及直接分配到老年代的大对象。
- 当老年代空间不足时,会触发Full GC,对整个堆内存进行垃圾回收。
12. 什么是Java内存模型 JMM
Java内存模型(Java Memory Model,简称JMM)是一种规范,定义了Java程序中多线程并发访问共享内存时的行为。JMM描述了线程如何与主内存交互以及如何与工作内存交互,确保多线程程序在不同平台和编译器下的一致性行为。JMM规定了线程间如何进行通信、同步和协作,以保证程序在多线程环境下的正确性。