GC和垃圾回收算法

╰+哭是因爲堅強的太久メ 2021-12-05 16:24 354阅读 0赞

有关内存分配和回收关注都是java堆与方法区

# 一、如何判断对象已死 #

## 1.1 引用计数法 ##

给对象增加一个引用计数器，每当有一个地方引用它时，计数器就+1,；当引用失效时，计数器就-1；任何时刻计数器为0的对象就是不能再被使用的，即对象已“死”。

引用计数法实现简单，判定效率也比较高，在大部分情况下都是不错的算法，比如Python语言就采用计数法进行内存管理。

**但是，在主流的JVM只能够没有使用计数法，最主要的原因就是引用计数法无法解决对象的循环引用问题**

## 1.2 可达性分析算法 ##

通过一系列称为“GC Roots”的对象作为起始点，从这些节点开始向下搜索，搜索走过的路径称为“引用链”，当一个对象到GC Roots没有任何引用链相连时（从GC Roots到这个对象不可达）时，证明此对象不可用。如图所示：  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2EyMTUwMTI5NTQ_size_16_color_FFFFFF_t_70]  
对象Object5-Object7之间虽然彼此还有关联，但是它们到GC Roots是不可达的，因此他们会被判定为可回收对象。  
在Java语言中，可作为GC Roots的对象包含下面几种：  
1.虚拟机栈（栈帧中的本地变量表）中引用的对象  
2.方法区中类静态属性引用的对象  
3.方法区中常量引用的对象  
4.本地方法栈中JNI（Native方法）引用的对象

Java引用分为强引用、软引用、弱引用和虚引用

1.  强引用：强引用指的是在程序代码之中借遍存在的，类似于“Object obj=new Object"这类的引用，只要强引用还存在，垃圾回收器永远不会回收掉被引用的对象实例。
2.  软引用：软引用是用来描述还有用但是不是必须的对象。对于软引用关联着的对象，在系统将要发生内存溢出之前，会把这些对象列入回收范围之中进行第二次回收，如果这次回收还是没有足够的内存，才会抛出内存溢出异常，在JDK1.2之后，提供了SoftReference类来实现软引用。
3.  弱引用：弱引用也是用来描述非必需对象的，但是它的强度要弱于软引用，被弱引用关联的对象只能生存到下一次垃圾回收发生之前。当垃圾回收器开始进行工作时，无论当前内容是否够用，都会回收掉只被弱引用关联的对像，在JDK1.2之后提供了WeakReference类来实现弱引用。
4.  虚引用：虚引用也被称为幽灵引用或者幻影引用，它是最弱的一种引用关系。一个对象是否有虚引用的存在，完全不会对其生存时间构成影响，也无法通过虚引用来取得一个对象实例，为一个对象设置虚引用的唯一目的就是能在这个对象被收集器回收时收到一个系统通知，在JDK1.2之后，提供了PhantomReference类来实现虚引用。

**生存还是死亡？**  
即便在可达性分析算法中不可达的对象，也并非“非死不可”的，这时候他们暂时处在“缓刑”阶段。要宣告一个对象  
的真正死亡，至少要经历两次标记过程：如果对象在进行可达性分析之后发现没有与GC Roots相连接的引用链，那它将会被第一次标记并且进行一次筛选，筛选的条件是此对象是否有必要执行finalize(）方法，当对象没有覆盖  
finalize()方法或者finalize()方法已经被\]VM调用过，虚拟机会将这两种情况都视为“没有必要执行”，此时的对象才  
是真正“死”的对象。

如果这个对象被定为有必要执行finalize()方法，那么这个对象将会被放置在一个叫做F-Queue的队列之中，并在稍后由一个虚拟机自动建立的、低优先级的Finalizer线程去执行它（这里所说的执行指的是虚拟机会触发finalize()方法）。finalize()方法是对象逃脱死亡的最后一次机会，稍后GC将对F-Queue中的对象进行第二次小规模标记，如果对象在finalize()中成功拯救自己（只需要重新与引用链上的任何一个对象建立起关联关系即可），那在第二次标记时它将会被移除出“即将回收”的集合；如果对象这时候还是没有逃脱，那基本上它就是真的被回收了。

# 二、回收方法区 #

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

回收废弃常量和回收java堆中的对象十分类似，以常量池中字面量（直接量）的回收为例，假如一个字串"abc“已经进入了常量池中，但是当前系统没有任何一个String对象引用常量池“abc“常量，也没有在其他地方引用这个字面量，如果此时发生GC并且有必要的话，这个"abc“常量会被系统清理出常量池，常量池中的其他类（接口）、方法、字段的符号引用也与此类似。

判定一个类是否是“无用类“则相对复杂很多。类需要同时满足下面三个条件才会被算是“无用的类”：

*  该类所有实例都已经被回收（即在Java堆中不存在任何该类的实例）
 *  加线该类的ClassLoader已经被回收
 *  该类对应的Class对象没有在任何其他地方被引用，无法在任何地方通过反射访问该类的方法

JVM可以对同时满足上述3个条件的无用类进行回收，也仅仅是”可以“而不是必然。在大量使用反射、动态代理等场景都需要JVM具备类卸载的功能来防止永久代的溢出。

# 三、垃圾回收算法 #

## 3.1 标记-清除算法 ##

“标记-清除”算法是最基础的收集算法，算法分为“标记”和“清除”两个阶段：首先标记出所有需要回收的对象，在标记完成后统一回收所有被标记的对象。后续的收集算法都是基于这种思路并对其不足加以改进而已。  
“标记-清除“算法的不足主要有两个：

*  效率问题：标记和清除这两个过程的效率都不高
 *  空间问题：标记清除后会产生大量不连续的内存碎片，空间碎片太多可能会导致以后在程序运行中需要分配较大对象时，无法找到足够连续内存而不得不提前触发另一次垃圾收集。

## 3.2 复制算法（新生代回收算法) ##

“复制”算法是为了解决“标记-清理”的效率问题，它将可用内存按容量划分为大小相等的两块，每次只使用其中的一  
块，当这块内存需要进行垃圾回收时，会将此区域还存活着的对象复制到另一块上面，然后再把已经使用过的内存  
区域一次清理掉，这样做的好处是每次都是对整个半区进行内存回收，内存分配时也就不需要考虑内存碎片等复杂  
们情况，只需要移动堆顶指针，按顾序分配即可。

内存（新生代内存分为一块较大的Eden(伊甸园）空间和两块较小的Survivor（幸存者空间，每次使用Eden和其中一块Survivor（两个Survivor区域一个称为From区，另一个称为To区域），当回收时，将Eden和Survivor中还存活的对象一次性复制到另一块Survivor空间上，最后清理掉Eden和才用过的Survivor空间。

当Survivor空间不够用时，需要依赖其他内存（老年代进行**分配担保**。

HotSpot默认Eden与Survivor的大小比例是8：1，也就是说Eden:Survivor From:Survivor To=8:1:1.所以每次  
新生代可用内存空间为整个新生代容量的90%，而到下的10%用来存放回收后存活的对象。

HotSpot实现的复制算法流程如下:

1.  当Eden区满的时候会触发第一次Minor gc，把还活着的对象拷贝到Survivor From区；当Eden区再次触发Minor gc的时候，会扫描Eden区和From区域对两个区进行垃圾回收经过这次回收后还存活的对象，则直接复制到To区域并将Eden和From区域清空。
2.  当后续Eden又发生Minor gc的时候会对Eden和To区场进行垃圾回收，存活的对象复制到From区域，并将Eden和To区域清空。
3.  部分对象会在From和To区域中复制来复制去，如此交换15次（由JVM参数MaxTenuringThreshold决定这  
    个参数默认是15）.最终如果还是存活就存入到老年代

## 3.3 标记-整理算法（老年代回收算法） ##

复制收集算法在对象存活率较高时会进行比较多的复制操作，效率会变低、因此在老年代一般不能使用复制算法。

针对老年代的特点，提出了一种称之为“标记-整理算法”，标记过程仍与“标记-清除“过程一致，但后续步骤不是直接对可回收对象进行清理，而是让所有存活对象都向一端移动，然后直接清理掉端边界以外的内存。

## 3.4 分代收集算法 ##

当前JVM垃圾收集都采用的是“分代收集（Generational Collection)算法”，这个算法并没有新思想，只是根据对象存活周期的不同将内存划分为几块。

一般是把Java堆分为新生代和老年代。在新生代中，每次垃圾回收都有大批对象死去，只有少量存活，因此我们采用复制算法；而老年代中对象存活率高、没有额外空间对它进行分配担保，就必须采用”标记-清理”或者”标记-整理”算法。

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2EyMTUwMTI5NTQ_size_16_color_FFFFFF_t_70]: /images/20211205/222bbaa5fb384991ab6e83c793363825.png