Java GC 内存回收机制详解（一） 引子

提纲：

一. 什么对象不能释放？

二. 这些对象存储在哪里？

三. 什么是GC Roots？

四. 什么是可达链？

五. 没有包治百病的通用内存回收算法

六. 引入次代概念

七 . 内存回收算法

八. 附录

1. Minor / Major GC触发的时机

2. 根治循环引用

3. 理解引用（句柄 和 指针）

注解：

* 本文旨在用最简单的描述，阐明Java内存回收机制的原理；

* 为了简化，不涉及：JIT、NIO、Native函数以及DirectBuff等内容；

* 本文力求白话，读者理解编译原理会对阅读有帮助。

是亦彼也，彼亦是也，彼亦一是非，此亦一是非。

——《庄子.内篇》

一. 什么对象不能释放？

任何事物，都是两面的。把不能释放的对象找出来，剩下的就是可以回收和释放的对象。从Java GC设计者来说，他们首先要考虑的是，如果对象在正常使用，对象内存被GC回收了，那将是在灾难性的Bug。

所以说，哪些对象是正常被使用的呢？我们简单列举一下：

1. 被静态变量引用的对象；

2. 被常量对象引用的对象；

3. 运行时，被某方法内的变量引用的对象；

上说的对象，一旦被GC错误的回收和释放，程序将无法正常运行。

二. 这些对象存储在哪里？

上图：

上图中，示意了Java运行时内存构成。其中，左半部分，是线程共享的，右半部分是线程私有的。

（局部变量部分 图片要调整）

线程共享的如下：

• Java堆存放对象实例，几乎所有的对象实例以及其属性都在这里分配内存；
• 方法区存储已经被虚拟机加载的类信息、常量、静态变量、JIT编译后的代码等数据；
• 运行时常量池方法区的一部分。用于存放编译期生成的各种字面量和符号引用；
• 直接内存NIO、Native函数直接分配的堆外内存。DirectBuffer引用也会使用此部分内存。

线程私有的如下：

• 程序计数器当前线程所执行的字节码的行号指示器；
• Java虚拟机栈Java方法执行的内存模型，每个方法被执行时都会创建一个栈帧，存储局部变量表、操作栈、动态链接、方法出口等信息；
• 每个线程都有自己独立的栈空间；
• 线程栈只存基本类型和对象地址；
• 方法中局部变量在线程空间中。

简单的说，我们平时用new关键字，new出来的对象存贮在堆里。堆是被每个线程公用的。堆满了，就OOM了。我们不能直接访问new中的对象。我们需要通过 常亮、全局变量、静态变量，以及方法内的局部变量，通过引用才能访问堆中的对象。

几个小推论：

1. 如果堆中的对象，没有任何的常亮、全局变量、静态变量，以及方法内的局部变量引用它，那么，它就是可以被GC回收的对象；

2. 如果常亮、全局变量、静态变量，以及方法内的局部变量，有引用可以触达某一个堆中的变量，这个对象就不可以被释放，因为它可能在某个时期被程序用到。也只有常亮、全局变量、静态变量，以及方法内的局部变量，可以被作为传说中的GC Root（简单描述，不是特别严禁）。