看了深入 Java 虚拟机:JVMG1GC 的算法与实现文档,我悟了
垃圾回收这门技术有许多谜团。很多程序员不太了解 GC 程序的运行原理,因此有时它也被称为“秘技”或“魔法”。
本文的算法篇比原始论文更加详细地介绍了 G1GC 的算法原理,对于我以前理解起来比较困难的地方,还特意进行了详细的说明,因此内容要比原始论文易于理解。即使是不太了解 GC 的读者,理解起来应该也没有什么问题。
在实现篇中,我们将结合实用 JVM,聚焦算法篇中没有详细讲解的实现部分。
首先,我们会了解 HotSpotVM。现在,HotSpotVM 实现了包括 G1GC 在内的 5 种 GC 算法。不过这些算法并非凭空而来,而是基于 HotSpotVM 中专为 GC 算法设计的框架实现的。因此,接着我们就会了解作为框架之一的对象管理功能。得益于对象管理功能的接口,多种 GC 算法之间的切换成为可能,而且新 GC 算法的添加也变得更加简单。之后,我们会了解对象的数据结构和内存分配器。有关分配器的讲解会稍微涉及对操作系统的调用。
除此以外,我们还将了解 G1GC 中用到的线程管理方法。HotSpotVM 内部同样也有能够在 GC 过程中简单地操作线程的框架,各种 GC 算法都是通过这个框架来实现并行 GC 和并发 GC 的。
再后面就是 G1GC 的具体实现,讲解了 G1GC 的并发标记和转移,以及调度程序的实现。这部分尽量省略了算法篇中已经详细讲解过的内容,着重讲解前面没有涉及的内容。

本文将从目录、主要内容和适合读者阅读三部分给大家做介绍,因为内容过多不能一一给大家展现出来,只能把部分知识点拿出来给大家介绍,希望大家能够喜欢!
目录

主要内容
本文包含算法篇和实现篇两部分,又分为 20 章的内容给大家深入剖析 java 虚拟机。
这份“深入 Java 虚拟机:JVMG1GC 的算法与实现”原文档打开方式:我的学习笔记
第 1 章 G1GC 是什么;本章将介绍 G1GC 的基础知识。

第 2 章并发标记;本章将详细介绍并发标记。并发标记的主要作用是提供转移过程所需要的信息。

第 3 章转移;本章将介绍实际进行 GC 的转移功能。

第 4 章软实时性;本章将介绍 G1GC 是如何实现软实时性的。

第 5 章分代 G1GC 模式;G1GC 中存在“纯 G1GC 模式”(pure garbage-first mode)和“分代 G1GC 模式”(generational garbage-first mode)两种模式。前面介绍的内容都是关于纯 G1GC 模式的。本章,我们将介绍分代 G1GC 模式。

第 6 章算法篇总结;本章将总结一下前面介绍的 GC 相关处理之间的关系,然后介绍一下 G1GC 的优缺点。

实现篇
第 7 章准备工作;

第 8 章对象管理功能;在 HotSpotVM 中,我们可以自主选择使用哪种 GC 算法——只要在 Java 的启动选项中像“-XX:+UseParalleGC”这样指定即可。不同 GC 算法所管理的堆的布局并不相同。当然,这些 GC 算法自身也不同。本文将 HotSpotVM 的堆和 GC 统称为对象管理功能。本章我们将从整体上来看一看对象管理功能。

第 9 章堆结构;本章讲解 G1GC 的 VM 堆结构。

第 10 章分配器;本章将讲解 HotSpotVM 中的内存分配器。

第 11 章对象结构;本章,我们来看一看在 VM 堆上分配的对象的数据结构。这些被分配的对象当然就是 GC 的回收对象了。

第 12 章 HotSpotVM 的线程管理;在接下来的几章中,我们将学习 HotSpotVM 的线程管理。我在算法篇中讲过,G1GC 是一种结合了并行 GC 和并发 GC 的 GC 算法。并行 GC 和并发 GC 是通过它们各自的线程实现的,因此如何管理多线程是实现中的重点。
本章将介绍 HotSpotVM 的线程管理中接近操作系统的底层部分。

第 13 章线程的互斥处理;本章将讲解在访问线程间共享资源时所进行的互斥处理。由于在进行 GC 的线程间,对象是被当作共享资源的,所以在很多情况下需要进行互斥处理。

第 14 章 GC 线程(并行篇);本章将讲解使用多个在 HotSpotVM 中实现的线程并行地执行任务的框架,看一看并行 GC 是如何使用该框架的。

第 15 章 GC 线程(并发篇);本章将简要地讲解并发 GC 中用到的线程,与大家一起来看一看 HotSpotVM 是如何控制线程,与 mutator 并发执行 GC 的。

第 16 章并发标记;本章将讲解 G1GC 的并发标记是如何实现的。不过,如果只是再复述一遍算法篇中已经介绍过的实现部分就太无趣了,因此本章将省略那些内容,来讲解那些在算法篇中未曾触及的内容。

第 17 章转移;本章将讲解 G1GC 中的转移是如何实现的。此外,本章同样会省略在算法篇中已经介绍过的内容。

第 18 章预测与调度;算法篇 4.5 节中讲过,下一次并发标记暂停处理会花费的时间,是根据过去的并发标记暂停时间预测出来的。本章将讲解 HotSpotVM 如何根据过去的时间记录,预测下一次的暂停时间。
此外,算法篇 4.4 节中讲过 GC 会调度暂停时机。在本章后半部分,我将带领大家看一看这是如何实现的。

第 19 章准确式 GC 的实现;本章将讲解为了实现准确式 GC(exact GC),HotSpotVM 是如何将“准确的根信息”提供给 GC 算法的。

第 20 章写屏障的性能开销;本章将稍微改变一下视角,研究一下 HotSpotVM 中写屏障的性能开销。

“深入 Java 虚拟机:JVMG1GC 的算法与实现”原文档打开方式:我的学习笔记
读者对象
本文适合对所有 JVM 和 GC 感兴趣的读者阅读。
还适合对实现 OpenJDK 7 的内存管理感兴趣的人阅读。由于本文实现篇会引用算法篇中的内容,因此建议大家按照顺序从头开始阅读。
评论