JVM垃圾回收机制和算法详解

女爷i 2023-10-06 21:19 28阅读 0赞

### 如何找到程序里的垃圾 ###

#### 引用计数法 ####

给每个对象添加一个计数器`RC`，当有地方引用该对象时计数器加1，当引用失效时计数器减1。用对象计数器是否为0来判断对象是否可被回收。`缺点`：无法解决循环引用的问题。

![图片][82de70cb83cf3f1a9b728c009140d740.png]

先创建一个字符串，String m = new String("jack");，这时候 "jack" 有一个引用，就是m。然后将m设置为null，这时候 "jack" 的引用次数就等于 0 了，在引用计数算法中，意味着这块内容就需要被回收了。

![图片][3e37411157ac06549ebe8683d9f9688b.png]

引用计数算法是将垃圾回收分摊到整个应用程序的运行当中了，而不是在进行垃圾收集时，要挂起整个应用的运行，直到对堆中所有对象的处理都结束。因此，采用引用计数的垃圾收集不属于严格意义上的Stop-The-World的垃圾收集机制。

看似很美好，但我们知道JVM的垃圾回收就是Stop-The-World的，那是什么原因导致我们`最终放弃`了`引用计数算法`呢？看下面的例子。

public class ReferenceCountingGC {
    
      public Object instance;
    
      public ReferenceCountingGC(String name) {
      }
    
      public static void testGC(){
    
        ReferenceCountingGC a = new ReferenceCountingGC("objA");
        ReferenceCountingGC b = new ReferenceCountingGC("objB");
    
        // a和b互相引用了
        a.instance = b;
        b.instance = a;
    
        a = null;
        b = null;
      }
    }

我们可以看到，最后这2个对象已经不可能再被访问了，但由于他们`相互引用`着对方，导致它们的引用计数永远都不会为0，通过引用计数算法，也就`永远无法通知`GC收集器回收它们。

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

通过`GC ROOT`的对象作为搜索起始点，通过引用向下搜索，所走过的路径称为引用链。通过对象是否有到达引用链的路径来判断对象是否可被回收（可作为GC ROOT的对象：虚拟机栈中引用的对象，方法区中类静态属性引用的对象，方法区中常量引用的对象，本地方法栈中JNI引用的对象）

![图片][6c2fecf26ac6f5aa67672faac928b4b3.png]

通过可达性算法，成功解决了引用计数所无法解决的循环依赖问题，只要你无法与`GC Root`建立直接或间接的连接，系统就会判定你为可回收对象。那这样就引申出了另一个问题，哪些属于`GC Root`。

**「`Java内存区域中可以作为GC ROOT的对象：`」**

虚拟机栈中引用的对象

public class StackLocalParameter {
    
      public StackLocalParameter(String name) {}
    
      public static void testGC() {
        StackLocalParameter s = new StackLocalParameter("localParameter");
        s = null;
      }
    }

> ❝
> 
> 此时的s，即为GC Root，当s置空时，localParameter对象也断掉了与GC Root的引用链，将被回收。
> 
> ❞

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

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

public class MethodAreaStaicProperties {
    
      public static MethodAreaStaicProperties m;
    
      public MethodAreaStaicProperties(String name) {}
    
      public static void testGC(){
        MethodAreaStaicProperties s = new MethodAreaStaicProperties("properties");
        s.m = new MethodAreaStaicProperties("parameter");
        s = null;
      }
    }

> ❝
> 
> 此时的s，即为GC Root，s置为null，经过GC后，s所指向的properties对象由于无法与GC Root建立关系被回收。而m作为类的静态属性，也属于GC Root，parameter 对象依然与GC root建立着连接，所以此时parameter对象并不会被回收。
> 
> ❞

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

方法区中常量引用的对象

public class MethodAreaStaicProperties {
    
      public static final MethodAreaStaicProperties m = MethodAreaStaicProperties("final");
    
      public MethodAreaStaicProperties(String name) {}
    
      public static void testGC() {
        MethodAreaStaicProperties s = new MethodAreaStaicProperties("staticProperties");
        s = null;
      }
    }

> ❝
> 
> m即为方法区中的常量引用，也为GC Root，s置为null后，final对象也不会因没有与GC Root建立联系而被回收。
> 
> ❞

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

本地方法栈中引用的对象

![图片][c4cc65bcfef90c38ef5434a998a13b7e.png]

> ❝
> 
> 任何native接口都会使用某种本地方法栈，实现的本地方法接口是使用C连接模型的话，那么它的本地方法栈就是C栈。当线程调用Java方法时，虚拟机会创建一个新的栈帧并压入Java栈。然而当它调用的是本地方法时，虚拟机会保持Java栈不变，不再在线程的Java栈中压入新的帧，虚拟机只是简单地动态连接并直接调用指定的本地方法。
> 
> ❞

![图片][6aff8ee789332d7d04af31f70449e0e4.png]

### 垃圾回收算法 ###

在确定了哪些垃圾可以被回收后，垃圾收集器要做的事情就是开始进行垃圾回收，但是这里面涉及到一个问题是：如何高效地进行垃圾回收。这里我们讨论几种常见的垃圾收集算法的核心思想。

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

![图片][fc13b5eac036dfc5cbeb54d1e9546c60.png]

`标记清除算法`（Mark-Sweep）是最基础的一种垃圾回收算法，它分为2部分，先把内存区域中的这些对象进行标记，哪些属于可回收标记出来，然后把这些垃圾拎出来清理掉。就像上图一样，清理掉的垃圾就变成未使用的内存区域，等待被再次使用。但它存在一个很大的问题，那就是内存碎片。

上图中等方块的假设是2M，小一些的是1M，大一些的是4M。等我们回收完，内存就会切成了很多段。我们知道开辟内存空间时，需要的是连续的内存区域，这时候我们需要一个2M的内存区域，其中有2个1M是没法用的。这样就导致，其实我们本身还有这么多的内存的，但却用不了。

#### 复制算法 ####

![图片][3005a521a39da5e2d155bab609c6d7ad.png]

`复制算法`（Copying）是在标记清除算法基础上演化而来，解决标记清除算法的内存碎片问题。它将可用内存按容量划分为大小相等的两块，每次只使用其中的一块。当这一块的内存用完了，就将还存活着的对象复制到另外一块上面，然后再把已使用过的内存空间一次清理掉。保证了内存的连续可用，内存分配时也就不用考虑内存碎片等复杂情况。复制算法暴露了另一个问题，例如硬盘本来有500G，但却只能用200G，代价实在太高。

#### 标记-压缩算法 ####

![图片][88d0d0cd902b679f918f7608ee006169.png]

标记-压缩算法标记过程仍然与标记-清除算法一样，但后续步骤不是直接对可回收对象进行清理，而是让所有存活的对象都向一端移动，再清理掉端边界以外的内存区域。

标记压缩算法解决了内存碎片的问题，也规避了复制算法只能利用一半内存区域的弊端。标记压缩算法对内存变动更频繁，需要整理所有存活对象的引用地址，在效率上比复制算法要差很多。一般是把Java堆分为新生代和老年代，这样就可以根据各个年代的特点采用最适当的收集算法。

#### 分代收集算法 ####

分代收集算法分代收集算法严格来说并不是一种思想或理论，而是融合上述3种基础的算法思想，而产生的针对不同情况所采用不同算法的一套组合拳，根据对象存活周期的不同将内存划分为几块。

在新生代中，每次垃圾收集时都发现有大批对象死去，只有少量存活，那就选用复制算法，只需要付出少量存活对象的复制成本就可以完成收集。

在老年代中，因为对象存活率高、没有额外空间对它进行分配担保，就必须使用标记-清理算法或者标记-整理算法来进行回收。

文末福利  
可以加小新老师vx免费获取【Java高清路线图】和【全套学习视频和配套资料】  
![73db11c22b53409caf1d80edd5a1097c.png][]

[82de70cb83cf3f1a9b728c009140d740.png]: https://img-blog.csdnimg.cn/img_convert/82de70cb83cf3f1a9b728c009140d740.png
[3e37411157ac06549ebe8683d9f9688b.png]: https://img-blog.csdnimg.cn/img_convert/3e37411157ac06549ebe8683d9f9688b.png
[6c2fecf26ac6f5aa67672faac928b4b3.png]: https://img-blog.csdnimg.cn/img_convert/6c2fecf26ac6f5aa67672faac928b4b3.png
[c4cc65bcfef90c38ef5434a998a13b7e.png]: https://img-blog.csdnimg.cn/img_convert/c4cc65bcfef90c38ef5434a998a13b7e.png
[6aff8ee789332d7d04af31f70449e0e4.png]: https://img-blog.csdnimg.cn/img_convert/6aff8ee789332d7d04af31f70449e0e4.png
[fc13b5eac036dfc5cbeb54d1e9546c60.png]: https://img-blog.csdnimg.cn/img_convert/fc13b5eac036dfc5cbeb54d1e9546c60.png
[3005a521a39da5e2d155bab609c6d7ad.png]: https://img-blog.csdnimg.cn/img_convert/3005a521a39da5e2d155bab609c6d7ad.png
[88d0d0cd902b679f918f7608ee006169.png]: https://img-blog.csdnimg.cn/img_convert/88d0d0cd902b679f918f7608ee006169.png
[73db11c22b53409caf1d80edd5a1097c.png]: https://img-blog.csdnimg.cn/73db11c22b53409caf1d80edd5a1097c.png