GC工作原理(读书笔记)

一、垃圾收集器GC（Garbage Collection）

        Java内存运行时，程序计数器、虚拟机栈、本地方法栈这个3个区域生命周期与线程一致，因此这几个区域的内存分配和回收都具备确定性，方法结束或者线程结束时，相关内存就随着回收了。而Java堆和方法区则不一样，一个接口的多个实现类需要的内存可能不一样，一个方法中的多个分支需要的内存也可能不一样，我们只有在程序处于运行期间时才能知道会创建哪些对象，这部分内存的分配和回收都是动态的，GC所关注的是这部分内存。

        在Java堆里面存放着Java世界中几乎所有的对象实例，GC在对堆进行回收前，第一件事情就是判断这些对象之中哪些还“存活”着，哪些已经“死去”（即不可能再被任何途径使用的对象）。

二、GC如何判断对象的“存活”和“死亡”状态

       1，引用计数算法(Reference Counting)

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

         引用计数算法的实现简单，判定效率高，在大部分情况下它都是一个不错的算法。但是，主流的Java虚拟机里面没有选用引用计数算法来管理内存，其中最主要的原因是它很难解决对象之间的循环引用问题。

         例如：

         Demo a = new Demo();

         Demo b = new Demo();

         a.partner = b;

         b.partner = a;

         a = null;

         b = null;

         这两个对象仅存在以上相互引用，该段代码之后这两个对象已经不可能再被引用，但是由于他们互相引用着对方，导致它们的引用计数都不为0，于是引用计数算法无法通知GC回收它们。

      2，可达性分析算法(Reachability Analysis)

         在主流的商用程序语言的主流实现中，都是通过可达性分析算法来判定对象是否还存活的。

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

         例如：

上图中，对象Object5，Object6，Object7虽然相互有关联，但是它们到GC Roots是不可达的，所以它们将会被判定为是可回收的对象。

三、引用

          从上看出 ，判断对象是否存活都与“引用”有关，我们希望描述这样一类对象：当内存空间足够时，保留在内存中；如果内存空间在进行垃圾清理后还是非常紧张，则可以抛弃这些对象。JDK1.2后，将引用分为强引用（Strong Reference）、软引用（Soft Reference）、弱引用（Weak Reference）、虚引用（Phantom Reference）4种，这4种引用强度依次减弱。

          强引用：是指在程序代码中普遍存在的，类似“Object obj = new Object()”这类的引用，只要强引用还存在，垃圾收集器永远不会回收掉被引用的对象。

          软引用：用来描述一些还有用但并非必需的对象。对于软引用关联着的对象，在系统将要发生内存溢出之前，将会把这些对象列入回收范围之中进行第二次回收。如果软引用关联对象被回收后，还没有足够的内存，才会抛出内存溢出异常。

          弱引用：用来描述非必需对象，他的强度比软引用弱一些。被弱引用关联的对象，只能生存到下一次垃圾收集发生之前。当垃圾收集器工作时，无论当前内存是否足够，都会回收掉只被弱引用关联的对象。

          虚引用：也称为幽灵引用或者幻影引用，是最弱的一种引用关系。一个对象是否有虚引用的存在，完全不会对其生存时间产生影响，也无法通过虚引用来取得一个对象实例。为一个对象设置虚引用的唯一目的就是：能在该对象被收集器回收时收到一个系统通知。

四、方法区的垃圾回收

          Java虚拟机规范中没有要求虚拟机在方法区（或者HotSpot虚拟机中的永久代）实现垃圾收集，而且在方法去进行垃圾回收的性价比比在堆中进行垃圾回收的低。

          方法区的垃圾收集主要回收两部分内容：废弃常量和无用的类。

          回收废弃常量与回收队中的对象类似，例如一个字符串“abc”已经进入到常量池中，但是当前系统没有任何一个String对象引用该“abc”常量，也没有其他地方引用这个字面量，如果这时发生内存回收，而且必要的话，这个“abc”常量就会被系统清理出常量池。常量池中的其他类、方法、字段的符号引用 于此类似。

          判断一个类是否是无用的类，需要同时满足一下3个条件：

          a.该类所有的实例都已经被回收；

          b.加载该类的ClassLoader已经被回收；

          c.该类对应的java.lang.Class对象没有在任何地方被引用，无法在其他地方通过反射访问该类的方法。

五、垃圾收集算法

1，标记 -清除算法

2，复制算法

3，标记-整理算法

4，分代手机算法