JVM-GC、垃圾回收算法和finalization机制

笔记均来自于尚硅谷官方视频，为了本人复习使用，无其他目的
尚硅谷官方视频

一、什么是垃圾？

垃圾是指在运行程序中没有任何指针指向的对象，这个对象就是需要被回收的垃圾。通俗讲就是对象使用完，不再继续使用！

二、为什么要进行垃圾回收(GC)

1.释放没用的对象，如果不进行垃圾回收，内存迟早都会被消耗完，而且这些垃圾对象所占的内存空间会一直保留到应用程序结束，被保留的空间无法被其他对象使用，甚至可能导致内存溢出。

2.垃圾回收也可以清除内存里的记录碎片，碎片整理将所占用的堆内存移到堆的一端，以便JVM将整理出的内存分配给新的对象。(最大化合理分配空间)。

3.随着应用程序所应付的业务越来越庞大、复杂，用户越来越多，没有GC就不能保证应用程序的正常进行。而经常造成STW(线程等待) GC又跟不上实际的需求，所以才会不断地尝试对GC进行优化。

三、垃圾回收机制

1.手工进行垃圾回收

早期的C/C+ +使用，开发人员可以使用new关键字进行内存申请，并使用delete关键字进行内存释放。

优点：灵活控制内存释放的时间（使用完就回收）
缺点:给开发人员带来频繁申请和释放内存的管理负担。倘若有一处内存区间由于程序员编码的问题忘记被回收，垃圾对象永远无法被清除，随着系统运行时间的不断增长，垃圾对象所耗内存可能持续上升，直到出现内存溢出并造成应用程序崩溃

2.自动内存管理

优点：无需手动参与内存的分配与回收，这样降低内存泄漏和内存溢出的风险，将程序员从繁重的内存管理中释放出来，可以更专心地搞业务开发

缺点：弱化Java开发人员在程序出现内存溢出时定位问题和解决问题的能力。
此时，需要开发人员特别深入了解JVM的自动内存分配和内存回收原理就显得非常重要，才能够在遇见OutOfMemoryError时，快速地根据错误异常日志定位问题和解决问题。

四、GC的作用区域

按次数上将就是：
➢频繁收集年轻代
➢较少收集老年代
➢基本不动永久代(元空间)
所以Java堆是垃圾收集器的工作重点。

五、垃圾回收算法

垃圾回收分为两个阶段，即标记阶段和清除阶段，而垃圾回收算法就是在标记阶段

1.1标记阶段-----引用计数器算法:Python

(1)原理：对于一个对象A，只要有任何一个对象引用了A，则A的引用计数器就加1;当引用失效时，引用计数器就减1。只要对象A的引用计数器的值为0，即表示对象A不可能再被使用，可进行回收。（有引用+1，引用完-1，0时就回收）

(2)优缺点
优点:
①实现简单，垃圾对象便于辨识；
②判定效率高，回收没有延迟性。

缺点:
①它需要单独的字段存储计数器，这样的做法增加了存储空间的开销。
②每次赋值都需要更新计数器，伴随着加法和减法操作，这增加了时间开销。
③引用计数器有一个严重的问题，即无法处理循环引用的情况。这是一条致命缺陷，所以Java的垃圾回收器中没有使用这类算法。

(3)循环引用


(4)Python使用该算法的原因？可以解决循环引用
➢手动解除:，就是在合适的时机，解除引用关系。
➢使用弱引用weakref，weakref 是Python提供的标准库，旨在解决循环引用。

1.2标记阶段-----可达性分析算法:Java、C#

(1)也叫根搜索算法、追踪性垃圾收集

(2)优点：
①实现简单和执行高效等
②有效地解决在引用计数算法中循环引用的问题，防止内存泄漏的发生

(3)原理：
①以根对象集合(GC Roots) 为起始点，从上至下搜索被根对象集合所连接的目标对象是否可达。（如下图）

②使用可达性分析算法后，内存中的存活对象都会被根对象集合直接或间接连接着，搜索所走过的路径称为引用链。(可理解为箭头)

③如果目标对象没有任何引用链相连，则是不可达的，就意味着该对象己经死亡，可以标记为垃圾对象。（如下图的object5，object6，object7）

④在可达性分析算法中，只有能够被根对象集合直接或者间接连接的对象才是存活对象。（GC roots，object1，object2，object3）

(4)GC Roots:根集合就是一组必须活跃的引用。

①虚拟机栈中引用的对象:各个线程被调用的方法中使用到的参数、局部变量等。

②本地方法栈内本地方法(JNI)引用的对象
③方法区中类静态属性引用的对象:Java类的引用类型静态变量
④方法区中常量引用的对象:字符串常量池(String Table)里的引用
⑤所有被同步锁synchronized持有的对象
⑥Java虚拟机内部的引用。：基本数据类型对应的Class对象，常驻的异常对象，系统类加载器。
⑦反映java虛拟机内部情况的JMXBean、JVMTI中注册的回调、本地代码缓存等。

(5)内存泄漏

该对象不打算使用，但还与根集合之间存在引用链，就是内存泄漏

总结：
由于Root采用栈方式存放变量和指针，所以如果一个指针，它保存了堆内存
里面的对象，但是自己又不存放在堆内存里面，那它就是一个Root 。(可以方便理解为堆外周边的引用，如下图红色区域)

2.1清除阶段-----标记-清除(Mark-Sweep)算法

(1)执行过程

当堆中的有效内存空间(available memory) 被耗尽的时候，就会停止整个程序(也被称为stop the world)，然后进行两项工作，第一项则是标记, 第二项则是清除。
标记: Collector从引 用根节点开始遍历，标记所有被引用的对象。一般是
在对象的Header中记录为可达对象。（非垃圾对象）
清除: Collector对 堆内存从头到尾进行线性的遍历，如果发现某个对象在
其Header中没有标记为可达对象，则将其回收。（未标记的对象为垃圾）

(2)缺点

①效率不算高(两次全遍历，第一次全部空间标记非垃圾，第二次全空间找未标记)
②在进行GC的时候，需要停止整个应用程序（STW），导致用户体验差
③这种方式清理出来的空闲内存是不连续的，产生内存碎片。需要维护一个空闲列表

注意:这里所谓的清除并不是真的置空，而是把需要清除的对象地址保存在空闲
的地址列表里。下次有新对象需要加载时，判断垃圾的位置空间是否够，如果够，就存放。（直接覆盖）

2.2清除阶段-----复制(Copying)算法：新生代

(1)执行过程

将活着的内存空间分为两块，每次只使用其中一块，在垃圾回收时将正在使用的内存中的存活对象复制到未被使用的内存块中，之后清除正在使用的内存块中的所有对象，交换两个内存的角色，最后完成垃圾回收。

(2)优缺点

优点:
①没有标记和清除过程，实现简单，运行高效
②复制过去以后保证空间的连续性，不会出现“碎片”问题。

缺点:
①内存空间分为两份，所能容纳的上限减半。
②对于G1这种分拆成为大量region的GC，复制而不是移动，意味着GC需要维
护region之间对象引用关系（虚拟机栈帧中的对象引用指向对空间中的实例对象指针会变化），不管是内存占用或者时间开销也不小。

(3)适用情况

复制算法如果系统中的垃圾多，复制存活的对象就少，效率才高。（如新生代中的Survivor区（from、 to区））

2.3清除阶段-----标记-压缩或标记-整理(Mark-Compact)算法：老年代

(1)执行过程
标记-清除-整理

第一阶段和标记-清除算法一样，从根节点开始标记所有被引用对象

第二阶段将所有的存活对象压缩到内存的一端，按顺序排放。之后，清理边界外所有的空间。

(2)优缺点

优点:
①消除了标记-清除算法当中，内存区域分散的缺点，我们需要给新对象分配内存时，JVM只需要持有一个内存的起始地址即可。（没有碎片空间）
②消除了复制算法当中，内存减半的高额代价。

缺点:
①从效率上来说，标记-整理算法要低于复制算法。
②移动对象的同时，如果对象被其他对象引用，则还需要调整引用的地址。
③移动过程中，需要全程暂停用户应用程序。即: STW

(3)三种清除算法比较

六、堆空间整体垃圾回收算法

1.分代收集算法

因此为了各区满足各自需求，最大可能发挥每个垃圾回收算法的效果，采用分代收集算法

缺点：如果一次性将所有的垃圾进行处理，需要造成系统长时间的停顿，在垃圾回收过程中，应用软件将处于一种Stop the World（STW）的状态。在Stop the World状态下，应用程序所有的线程都会挂起，暂停一切正常的工作，等待垃圾回收的完成。如果垃圾回收时间过长，应用程序会被挂起很久，将严重影响用户体验或者系统的稳定性

2.增量收集算法

(1)基本思想
如果一次性将所有的垃圾进行处理，需要造成系统长时间的停顿，那么就可以让垃圾收集线程和应用程序线程交替执行。每次，垃圾收集线程只收集一小片区域的内存空间，接着切换到应用程序线程。依次反复，直到垃圾收集完成。

总的来说，增量收集算法的基础仍是传统的标记-清除和复制算法。增量收集算法通过对线程间冲突的妥善处理，允许垃圾收集线程以分阶段的方式完成标记、清理或复制工作。

(2)缺点：

使用这种方式，由于在垃圾回收过程中，间断性地还执行了应用程序代码, 所以能减少系统的停顿时间。但是，因为线程切换和上下文转换的消耗，会使得垃圾回收的总体成本上升，造成系统吞吐量的下降。

3.分区算法

(1)基本思想
在相同条件下，堆空间越大，一次GC时所需要的时间就越长，有关GC产生的停顿也越长。为了更好地控制GC产生的停顿时间，将一块大的内存区 域分割成多个小块，根据目标的停顿时间，每次合理地回收若干个小区间，而不是整个堆空间，从而减少一次GC所产生的停顿。

每一个小区间都独立使用，独立回收。这种算法的好处是可以控制一次回收多少个小区间。

(2)分代算法与分区算法的不同点
分代算法:将按照对象的生命周期长短划分成两个部分
分区算法:将整个堆空间划分成连续的不同小区间region。

七、对象的finalization机制

1.finalize()方法

(1)垃圾回收此对象之前，总会先调用这个对象的finalize()方法。

(2)finalize()方法允许在子类中被重写，用于在对象被回收时进行资源释放，通常在这个方法中进行一些资源释放和清理的工作，比如关闭文件、套接字和数据库连接等。

(3)垃圾回收机制调用某个对象finalize()方法，而不是主动调用。
理由:

①在finalize() 时可能会导致对象复活。

②finalize() 方法的执行时间是没有保障的，它完全由GC线程决定，极端情况下，若不发生GC，则finalize ()方法将没有执行机会。

③一个糟糕的finalize()会严重影响GC的性能。

2.虚拟机中对象的三种状态。

①可触及的:从根节点开始，可以到达这个对象（可达）。
②可复活的:对象的所有引用都被释放，但是对象有可能在finalize()中复活。
③不可触及的:对象的finalize()被调用，没有复活，进入不可触及状态。此时对象不可能被复活，因为finalize()只会被调用一次。(回收)

3.finalization机制具体过程

对象finalization机制，即调用对象的finalize()方法，是在目标垃圾对象需要回收前触发的，判定一个对象是否可回收，至少要经历两次标记过程:

1.如果对象到GC Roots没有引用链，则进行第一次标记。
2.进行筛选，判断此对象是否有必要执行finalize()方法

①如果对象没有重写finalize()方法，或者finalize ()方法已经被虚拟机调用过,该对象被判定为不可触及的。

②如果对象重写了finalize()方法，且还未执行过，那么该对象会被插入到F-Queue队列中，由一个虚拟机自动创建的、低优先级的Finalizer线程触发其finalize()方法执行。

③GC会对F-Queue队列中的对象进行第二次标记。如果该对象在finalize()方法中与引用链上的任何一个对象建立了联系，那么在第二次标记时，目标对象会被移出“即将回收”集合。之后，对象会再次出现没有引用存在的情况，一个对象的finalize方法只会被调用一次，对象会直接变成不可触及的状态，被回收。