一篇文章彻底搞懂GC

搬砖者d

已于 2023-04-10 15:30:48 修改

阅读量2.2k

点赞数 1

分类专栏： jvm 文章标签： jvm

于 2023-04-07 15:50:54 首次发布

本文链接：https://blog.csdn.net/adaizzz/article/details/130013037

版权

本文深入探讨了Java垃圾收集（GC）的工作原理，从JVM的内存区域划分开始，详细介绍了程序计数器、虚拟机栈、本地方法栈、堆和方法区的作用。接着，讨论了GC的三大核心问题：哪些对象需要回收、何时回收以及如何回收，重点阐述了引用计数算法和可达性分析算法，并分析了各种GC回收算法，包括标记-清除、标记复制和标记整理。此外，文章还涵盖了不同类型的垃圾收集器，如Serial、Parallel Scavenge、CMS、G1和ZGC，分析了它们的特点和应用场景。通过对GC的全面理解，读者可以更好地掌握Java内存管理，避免内存泄漏和性能瓶颈。

摘要由CSDN通过智能技术生成

前言

Java相较于其他编程语言更加容易学习，这其中很大一部分原因要归功于JVM的自动内存管理机制。
对于从事C语言的开发者来说，他们拥有每一个对象的「所有权」，更大的权力也意味着更多的职责，C开发者需要维护每一个对象「从生到死」的过程，当对象废弃不用时必须手动释放其内存，否则就会发生内存泄漏。而对于Java开发者来说，JVM的自动内存管理机制解决了这个让人头疼的问题，不容易出现内存泄漏和内存溢出的问题了，GC让开发者更加专注于程序本身，而不用去关心内存何时分配、何时回收、以及如何回收。

1. JVM运行时数据区

在聊GC前，有必要先了解一下JVM的内存模型，知道JVM是如何规划内存的，以及GC的主要作用区域。

在这里插入图片描述
如图所示，JVM运行时会将内存划分为五大块区域，其中「方法区」和「堆」随着JVM的启动而创建，是所有线程共享的内存区域。虚拟机栈、本地方法栈、程序计数器则是随着线程的创建被创建，线程运行结束后也就被销毁了。

1.1 程序计数器

程序计数器(Program Counter Register)是一块非常小的内存空间，几乎可以忽略不计。
它可以看作是线程所执行字节码的行号指数器，指向当前线程下一条应该执行的指令。对于：条件分支、循环、跳转、异常等基础功能都依赖于程序计数器。

对于CPU的一个核心来说，任意时刻只能跑一个线程。如果线程的CPU时间片用完就会被挂起，等待OS重新分配时间片再继续执行，那线程如何知道上次执行到哪里了呢？就是通过程序计数器来实现的，每个线程都需要维护一个私有的程序计数器。

如果线程在执行Java方法，计数器记录的是JVM字节码指令地址。如果执行的是Native方法，计数器值则为Undefined。

程序计数器是唯一一个没有规定任何OutOfMemoryError情况的内存区域，意味着在该区域不可能发生OOM异常，GC不会对该区域进行回收！

1.2 虚拟机栈

虚拟机栈(Java Virtual Machine Stacks)也是线程私有的，生命周期和线程相同。

虚拟机栈描述的是Java方法执行的内存模型，JVM要执行一个方法时，首先会创建一个栈帧(Stack Frame)用于存放：局部变量表、操作数栈、动态链接、方法出口等信息。栈帧创建完毕后开始入栈执行，方法执行结束后即出栈。

方法执行的过程就是一个个栈帧从入栈到出栈的过程。

局部变量表主要用来存放编译器可知的各种基本数据类型、对象引用、returnAddress类型。局部变量表所需的内存空间在编译时就已经确认，运行期间不会修改局部变量表的大小。

在JVM规范中，虚拟机栈规定了两种异常：

StackOverflowError
线程请求的栈深度大于JVM所允许的栈深度。
栈的容量是有限的，如果线程入栈的栈帧超过了限制就会抛出StackOverflowError异常，例如：方法递归。
OutOfMemoryError
虚拟机栈是可以动态扩展的，如果扩展时无法申请到足够的内存，则会抛出OOM异常。

1.3 本地方法栈

本地方法栈(Native Method Stack)也是线程私有的，与虚拟机栈的作用非常类似。
区别是虚拟机栈是为执行Java方法服务的，而本地方法栈是为执行Native方法服务的。

与虚拟机栈一样，JVM规范中对本地方法栈也规定了StackOverflowError和OutOfMemoryError两种异常。

1.4 堆

Java堆(Java Heap)是线程共享的，一般来说也是JVM管理最大的一块内存区域，同时也是垃圾收集器GC的主要管理区域。

Java堆在JVM启动时创建，作用是：存放对象实例。
几乎所有的对象都在堆中创建，但是随着JIT编译器的发展和逃逸分析技术逐渐成熟，栈上分配、标量替换优化技术使得“所有对象都分配在堆上”不那么绝对了。

由于是GC主要管理的区域，所以也被称为：GC堆。
为了GC的高效回收，Java堆内部又做了如下划分：

在这里插入图片描述

1.5 方法区

方法区(Method Area)与Java堆一样，也是线程共享的一块内存区域。
它主要用来存储：被JVM加载的类信息，常量，静态变量，即时编译器产生的代码等数据。
也被称为：非堆(Non-Heap)，目的是与Java堆区分开来。

JVM规范对方法区的限制比较宽松，JVM甚至可以不对方法区进行垃圾回收。这就导致在老版本的JDK中，方法区也别称为：永久代(PermGen)。

使用永久代来实现方法区不是个好主意，容易导致内存溢出，于是从JDK7开始有了“去永久代”行动，将原本放在永久代中的字符串常量池移出。到JDK8中，正式去除永久代，迎来元空间。

2.GC 概述

垃圾收集（Garbage Collection）简称为「GC」，它的历史远比Java语言本身久远，在1960年诞生于麻省理工学院的Lisp是第一门开始使用内存动态分配和垃圾收集技术的语言。

要想实现自动垃圾回收，首先需要思考三件事情：
在这里插入图片描述
前面介绍了JVM的五大内存区域，程序计数器占用内存极少，几乎可以忽略不计，而且永远不会内存溢出，GC不需要对其进行回收。虚拟机栈、本地方法栈随线程“同生共死”，栈中的栈帧随着方法的运行有条不紊的入栈、出栈，每个栈帧分配多少内存在编译期就已经基本确定，因此这两块区域内存的分配和回收都具备确定性，不太需要考虑如何回收的问题。