垃圾收集器与内存分配策略（一）

概述

垃圾收集器部分主要关注的是堆和方法区，内存回收也是指的这部分内存。

对象已死么

在判断对象是否可以被回收之前，需要首先判断哪些对象还“活”着，哪些已“死”

引用计数算法

引用计数算法是给对象添加一个引用计数器，每当有一个地方引用它时，这个引用计数器就+1，当引用失效时，就-1.当引用计数器=0时，这个对象就标志着不可能在被引用。但是这种算法很难解决对象之间相互引用的问题。

比如下面这段代码，objA和objB除啦赋值给objA.instance=objB和objB.instance=objA之外，再无其他引用，但是因为互相引用着对方，引用计数器不为0，于是无法通知GC回收他们

可达性算法

可达性算法是通过从GC ROOT开始向下搜索，搜索所走过的路线被称为引用链，当对象没有被引用链相连时，则证明这个对象是不可用的。如下图：obj5,obj6,obj7虽然互相引用着，但是GC ROOT是不可达的，他们会被认为是可回收对象。

再谈引用

引用算法只会把对象分为有没有引用两种状态，但是希望有一类对象在内存足够时，就不回收它，当内存回收完毕空间仍然比较紧张时，我们就回收这类对象。于是就有了强引用，软引用，弱引用和虚引用4种。

强引用：类似Object obj=new Object()，只要引用还存在，就不会回收被引用的对象。

软引用：是一些有用但是并非是必须的对象。对于软引用的对象，在将要发生内存溢出的时候，会对这类对象进行回收，如果回收完毕仍然没有足够的内存，则抛出内存溢出异常。

弱引用：也是用来描述一些并非必须的对象，他的强度比软引用弱一些，被弱引用关联的对象，只能生存到下一次GC收集之前，当在回收时，无论内存是否足够，都会被回收。

虚引用：被虚引用关联的对象就是在被GC回收时收到一个系统通知

生存还是死亡

在可达性算法中的不可达对象，也不是"非死不可的"，会把不可达对象暂时处于一个"缓刑"的状态，而这个对象真正的死亡，要至少经历两次标记过程。

第一次标记：当通过可达性算法发现对象没有被GC ROOT引用链所引用，那么会被标记并查看对象有没有覆盖finalize方法或者是否是第一次执行finalize方法，当对象没有覆盖或者执行过finalize方法，虚拟机认为没有必要执行finalize方法。

第二次标记：如果对象被判定为有必要执行finalize方法，会将对象放在一个F-Queue队列中，并由虚拟机创建的一个低优先级的Finalizer线程执行。虚拟机并不会等待这个线程运行完毕，主要是为了防止发生死循环，而导致整个内存回收系统崩溃。finalize方法是对象最后一次逃脱被回收的机会，如果重新与引用链上的一个对象建立关联，就将它移除出"即将回收“的集合，如果没有建立起连接，则会被回收。

回收方法区/永久代

在方法区进行垃圾回收的"性价比"比较低，或者说在永久代回收垃圾的效率比较低。

永久代的垃圾收集主要回收：废弃常量和无用的类。回收废弃常量和回收堆中的对象非常相似。比如在常量池中有一个字符串"abc"，但是没有任何地方引用它，内存回收时就会把它回收。常量池中的方法，字段的符号回收与这个也是比较相似的。

判定一个无用的类的条件：1.在java堆中不存在这个类的实例2.加载这个类的classLoader已被回收3.没有任何对象通过反射来引用这个类。虚拟机可以对满足这些条件的类进行回收，但是是否回收可以通过虚拟机参数-Xnoclassgc来设定。需要注意的是，在大量使用反射，动态代理CGLib生成类时，虚拟机都需要具备类卸载的功能。

垃圾收集算法

标记-清除算法

这种算法是通过首先标记出需要被回收的对象，在标记完成之后统一回收。这种算法有两个缺点：效率问题和产生的大量不连续的内存空间，空间碎片太多可能导致程序在运行期间分配较大的对象时不得不提前进行垃圾回收。下图是这种算法的执行过程：

复制算法

复制算法是通过把可用内存每次分为两份，当其中一块的内存用完，就把可以存活的对象复制到另一块内存上，然后把已使用过的内存空间全部清除掉，这样每次回收一半的内存空间，在内存分配时不会产生空间碎片。但是这种算法就是每次都将内存缩小为原来的一半，GC次数较多。复制算法在对象存活率较高的情况下，需要进行较多的复制操作，效率较低。最为关键的是如果不想浪费50%的内存空间，就需要进行额外的空间分配担保，用来应对内存中对象100%存活的现象。下图是复制算法的执行过程：

HotSpot虚拟机的新生代收集采用的回收算法是复制算法，将内存分为一块较大的Eden区和两块较小的Surivor区。默认Eden和Surivor的大小是8:1，也就是说每次新生代可用的内存空间达到90%，只有10%的内存空间会被浪费。但是每次回收不能保证只剩下10%的对象，所以当Survivor空间不够用时，需要依赖老年代进行分配担保。#### 标记-清除算法

标记-整理算法

根据老年代的特点，衍生出标记-整理算法，过程仍与标记-清除一样，但后续步骤是让存活对象向另一端移动，然后清理掉另一端外边的内存。标记-整理算法执行流程如下图：

分代收集算法

分代收集算法是将堆分为年轻代和老年代，这样可以根据每个代的特点选用不同的收集算法。