垃圾收集相关知识

在c或c++中，由开发人员创建对象并且手动释放对象。在java中，程序员不需要自己去释放对象，由jvm帮助我们去释放对象。

jvm将java内存区域划分为方法区、堆、虚拟机栈、本地方法栈、程序计数器。其中，虚拟机栈、本地方法栈、程序计数器是随线程而生，随线程而灭。栈中所需的内存在类结构确定下来的时候就已经确定，程序计数器保存的是下一条指令的地址，所以只占一个内存空间。
而堆、方法区是线程共享的，堆是用于存放实例对象，方法区用于存放类信息等，方法区回收主要是回收无用的类，以及废弃的常量。在堆中，创建多少实例对象，创建什么实例对象是由运行时决定（根据方法执行，以及执行的控制流程），所以在堆中的内存分配和回收都是动态的，jvm回收内存一般指的就是回收堆内存。

1.如何判断一个对象是垃圾，可以被回收？

判断对象是否存活有俩种算法：引用计数法、可达性分析算法。下面将对这俩算法做一个简单介绍。

• 引用计数法

  给对象添加一个引用计数器，每当有一个地方引用该对象时，就将引用计数器加1，当引用失效时，就将计数器减1。任何时刻，只要计数器值为0时，说明对象可以被回收。

  问题：引用计数法实现比较简单，通过在对象头添加计数器，根据引用改变计数器的值，但是，如果对象间存在相互引用（循环引用），如果不手动清除循环引用，循环引用对象的计数器值永远不可能为0，导致循环引用对象无用，但存于内存，无法回收。
  

obj1.instance = obj2;
obj2.instance = obj1;
obj1 = null;
obj2 = null;

现代java虚拟机已不适用循环计数法来判断一个对象是否存活，因为虽然其效率高，实现简单，但是其存在循环引用问题，所以现代jvm而是采用可达性分析算法。

• 可达性分析算法

通过一系列称为GC roots的节点作为根节点出发，从这些节点开始向下搜索，搜索所走过的路径称为引用链，当一个对象到GC roots没有引用链相连时，说明该对象是可以被回收。

在可达性分析算法中，循环引用问题可以解决。但是可达性分析算法实现比较复杂。

那么什么样的对象可以作为GC ROOTS？
1.虚拟机栈中引用的对象
2.方法区静态变量引用的对象
3.方法区常量引用的对象
4.本地方法栈中JNI引用的对象

无论是引用计数法，还是可达性分析算法，都需要通过引用来判定对象是否存活？那么要了解一下什么是引用？

2.引用

在jdk1.2之前，如果reference类型的数据中存储的数值代表的是另一块内存的起始地址，则这块内存代表着一个引用，在这种定义下，对象只有被引用和没有被引用俩种情况。后来，进行改进，希望在内存空间足够的情况下，对象能够保留在内存空间，只有当内存空间不够时，才会清理对象。因此，定义了以下四种引用类型。

• 强引用
  类似Object obj = new Object()，只要强引用存在，垃圾收集器就不会回收被引用的对象。
• 软引用
  描述还有用但并非必须的对象，在系统将要发生内存溢出异常之前，会将这些对象列进回收范围之中进行第二次回收。
• 弱引用
  弱引用关联的对象只会存活到下一次垃圾收集之前
• 虚引用
  唯一目的是在这个对象被垃圾收集器收集时能够收到一个系统通知

对象在可达性分析算法中如果没有该对象没有到GC ROOTS的引用链，是否意味着对象会立即被回收，答案是否定的，根据以上对象引用的四种状态，我们也可知，答案是否定的。要真正宣告一个对象被回收，至少需要经历俩次标记过程。

3.对象何时被回收-finalize

对象在进行可达性分析算法时，发现没有与GC ROOTS相关联的引用链时，将会被第一次标记并筛选，筛选的条件是是否有必要执行finalize方法，如果对象未覆盖finalize方法或者jvm已经执行过该对象的finalize方法，就没有必要执行finalize方法。
如果对象被判定为要执行finalize方法，则将对象放置在一个F-Queue队列中，并在稍后，由一个虚拟机建立的，低优先级的finalize线程去执行。对象的finalize方法不一定会执行完成，因为防止一个对象的finalize方法执行时间过长或出现死循环，导致其他对象等待。
GC会对F-Queue队列中的对象进行第二次小范围标记，如果对象通过finalize方法与其他对象建立联系，则可以摆脱被回收的命运。但是一般不推荐采用这种用法。
对象的finalize方法只会被jvm执行一次。

总结：判断一个对象是否存活有俩种算法，引用计数法和可达性分析算法，由于引用计数法存在循环引用问题，所以一般采用可达性分析算法。一个对象被判定为可回收对象时，并不会立即被回收，而是会经历俩次标记过程。