垃圾回收这门技术有许多谜团。很多程序员不太了解GC程序的运行原理，因此有时它也被称为“秘技”或“魔法”。

本文的算法篇比原始论文更加详细地介绍了G1GC 的算法原理，对于我以前理解起来比较困难的地方，还特意进行了详细的说明，因此内容要比原始论文易于理解。即使是不太了解 GC 的读者，理解起来应该也没有什么问题。

在实现篇中，我们将结合实用 JVM，聚焦算法篇中没有详细讲解的实现部分。

首先，我们会了解 HotSpotVM。现在，HotSpotVM 实现了包括 G1GC在内的5种GC算法。不过这些算法并非凭空而来，而是基于HotSpotVM 中专为 GC 算法设计的框架实现的。因此，接着我们就会了解作为框架之一的对象管理功能。得益于对象管理功能的接口，多种GC 算法之间的切换成为可能，而且新 GC 算法的添加也变得更加简单。之后，我们会了解对象的数据结构和内存分配器。有关分配器的讲解会稍微涉及对操作系统的调用。

除此以外，我们还将了解 G1GC 中用到的线程管理方法。HotSpotVM 内部同样也有能够在 GC 过程中简单地操作线程的框架，各种 GC 算法都是通过这个框架来实现并行 GC 和并发 GC 的。

再后面就是 G1GC 的具体实现，讲解了 G1GC 的并发标记和转移，以及调度程序的实现。这部分尽量省略了算法篇中已经详细讲解过的内容，着重讲解前面没有涉及的内容。

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

目录

主要内容

本文包含算法篇和实现篇两部分，又分为20章的内容给大家深入剖析java虚拟机。

第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 中写屏障的性能开销。

读者对象

• 本文适合对所有 JVM 和 GC 感兴趣的读者阅读。
• 还适合对实现 OpenJDK 7 的内存管理感兴趣的人阅读。由于本文实现篇会引用算法篇中的内容，因此建议大家按照顺序从头开始阅读。