学过 JVM 的同学都知道,垃圾回收可以说是 JVM 的一个非常重要的知识点了,在我们讲解垃圾回收算法和垃圾回收器之前, 我们先来讲解有关垃圾回收相关的概念吧 🏃🏃🏃
一、垃圾回收概述
1、什么是垃圾
所谓垃圾回收,那在 JVM 中啥才是垃圾呢?
其实,在 JVM 中垃圾是指在运行程序中没有任何指针指向的对象,这个对象就是需要被回收的垃圾。
如果不及时对内存进行垃圾清理,那么,这些垃圾所占的内存空间会一直保留到应用程序结束,被保留的空间无法被其他对象使用,甚至可能导致内存溢出,也就是常说的 OOM
2、为什么需要GC
既然有垃圾,我们就需要进行回收。对于高级语言来说,一个基本的认知是不进行垃圾回收,内存迟早都会被消耗完,因为不断地进行内存分配而不进行回收,就好像不停地生产生活垃圾而从来不打扫一样。
除了释放没用的对象,垃圾回收也可以清除内存里的记录碎片。碎片整理将占用的堆内存移到堆的一端,一遍 JVM 将整理出的内存分配给新的对象。
随着应用程序所应付的业务越来越庞大、复杂,用户越来越多,没有 GC 就不能保证应用程序的正常进行。而经常造成 STW(我们下面会讲到😛😛😛) 的 GC 又跟不上实际的需求,所以才会不断地尝试对 GC 进行优化。
3、早期的垃圾回收
在早期的 C/C++ 时代,垃圾回收基本上是手工进行的。开发人员可以使用 new 关键字进行内存申请,并使用 delete 关键字进行内存释放。比如以下代码:
MibRridge *pBridge = new cmBaseGroupBridge();
// 如果注册失败,使用Delete释放该对象所占内存区域
if (pBridge -> Register(kDestroy) != NO_ERROR)
delete pBridge;
这种方式可以灵活控制内存释放的时间,但是会给开发人员带来频繁申请和内存释放的管理负担。倘若有一处内存区间由于程序员编码的问题忘记被回收,那么就会产生内存泄露,垃圾对象永远无法被消除,随着系统运行时间的不断增长,垃圾对象所耗内存可能持续上升,直到出现内存溢出并造成应用程序崩溃。
在有了垃圾回收机制后,上述代码块可能变成这样:
MibRridge *pBridge = new cmBaseGroupBridge();
(pBridge -> Register(kDestroy);
现在,除了 Java 外,C#、Python、Ruby 等语言都使用了自动垃圾回收的思想,也是未来发展趋势。可以说,这种自动化的内存分配和垃圾回收的方式已经成为现代开发语言必备的标准。
4、Java 垃圾回收机制
上面讲解了早期的垃圾回收,那么 Java 的垃圾回收机制是啥呢?
Java 垃圾回收机制:
- 自动内存管理,无需开发人员手动参与内存的分配与回收,这样降低内存泄露和内存溢出的风险;加入 Java 中没有垃圾回收器,那么 Java 也会和 C++ 一样,各种悬垂指针,野指针,泄露问题让你头疼不已。
- 自动内存管理机制,将程序员从繁重的内存管理中是否出来,可以更专心地专注于业务开发。
说了这么多,我们应该关心哪些区域的回收呢?
堆和方法区
垃圾回收器可以对年轻代回收,也可以对老年代回收,甚至是全堆和方法区回收,其中,Java 堆是垃圾收集器的工作重点
从次数上讲:频繁收集 Young 区、较少收集 Old 区、基本不动 Perm 区
二、垃圾回收相关概念
1、System.gc()的理解
- 在默认情况下,通过 System.gc() 或者 Runtime.getRuntime().gc() 的调用,会显示触发 Full GC,同时对老年代和新生代进行回收,尝试释放被丢弃对象占用的内存。
- 然而 Syste.gc() 调用附带一个免责声明,无法保证对垃圾收集器的调用。
- JVM 实现这可以通过 System.gc() 调用来决定给 JVM 的 GC 行为。而一般情况下,垃圾回收应该是自动进行的,无需手动触发,否则就太过于麻烦了。在一些特殊情况下,如我们正在编写一个性能基准,我们可以在运行之间调用 System.gc();
public class StstemGCTest {
public static void main(String[] args) {
new SystemGCTest();
System.gc(); // 提醒jvm的垃圾回收执行gc,但是不确定是否马上执行gc
// 与Runtime.getRuntime().gc(); 的作用。
System.runRinalization(); // 强制调用使用引用的对象的finalize()方法。
}
@Overrider
protected void finalize() thows Throwable {
super.finalize();
System.out.println("SystemGCTest 重写了finalize()");
}
}
2、内存溢出与内存泄露
1、内存溢出(OOM)
内存溢出相对于内存泄露来说,尽管更容易被理解,但是同样的,内存泄露出也是引发程序崩溃的罪魁祸首之一。
由于GC一直在发展,所以一般情况下,除非应用程序占用的内存增长速度非常快,造成垃圾回收已经跟不上内存消耗的速度,否则不太容易出现 OOM 的情况。
大多数情况下,GC 会进行各种年龄段的垃圾回收,实在不行了就放大招,来一次独占式的 Full GC 操作,这时候会回收大量的内存,供应用程序继续使用。
Javadoc中对 OutOfMemoryError 的解释是,没有空闲内存,并且垃圾收集器也无法提供更多的内存。
首先说没有空闲内存的情况:说明Java虚拟机的堆内存不够。原因有二:
- java虚拟机的堆内存设置不够。比如:可能存在内存泄露问题,也很有可能就是堆的大小不合理,比如我们要处理比较可观的数据量,但是没有显式指定JVM堆大小或者指定数值偏小。我们可以通过参数
-Xms
、-Xmx
来调整。 - 代码中创建了大量大对象,并且长时间不能被垃圾收集器收集(存在被引用)。对于老版本的 Oracle JDK,因为永久代的大小是非常有限的,并且 JVM 对永久代垃圾回收(如:常量池回收、卸载不再需要的类型)非常不积极,所以当我们不断添加新类型的时候,永久代出现 OutOfMemoryError 字符串缓存占用太多空间,也会导致 OOM 问题。对应的异常信息,会标记出来和永久代相关:“java.lang.OutOfMemoryError:PermGen space”。
随着元数据区的引入,方法区内存已经不再那么窘迫了,所以相应的 OOM 有所改观,出现 OOM,异常信息则变成了:“java.lang.OutOfMemoryError:Metaspace”。直接内存不足,也会导致 OOM。
这里面隐含着一层意思是,在抛出 OutOfMemoryError 之前,通常垃圾收集器会触发,尽其所能去清理出空间。
- 例如:在引用机制分析中,涉及到 JVM 会去尝试回收软引用指向的对象等。
- 在 java.nio.BIts.reserveMemory() 方法中,我们能清除的看到,System.gc() 会被调用,以清理空间。
当然,也不是在任何情况下垃圾收集器都是会触发的
- 比如:我们去分配一个超大对象,类似一个超大数组超过堆的最大值,JVM 可以判断出垃圾收集并不能解决这个问题,所以直接抛出 OutOfMemoryError。
2、内存泄露
也称作“存储渗漏”。严格来说,只有对象不会再被程序用到了,但是 GC 又不能回收它们,才叫内存泄露。
但实际情况很多时候一些不太好的时间(或疏忽)会导致对象的生命周期变得很长甚至导致 OOM,也可以叫做宽泛意义上的”内存泄露“。
尽管内存泄露并不会立刻引起程序崩溃,但是一旦发生内存泄露,程序中的可用内存就会被逐步蚕食,直至耗尽所有内存,最终出现 OutOfMemory 异常,导致程序崩溃。
注意:这里的存储空间并不是指内存物理内存,而是指虚拟机内存大小,这个虚拟机内存大小取决于磁盘交换区设定的大小。
举例:
- 单例模式:单例的生命周期和应用程序是一样长的,所以单例程序中,如果持有对外部对象的引用的话,那么这个外部对象是不能被回收的,则会导致内存泄露的产生。
- 一些提供 close 的资源未关闭导致内存泄露:数据库连接(dartaSource.getConnection()),网络连接(socket)和 io 连接必须手动 close,否则是不能被回收的。
3、Stop The World
Stop-the-World,简称 STW,指的是 GC 事件发生过程中,会产生引用程序的停顿。停顿产生时整个应用程序都会被暂停,没有任何响应,有点像卡死的感觉,这个停顿称为 STW。
- 可达性分析算法中枚举根节点(GC Roots)会导致所有 Java 执行线程停顿。
- 分析工作必须在一个确保一致性的快照进行。
- 一致性指整个分析期间整个执行系统看起来像被冻结在某个时间点上。
- 如果出现分析过程中对象引用关系还在不断变化,则分析结果的准确性无法保证。
被 STW 中断的应用程序线程会在完成 GC 之后恢复,频繁中断会让用户感觉像是网速不快造成电影卡带一样,所有我们需要减少 STW 的发生。
STW 事件和采用哪款 GC 无关,所有的 GC 都有这个事件。
哪怕是 G1 也不能完全避免 Stop-the-world 情况发生,只能说垃圾回收器越来越优秀,回收效率越高,尽可能地缩短了暂停时间。
STW 是 JVM 在后台自动发起和自动完成的。在用户不可见的情况下,把用户正常的工作线程全部停掉。
开发中不要用 System.gc();会导致 Stop-the-world 的发生。
4、垃圾回收的并行与并发
1、并发
操作系统中,是指一个时间段中有几个程序都处于已启动运行到运行完毕之间,且这个程序都是在同一个处理器上运行。
并发并不是真正意义上的“同时进行”,只是 CPU 把一个时间段划分成几个时间片段(时间区间),然后在这几个时间区间之间来回切换,由于 CPU 处理的速度非常快,只要时间间隔处理得当,即可让用户感觉是多个应用程序同时在进行。
2、并行
当系统有一个以上 CPU 时,当一个 CPU 执行一个进程时,另一个 CPU 可以执行另一个程序,两个进程互不抢占 CPU 资源,可以同时进行,我们称之为并行(Parallel)。
其实决定并行的因素不是 CPU 的数量,而是 CPU 的核心数量,比如一个 CPU 多个核也可以并行。
适合科学计算,后台处理等弱交互场景。
3、并发 VS 并行
二者对比:
- 并发:指的是多个事情,在同一时间段内同时发生了。
- 并行:指的是多个事情,在同一时间点上同时发生了。
- 并发的多个任务之间是互相抢占资源的。
- 并行的多个任务之间是不互相抢占资源的。
- 只有在多个 CPU 或者一个 CPU 多核的情况中,才会发生并行。
- 否则,看似同时发生的事情,其实都是并发执行的。
4、垃圾回收的并发与并行
并发和并行,在谈论垃圾收集器的上下文语境中,他们可以解释如下:
并行(Parallel):指多条垃圾收集线程并行工作,但此时用户线程功能仍处于等待状态,如ParNew、parallel Scavenge、Parallel Old
串行(serial)
- 相较于并行的概念,单线程执行。
- 如果内存不够,则程序暂停,启动 JVM 垃圾回收器进行垃圾回收。回收完,再启动程序的线程。
并发(Concurrent):指用户线程与垃圾收集线程同时执行(但不一定是并行的,可能会交替执行),垃圾回收线程在执行时不会停顿用户程序的运行。
- 用户程序在继续运行时,而垃圾收集程序运行在另一个 CPU 上。
- 如:CMS、G1。
5、安全点与安全区域
1、安全点(Safepoint)
程序执行时并非在所有地方都能停顿下来开始 GC,只有在特定的位置才能停顿下来开始 GC,这些位置称为“安全点(Safepoint)”。
Safe Point 的选择很重要,如果太少可能导致 GC 等待的时间太长,如果太频繁可能导致运行时的性能问题。大部分指令的执行时间都非常短暂,通常会根据“是否具有让程序长时间执行的特征”为标准。比如:选择一些执行时间较长的指令作为 Safe Point, 如方法调用、循环跳转和异常跳转等。
如何在 GC 发生时,检查所有线程都跑到最近的安全点停顿下来呢?
- 抢先式中断:(目前没有虚拟机采用了):首先中断所有线程。如果还有线程不在安全点,就恢复线程,让线程跑到安全点。
- 主动式中断:设置一个中断标志,各个线程运行到 Safe Point 的时候主动轮询这个标志,如果中断标志为真,则将自己进行中断挂起。
2、安全区域(Safe Region)
Safepoint 机制保证了程序执行时,在不太长的时间内就会遇到可进入 GC 的 Safepoint。但是,程序“不执行”的时候?例如线程处于 Sleep 状态或 Blocked 状态,这时候线程无法响应 JVM 的中断请求,“走”到安全点去中断挂起,JVM 也不太可能等待线程被唤醒。对于这种情况,就需要安全区域(Safe Region)来解决。
安全区域是指在一段代码片段中,对象的引用关系不会发生变化,在这个区域中的任何位置开始 GC 都是安全的。我们也可以把 Safe Region 看做是被扩展了的 Safepoint。
实际执行时:
- 当线程运行到 Safe Region 的代码时,首先标识已经进入了 Safe Region,如果这段时间内发生 GC,JVM 会忽略标识为 Safe Region 状态的线程。
- 当线程即将离开 Safe Region 时,会检查 JVM 是否已经完成 GC,如果完成了,则继续运行,否则线程必须等待直到收到可以安全离开 Safe Region 的信号为止。
6、再谈引用
我们希望能描述这样一类对象,当内存空间还足够时,则能保存在内存中,如果内存空间在进行垃圾收集后还是很紧张,则可以抛弃这些对象。
强引用、软引用、弱引用、虚引用有什么区别?具体使用场景是什么?
在 JDK1.2 版之后,Java 对引用的概念进行了补充,将引用分为强引用(Strong Reference)、软引用(Soft Reference)、弱引用(Weak Reference)和虚引用(Phantom Reference)4种,这4种引用强度一次逐渐减弱。
除了引用外,其他 3 种引用均可以在 java.lang.ref 包中找到它们的身影。如下图,显示了这 3 种引用类型对应的类,开发人员可以在应用程序中直接使用它们。
Reference 子类中只有终结器引用是包内可见的,其他 3 种引用类型均为 public,可以在应用程序中直接使用。
强引用(StrongReference):最传统的“引用”的定义,是指在程序代码之中普遍存在的引用赋值,即类似 “Object obj = new Object()” 这种引用关系。无论任何情况下,只要强引用关系还在,垃圾收集器就永远不会回收掉被引用的对象。
软引用(SoftReference):在系统将要发生内存溢出之前,将会把这些对象列入回收范围之中进行第二次回收。如果这次回收后还没有足够的内存,才会抛出内存溢出异常。
弱引用(WeakReference):被弱引用关联的对象只能生存到下一次垃圾收集之前。当垃圾收集器工作时,无论内存是否足够,都会回收掉被弱引用关联的对象。
虚引用(PhantomReference):一个对象是否有虚引用存在,完全不会对其生存时间构成任何影响,也无法通过虚引用来获得一个对象的实例。为一个对象设置虚引用关联的唯一目的就是能在这个对象被收集器回收时收到一个系统通知。
1、再谈引用:强引用
在 Java 程序中,最常见的引用类型是强引用(普通系统99%以上都是强引用),也就是我们最常见的普通对象引用,也是默认的引用类型。
当在 Java 语言中使用 New 操作符创建一个新的对象,并将其赋值给一个变量的时候,这个变量就成为指向该对象的一个强引用
强引用的对象是可触及的,垃圾收集器就永远不会回收掉被引用的对象
对于一个普通的对象,如果没有其他的引用关系,只要超过了引用的的作用域或者显式地将相应(强)引用赋值为 null,就是可以当做垃圾被收集了,当前具体回收时机还是要看垃圾收集策略
相对的,软引用、弱引用和虚引用的对象是软可触及、弱可触及和虚可触及的,在一定条件下,都是可以被回收的。所以,强引用是造成Java内存泄露的主要原因之一。
强引用例子:
StringBuffer str = new StringBuffer("Hello, 宇哥");
局部变量 str 指向 StringBuffer 实例所在的堆空间,通过 str 可以操作该实例,那么 str 就是 StringBuffer 实例的强引用。
对应内存结构:
此时,如果再运行一个赋值语句:
StringBuffer str1 = str;
对应的内存结构:
在本例中的两个引用,都是强引用,强引用具备以下特点:
- 强引用可以直接访问目标对象
- 强引用所指向的对象在任何时候都不会被回收,虚拟机宁愿抛出 OOM 异常,也不会回收强引用所指向对象。
- 强引用可能导致内存泄露。
2、再谈引用:软引用
软引用是用来描述一些还有用,但非必须的对象。只被软引用关联着的对象,在系统将要发生内存溢出异常前,会把这些对象列进回收范围之中进行第二次回收,如果这次回收还没有足够的内存,才会抛出内存溢出异常。
软引用通过来实现内存感觉的缓存。比如:高速缓存就有用到软引用。如果还有空闲内存,就可以暂时保留缓存,当内存不足时清理掉,这样就保证了使用缓存的同时,不会耗尽内存。
垃圾回收器在某个时刻决定软件可达的对象的时候,会清理软引用,并可选地把引用存放到一个引用队列(Reference Queue)。
类似弱引用,只不过Java虚拟机会尽量让软引用的存活时间长一些,迫不得已才清理。
在 JDK 1.2 版之后提供了 java.lang.ref.SoftReference 类来实现软引用。
Object obj = new Obj(); //声明强引用
SoftReference<Object> sf = new SoftReference<Object>(obj);
obj = null; // 销毁强引用。
3、再谈引用:弱引用
弱引用也是用来描述那些非必须对象,只被弱引用关联的对象只能生存到下一次垃圾收集发生为止。在系统GC 时,只要发现弱引用,不管系统堆空间使用是否充足,都会回收掉只被弱引用关联的对象。
但是,由于垃圾回收器的线程通常优先级很低,因此,并不一定能很快地发现持有弱引用的对象。在这种情况下,弱引用可以存在较长的时间。
弱引用和软引用一样,在构造弱引用时,也可以指定一个引用对象,当弱引用对象被回收时,就会加入指定的引用队列,通过这个对象可以跟踪对象的回收情况。
软引用、弱引用都非常适合来保存那些可有可无的缓存数据。如果这样做,当系统内存不足时,这些缓存数据会被回收,不会导致内存溢出。而当内存资源充足时,这些缓存数据又可以存在相当长的时间,从而起到加速系统的作用。
在 JDK 1.2 版之后提供了 java.lang.ref.WeakReference 类来实现弱引用。
Object obj = new Object(); // 声明强引用
WeakReference<Object> wr = new WeakReference<Object>(obj);
obj = null; // 销毁强引用
弱引用对象与软引用对象的最大不同就在于,当 GC 在进行回收时,需要通过算法检查是否回收软引用,而对于弱引用对象,GC 总是进行回收。弱引用对象更容易、更快被 GC 回收。
4、再谈引用:虚引用
也称为“幽灵引用”或者“幻影引用”,是所有引用类型中最弱的一个。
一个对象是否存在虚引用的存在,完全不会决定对象的声明周期。如果一个对象仅持有虚引用对象,那么它和没有引用几乎是一样的,随时都可能被垃圾回收器回收。
它不能单独使用,也无法通过虚引用来获取被引用的对象。当试图通过虚引用的 get()方法获取得对象时,总是 null。
为一个对象设置虚引用关联的唯一目的在于跟踪垃圾回收过程。比如:能在这个对象被回收器回收时收到一个系统通知。
虚引用必须和引用队列一起使用。虚引用在创建时必须提供一个引用队列作为参数。当垃圾回收器准备回收一个对象时,如果发现它还有虚引用,就会在回收对象后,将这个虚引用加入引用队列,以通知应用程序对象的回收情况。
由于虚引用可以跟踪对象的回收时间,因此,也可以将一些资源释放操作放置在虚引用中执行和记录。
在 JDK1.2 版之后提供了 PhantomReference 类来实现虚引用。
Object obj = new Object();
ReferenceQueue pgantomQUeue = new ReferenceQueue();
PhantomReference<Object> pf = new PhantomReference<Object>(obj, phantomQueue);
5、再谈引用:终结器引用
它用以实现对象的 finalize() 方法,也可以称为终结器引用。
无需手动编码,其内部配合引用队列使用。
在 GC 时,终结器使用入列。由 Finalizer 线程通过终结器引用找到被引用对象并调用它的 finalize()方法,第二次 GC 时才能回收被引用对象。
巨人的肩膀:
尚硅谷 JVM