Java垃圾回收机制 | 可达性分析,垃圾收集器

最新推荐文章于 2024-06-29 23:13:13 发布
最新推荐文章于 2024-06-29 23:13:13 发布
阅读量368 收藏 1
点赞数
原文链接：https://www.itzhai.com/articles/java-garbage-collection-theory.html
版权

转自：Java垃圾回收机制 | 可达性分析,垃圾收集器

导读

  1. 一个对象的一生经历了什么？
  2. 如何判断对象是否可用？
  3. 引用计数法和可达性分析算法各有什么优缺点？
  4. 哪些对象可以作为GC ROOT？
  5. 垃圾回收的时候如何快速寻找到根节点？(安全点和OopMap)
  6. 垃圾回收算法有哪些？各有什么优缺点？
  7. 有哪些垃圾回收器？各有什么优缺点？适用什么场景

1、对象回收处理过程

image-20191204225410181

2、判断用户是否可用算法

2.1、引用计数算法

image-20191204232326040

如上图，给对象一个引用计数器refCount。每有一个对象引用它，计数器加1，当refCount=0的时候，表示对象不再可用。

缺点

很难解决循环引用的问题：

1
2

objA.instance = objB;
objB.instance = objA;

image-20191204231900822

如上，即使 objA 和 objB 都不再被访问之后，他们依旧互相引用这，所以计数器不为0。

2.2、可达性分析算法

image-20191207143050101

如上图，从GC Roots开始向下搜索，连接的路径为引用链；

GC Roots不可达的对象被判为不可用；

可作为 GC Root的对象

如上图，虚拟机栈帧中本地变量表引用的对象，本地方法栈中，JNI引用的对象，方法区中的类静态属性引入的对象和常量引用对象都可以作为 GC Root。

关于引用类型

**强引用：**类似Object a = new Object();

软引用：SoftReference<String> ref = new SoftReference<String>("Hello world");，OOM前，JVM会把这些对象列入回收范围进行二次回收，如果回收后内存还是不做，则OOM。软引用SoftReference介绍以及简单用法cache

弱引用：WeakReference<Car> weakCar = new WeakReference<Car>(car);，每次垃圾收集，弱引用的对象就会被清理。

虚引用：PhantomReference<Object> phantom = new PhantomReference<>(new Object(), new ReferenceQueue<>());，幽灵引用，不能用来取得一个对象的实例，唯一用途：当一个虚引用引用的对象被回收，系统会受到这个对象被回收了的通知。利用虚引用PhantomReference实现对象被回收时收到一个系统通知

3、HotSpot中如何实现判断是否存在与GC Roots相连接的引用链

image-20191207145048763

第一小节流程图里面的是否存在与GC Roots相连接的引用链这个判断子流程是怎么实现的呢，这节我们来仔细探讨下。

一般的，我们都是选取可达性分析算法，这里主要阐述怎么寻找GC Root以及如何检查引用链。

3.1、枚举根节点

image-20191207193131324

如上图，在一个调用关系为：

ClassA.invokeA() --> ClassB.invokeB() --> doinvokeB() -->ClassC.execute()

的情况下，每个调用对应一个栈帧，栈帧里面的本地变量表存储了GC Roots的引用。

如果直接遍历所有的栈去查找GC Roots，效率太低了。为此我们引入了OopMap和安全点的概念。

安全点和OopMap

image-20191207193355819

如上图，在源代码编译的时候，会在特定位置下记录安全点，一般为：

  • 循环的末尾；
  • 方法返回前或者调用方法的call指令后；
  • 可能抛出异常的位置。

通过安全点把代码分成几段，每段代码一个OopMap。

OopMap记录栈上本地变量到堆上对象的引用关系，每当触发GC的时候，程序都都先跑到最近的安全点然后自动挂起，然后再触发更新OopMap，然后进行枚举GC ROOT，进行垃圾回收：

image-20191207200050973

安全区域：在一段代码片段之中，引用关系不会发生变化，因此在这个区域中的任意位置开始 GC 都是安全的。如处于Sleep或者Blocked状态的线程。

为了在枚举GC Roots的过程中，对象的引用关系不会变更，所以需要一个GC停顿。

还有一种抢先式中断的方式，几乎没有虚拟机采用：先中断所有线程，发现线程没中断在安全点，恢复它，继续执行到安全点。

找到了该回收的对象，下一步就是清掉这些对象了，HotSpot将去交给CG收集器，详细见后续小节说明。

4、垃圾回收算法

概览图

image-20191207142817822

4.1、标记-清除算法

4.1.1、算法描述

  • 标记阶段：标记处所有需要回收的对象；
  • 清除阶段：标记完成后，统一回收所有被标记的对象；

image-20191207104723406

4.1.1、优点

还没想到

4.1.2、不足

  • 效率不高：标记和清除两个过程效率都不高；
  • 空间问题：产生大量不连续的内存碎片，进而无法容纳大对象提早触发另一次GC。

4.2、复制算法

4.2.1、算法描述

  • 将可用内存分为容量大小相等的两块，每次只使用其中一块；
  • 当一块用完，就将存活着的对象复制到另一块，然后将这块全部内存清理掉；

image-20191207122431787

4.2.2、优点

  • 不会产生不连续的内存碎片；
  • 提高效率：
    • 回收：每次都是对整个半区进行回收；
    • 分配：分配时也不用考虑内存碎片问题，只要移动堆顶指针，按顺序分配内存即可。

4.2.3、缺点

  • 可用内存缩小为原来的一半了，适合GC过后只有少量存活的新生代，可以根据实际情况，将内存块大小比例适当调整；
  • 如果存活对象数量比较大，复制性能会变得很差。

4.2.4、JVM中新生代的垃圾回收

如下图，分为新生代和老年代。其中新生代又分为一个Eden区和两个Survivor去(from区和to区)，默认Eden : from : to 比例为8:1:1。

可通过JVM参数：-XX:SurvivorRatio配置比例，-XX:SurvivorRatio=8 表示 Eden区大小 / 1块Survivor区大小 = 8。

第一次YOUNG GC

image-20191207120610859

当Eden区满的时候，触发第一次Young GC，把存活对象拷贝到Survivor的from区，清空Eden区。

第二次YOUNG GC

image-20191207120644813

再次触发Young GC，扫描Eden区和from区，把存活的对象复制到To区，清空Eden区和from区。如果此时Survivor区的空间不够了，就会提前把对象放入老年代。

默认的，这样来回交换15次后，如果对象最终还是存活，就放入老年代。

交换次数可以通过JVM参数MaxTenuringThreshold进行设置。

4.2.5、JVM内存模型

JDK8 之前

image-20191212214549731

JDK8

image-20191212214557529

如上图，JDK8的方法区实现变成了元空间，元空间在本地内存中。

JVM内存相关参数：

JVM Parameters

内存分配如何保证并发？

4.3、标记-整理算法

4.3.1、算法描述

  • 标记过程与标记-清楚算法一样；
  • 标记完成后，将存活对象向一端移动，然后直接清理掉边界以外的内存。

image-20191207135129974

4.3.2、优点

  • 不会产生内存碎片；
  • 不需要浪费额外的空间进行分配担保；

4.3.3、不足

  • 整理阶段存在效率问题，适合老年代这种垃圾回收频率不是很高的场景；

4.4、分代收集算法

当前商业虚拟机都采用该算法。

  • 新生代：复制算法(CG后只有少量的对象存活)
  • 老年代：标记-整理算法 或者 标记-清理算法(GC后对象存活率高)

5、垃圾回收器

这一步就是我们真正进行垃圾回收的过程了。

image-20191207200658418

本节概念约定：

并发：用户线程与垃圾收集线程同时执行，但不一定是并行，可能交替执行；

并行：多条垃圾收集线程并行工作，单用户线程仍处于等待状态。

以下是垃圾收集器概览图

image-20191208142808550

5.1、Serial收集器

5.1.1、特点

串行化：在垃圾回收时，必须赞同其他所有工作线程，知道收集结束，Stop The World；

在单CPU模式下无线程交互开销，专心做垃圾收集，简单高效。

image-20191208105253687

5.1.2、适用场景

  • 特别适合限定单CPU的环境；
  • Client模式下的默认新生代收集器，用户桌面应用场景分配给虚拟机的内存一般不会很大，所以停顿时间也是在一百多毫秒以内，影响不大。

5.2、ParNew收集器

Parallel New?

5.2.1、特点

  • Serial收集器的多线程版本；

image-20191208105307300

5.2.2、适用场景

  • 许多运行在Server模式下的虚拟机中的首选新生代收集器；
  • 除了Serial收集器外，只有它能和CMS收集器搭配使用。

-XX:+UseConcMarkSweepGC选型默认使用ParNew收集器。也可以使用-XX:+UseParNewGC选项强制指定它。

ParNew收集器在单CPU环境比Serial收集器效果差(存在线程交互开销)。

CPU数量越多，ParNew效果越好，默认开启收集线程数=CPU数量。可以使用-XX:ParallelGCThreads参数限制垃圾收集器的线程数。

5.3、Parallel Scavenge收集器

5.3.1、特点

  • 新生代收集器，使用复制算法，并行多线程；
  • 吞吐量优先收集器：CMS等收集器会关注如何缩短停顿时间，而这个收集器是为了吞吐量而设计的。

吞吐量 = 运行用户代码时间 / ( 运行用户代码时间 + 垃圾收集时间 )

也就是说整体垃圾收集时间越短，吞吐量越高。

image-20191208105333980

5.3.2、适用场景

  • 可以高效利用CPU时间，尽快完成程序的运算任务，适合后台运算不需要太多交互的任务；

5.3.3、相关参数

  • -XXMaxGCPauseMillis：设置最大垃圾收集停顿时间，大于0的毫秒数；

    • 缩短GC停顿时间会牺牲吞吐量和新生代空间。新生代空间小，GC回收就快，但是同时会导致GC更加频繁，整体垃圾回收时间更长。

  • -XX:GCTimeRatio：设置吞吞量大小。0~100的整数，垃圾收集时间占总时间的比率，相当于吞吐量的倒数。

    • 19: 1/(1+19)= 5%，即最大GC时间占比5%；
    • 99: 1/(1+99)=1%，即最大GC时间占比1%；

  • -XX:+UseAdaptiveSizePolicy：GC自适应调节策略开关，打开开关，无需手工指定-Xmn(新生代大小)、-XX:SurvivorRatio(Eden与Survivor区比例)、-XX:PretenureSizeThreshold(晋升老年代对象年龄)等参数，虚拟机会收集性能监控信息，动态调整这些参数，确保提供最合适的 停顿时间或者最大吞吐量。

5.4、Serial Old收集器

5.4.1、特点

Serial收集器的老年代版本。使用单线程，标记-整理算法。

5.4.2、适用场景

  • 主要给Client模式下的虚拟机使用；
  • Server模式下，量大用途：
    • JDK1.5版本之前的版本与Parallel Scavenge收集器搭配使用；
    • 作为CMS收集器的后备预案，发生Concurrent Mode Failure时使用。

5.5、Parallel Old收集器

5.5.1、特点

Parallel Scavenge收集器的老年代版本，使用多线程，标记整理算法。

5.5.2、使用场景

  • 主要配合Parallel Scavenge使用，提高吞吐量。在注重吞吐量以及CPU资源敏感的场合，都可以优先考虑这个组合。

JDK1.6之后提供，之前Parallel Scavenge只能与Serial Old配合使用，老年代Serial Old无法充分利用服务器多CPU处理器能力，拖累了实际的吞吐量，效果不如ParNew+CMS组合；

5.6、CMS收集器

Concurrent Mark Sweep

5.6.1、特点

  • 设计目标：获得最短回收停顿时间；
  • 注重服务响应速度；
  • 标记-清除算法；

image-20191208120643069

5.6.2、缺点

  • 对CPU资源敏感，虽然不会导致用户线程停顿，但是会占用一部分线程(CPU资源)而导致应用程序变慢，吞吐量降低；
  • CMS收集器无法处理浮动垃圾。在CMS并发清理阶段，用户线程会产生垃圾。如果出现Concurrent Mode Failure失败，会启动后备预案：临时启动Serial Old收集器重新进行老年代垃圾收集，停顿时间更长了。-XX:CM SInitiatingOccupancyFraction设置的太高容易导致这个问题；
  • 基于标记-清除算法，会产生大量空间碎片。

5.6.3、使用场景

  • 互联网网站或者B/S系统的服务器；

5.6.4、相关参数

  • -XX:+UseCMSCompactAtFullCollection：在CMS要进行Full GC时进行内存碎片整理(默认开启)。内存整理过程无法并发，会增加停顿时间；
  • -XX:CMSFullGCsBeforeCompaction：在多少次 Full GC 后进行一次空间整理(默认0，即每一次 Full GC 后都进行一次空间整理)；
  • -XX:CM SInitiatingOccupancyFraction：触发GC的内存百分比，设置的太高容易导致Concurrent Mode Failure失败(GC过程中，用户线程新增的浮动垃圾，导致触发另一个Full GC)。

CMS为什么要采用标记-清除算法？

CMS主要关注低延迟，所以采用并发方式清理垃圾，此时程序还在运行，如果采用压缩算法，则会涉及到移动应用程序的存活对象，这种场景下不做停顿是很难处理的，一般需要停顿下来移动存活对象，再让应用程序继续运行，但是这样停顿时间就边长了，延迟变长。CMS是容忍了空间碎片来换取回收的低延迟。

5.7、G1收集器

G1：Garbage-First，即优先回收价值最大的Region(注1)。

注1：G1与收集器将整个Java堆换分为多个代销相等的独立区域，跟踪各个Region里面的垃圾堆积的价值大小，优先回收价值最大的Region。

image-20191208131955354

如上图，G1收集器分为四个阶段：

  • 初始标记：只标记GC Roots能直接关联到的对象，速度很快。并修改TAMS(Next Top at Mark Start)的值，让下一阶段用户程序并发运行时，能够在正确可用的Region中创建新对象，这阶段需要停顿线程；
  • 并发标记：GC RootsTracing过程。该阶段对象变化记录在线程Remembered Set Logs中。
  • 最终标记：修正并发期间因用户程序运作而导致标记产生变动的部分对象的标记记录。把Remembered Set Logs数据合并到Remembered Set中。这个阶段需要停顿，但是可并行执行；
  • 筛选回收：对各个Region回收价值和成本进行排序，根据用户期望Gc停顿时间制定回收计划。与CMS不一样，这里不用和用户线程并发执行，提高收集效率，使用标记-整理算法，不产生空间碎片。

5.7.1、特点

  • 并行与并发：并发标记，并行最终标记与筛选回收；
  • 分代收集
  • 空间整合：基于标记-整理算法，不会产生碎片。
  • 可预测的停顿：G与收集器将整个Java堆换分为多个代销相等的独立区域，避免在整个Java堆中进行全区域的垃圾回收，跟踪各个Region里面垃圾堆积的价值大小，后台维护一个优先列表，每次根据运行的收集时间，优先回收价值最大的Region。

References

为什么CMS两次标记时要 stop the world

[垃圾收集 (GC)](https://github.com/TangBean/understanding-the-jvm/blob/master/Ch1-Java%E5%86%85%E5%AD%98%E7%AE%A1%E7%90%86%E6%9C%BA%E5%88%B6/02-%E5%9E%83%E5%9C%BE%E6%94%B6%E9%9B%86(GC).md

How Does Reference Counting Garbage Collection Work

软引用SoftReference介绍以及简单用法cache

利用虚引用PhantomReference实现对象被回收时收到一个系统通知

java垃圾回收之复制算法

请问 JVM线程的栈在64位Linux操作系统上的默认大小是多少？

虚拟机OopMap

Understanding Java Garbage Collection Algorithms

Mark-and-Sweep: Garbage Collection Algorithm

hxc2101
关注
Java垃圾回收机制简述
08-28
在Java中，垃圾回收机制使用可达性分析法来确定某个对象是“垃圾”。该方法的基本思想是通过一系列的“GC Roots”对象作为起点进行搜索，如果在“GC Roots”和一个对象之间没有可达路径，则称该对象是不可达的。被...
Java+JVM+垃圾回收机制
02-25
- **概念**: 相比引用计数算法，可达性分析算法更加高效且广泛应用于现代垃圾收集器中。 - **工作原理**: 该算法通过追踪从一组根对象开始的所有引用链来确定对象的可达性。若对象不可达，则被认定为垃圾。 - **根...
JAVA--GC 垃圾回收机制----可达性分析算法
dibiaochou5363的博客
02-26 249
在JVM 中，java 为我们提供可有效的垃圾回收机制，GC ，GC的创建无疑是为了缓解内存压力、保存有效数据、回收垃圾无效数据； 在此之前GC在我的理解中，一直只是个概念，内存中出现垃圾，GC来回收一下，处理下；但是对其内部如何定义一个对象是否是'垃圾'并不知晓！ 昨天在工作的时候，为了理解native 关键字的使用的，顺便也看到了一些blog对它的认知见解，我也学习了一下，如下是...
JAVA垃圾回收-可达性分析算法
热门推荐
luzhensmart的专栏
08-05 3万+
在java中是通过引用来和对象进行关联的，也就是说如果要操作对象，必须通过引用来进行。那么很显然一个简单的办法就是通过引用计数来判断一个对象是否可以被回收。不失一般性，如果一个对象没有任何引用与之关联，则说明该对象基本不太可能在其他地方被使用到，那么这个对象就成为可被回收的对象了。这种方式成为引用计数法。 这种方式的特点是实现简单，而且效率较高，但是它无法解决循环引用的问题，因此在Java中并没...
Java垃圾回收-可达性分析算法
songzi1228的博客
05-23 240
相关文章： JAVA垃圾回收-可达性分析算法 可达性算法、Java引用 详解 在java中是通过引用来和对象进行关联的，也就是说如果要操作对象，必须通过引用来进行。那么很显然一个简单的办法就是通过引用计数来判断一个对象是否可以被回收。不失一般性，如果一个对象没有任何引用与之关联，则说明该对象基本不太可能在其他地方被使用到，那么这个对象就成为可被回收的对象了。这种方式成为引用计数法。 这种方式的特点是实现简单，而且效率较高，但是它无法解决循环引用的问题，因此在Java中并没有采用这种方式（Pyt.
Java 垃圾回收可达性分析算法
lincy521的专栏
03-23 155
       在主流的商用程序语言（java、C#，甚至包含古老的Lisp）的主流实现中，都是称通过可达性分析（Reachability Analysis）来判断对象是否存活的。这个算法的基本思路就是通过一系列的称为“GC Roots”的对象作为起始点，从这些细节开始向下搜索，搜索所有走过的路径称为引用链（Reference Chain），当一个对象到GC Roots没有任何引用链接相连（用图论...
java可达性_Java 垃圾回收 - 可达性分析算法
weixin_27787297的博客
02-12 248
续前节，前面总结了Java内存运行时区域划分的各个部分，分别：JVM虚拟机栈、本地方法栈(JDK Native方法执行所需)、程序计数器、堆内存、方法区、方法区常量池。其中JVM 虚拟机栈、本地方法栈、程序计数器3个区域会随线程而生，随线程而死。栈帧中的操作随着方法区的进入和推出进行相关的入栈和出栈操作。每个栈帧的大小随着方法结构而确定下来的。1、对象生死确定堆内存存放着一个程序中所需的所有实例对...
Java垃圾回收机制：引用计数与可达性分析
总结来说，Java垃圾回收机制是一个复杂且高效的内存管理手段，它通过引用计数法和可达性分析确保内存的有效使用，避免了内存泄漏，同时允许开发者专注于业务逻辑，无需担心内存管理问题。理解垃圾回收机制对于编写...
浅谈JAVA垃圾回收机制.pdf
12-31
Java 中的垃圾回收机制主要通过两种算法来判断对象是否可以被回收，即引用计数算法和可达性分析算法。引用计数算法通过给对象中添加一个引用计数器来判断对象是否可以被回收，而可达性分析算法则是通过搜索 GC Roots...
java 可达性分析算法_JAVA垃圾回收-可达性分析算法
weixin_28930033的博客
02-13 221
在java中是通过引用来和对象进行关联的，也就是说如果要操作对象，必须通过引用来进行。那么很显然一个简单的办法就是通过引用计数来判断一个对象是否可以被回收。不失一般性，如果一个对象没有任何引用与之关联，则说明该对象基本不太可能在其他地方被使用到，那么这个对象就成为可被回收的对象了。这种方式成为引用计数法。这种方式的特点是实现简单，而且效率较高，但是它无法解决循环引用的问题，因此在Java中并没有采...
【JVM基础篇】Java垃圾回收介绍（包含可达性分析、五种引用对象的回收）
最新发布
记录一名在读研究生的学习笔记、感悟、开发产物
06-29 1261
本文深入探讨了Java内存管理和垃圾回收机制，解析了自动与手动回收的差异，以及各自的优缺点。详述了可达性分析算法，GC Root对象的概念，并通过实例展示了如何使用Arthas和MAT工具进行内存快照分析，检测潜在的内存泄漏。文章还介绍了Java中五种引用类型（强引用、软引用、弱引用、虚引用、终结器引用）的特性和应用场景。
JVM的垃圾回收算法有哪些？从可达性分析算法开始，深入解读三大核心垃圾回收算法
vincewm的博客
05-13 1544
本文首先介绍GC Roots、可达性分析算法、非可达对象回收过程等基本概念，然后深入讲解标记清除算法、标记复制算法、标记整理算法等核心算法，并做以简单的对比，引申分代收集理论。
浅谈JVM垃圾收集——并发的可达性分析
a1076067274的博客
04-08 234
前言 当前主流编程语言的垃圾收集器基本上都是依靠可达性分析算法来判定对象 是否存活的，可达性分析算法理论上要求全过程都基于一个能保障一致性的快照中才能够进行分析， 这意味着必须全程冻结用户线程的运行。 在前面的文章分析中，根节点枚举在OopMap的帮助下，它带来的停顿已经是非常短暂且相对固定（不随堆容量而增长）的了。 详情看：OopMap和安全点 可从GC Roots再继续往下遍历对象图，这一步骤的停顿时间就必定会与Java堆容量直接成正比例关系了：堆越大，存储的对象越多，对象图结构越复杂，要标记更多对
垃圾回收器基础：可达性分析、方法区的回收、垃圾回收算法和GC策略
hiliang521的博客
08-18 1186
内容概述：先了解GC时回收对象是如何判断的，然后是方法区进行那些垃圾回收。因为不同的对象有不同的回收策略我们接着看一些垃圾算法，以及垃圾回收策略。
描述java垃圾回收机制_译文-java垃圾回收机制
weixin_29137997的博客
02-26 114
标记清除算法介绍最主要的理论算法之一，在实践过程中，为了真实情景需要，需要许多调整。举一个简单例子，我们检查JVM需要做的各种事情，以便我们安全地去创建对象。清除压缩当清除期间，JVM必须确保区域被不可达对象填充。这会(终将会)导致内存碎片化，同样会导致磁盘碎片化，由此产生两个问题：写操作因为寻找下一个足够尺寸的空间变得耗费时间，这个写操作不再简单。当创建新对象的时候，JVM分配一个连续的空间。如...
Java 垃圾回收最全讲解（GC过程、可达性分析、方法，7大回收器）
zhhongying的博客
07-07 4252
Java 垃圾回收最全讲解（GC过程、可达性分析、方法，7大回收器）
Java虚拟机（二）—— 垃圾回收
中都
07-20 881
总结一下垃圾回收器吧：|垃圾回收器|采用的回收算法 |线程数 |回收的区域| 备注|Serial |复制算法 | 单线程 | 新生代 ||Serial Old | 标记—整理算法 | 单线程 | 老年代 | Serial收集器的老年代版本| ParNew |复制算法 |多线程 | 新生代| Serial收集器的多线程版本|Parallel Scavenge | 复制算法 | 多线程 | 新生代| 追求高吞吐量。
[JVM]——垃圾回收
Panci_的博客
03-26 872
GC、垃圾回收器、垃圾回收算法、CMS
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值