深入理解JVM - 垃圾收集器与内存分配策略

上一篇介绍了Java内存运行时区域的各个部分，其中程序计数器、虚拟机栈、本地方法栈3个区域随线程生而生，随线程灭而灭；栈中的栈帧随着方法的进入和退出而有条不紊的执行入栈和出栈操作。每一个栈帧中分配多少内存基本上是在类结构确定下来时就是已知的。因此这几个区域的内存分配和回收都具备确定性，在这几个区域内就不需要过多的考虑内存回收的问题，因为随着方法或线程的结束，这些内存自然就回收了。

而Java堆和方法区则不一样。一个接口的多个实现类需要的内存可能是不一样，一个方法中的多个分支需要的内存也可能不一样，我们只有在程序处于运行期间时才能知道会创建哪些对象，这部分的内存分配和回收也是动态的。本篇所指的内存分配与回收也仅指这一部分内存。

1、对象已死吗

1.1、引用计数法

给每个对象添加一个引用计数器，每当有一个地方引用它时，计数器值加1；当引用失效时，计数器值减1；任何时刻计数器为0的对象就是不可能再被使用的对象。

目前主流的Java虚拟机没有使用引用计数法来管理内存的，因为它很难解决对象之间相互循环引用的问题。

1.2、可达性分析算法

在主流的商用程序语言（Java、c#等）的主流实现中，都是称通过可达性分析来判定一个对象是否可存活的。

基本思路：通过一系列的成为“GC ROOTS”的对象作为起始点，从这些节点开始向下搜索，搜索所走过的路径成为引用链，当一个对象到GC Roots没有任何引用链相连时，则证明该对象是不可用的。

在Java语言中，作为GC Roots的对象包含下面几种：

-------------------------执行上下文-------------------------------------

a、虚拟机栈（栈帧中的本地变量表）中引用的对象；

-------------------------全局性引用-------------------------------------

b、方法区中类静态属性中引用的对象；

c、方法区中常量引用的对象；

--------------------------------------------------------------

d、本地方法栈中JNI(即一般所说的Native方法)引用的对象；

上图源于网络，感谢

对象object5、object6、object7虽然相互关联，但是它们到GC Roots是不可达的，所以它们将会被判定为可回收对象。

1.3.、引用

引用分为强、软、弱、虚引用。前三种应该都很熟悉了。简单的说一下第四种：

虚引用又被称为幻影引用或者幽灵引用ÿ