深入理解JVM - 垃圾收集器

时间:2020-01-10
本文章向大家介绍深入理解JVM - 垃圾收集器,主要包括深入理解JVM - 垃圾收集器使用实例、应用技巧、基本知识点总结和需要注意事项,具有一定的参考价值,需要的朋友可以参考一下。

垃圾回收主要是要解决3件事情:

  1. 那些内存需要回收?
  2. 如何回收?
  3. 什么时候回收?

那些内存需要回收

在强引用的情况下已经“死”了的对象就需要回收,在非强引用的情况下视情况回收。在java里面,几乎所有的对象实例都是在堆上分配,所以垃圾收集器第一件事情就是要判断堆上的这些实例那些是“死去”的,那些还“活着”。判断对象是否存活主要有两种算法,一种是“引用计数算法”,一种是“可达性分析算法”。

“死去”的标准是:不可能再被任何途径使用的对象。

引用计数算法

给对象中添加一个引用计数器,每当有一个地方引用它时,计数器值就加1;当引用失效时,计数器值就减1;任何时刻计数器为0的对象就是不可能再被使用的。

  • 优点:实现简单, 判断高效。
  • 缺点:当存在相互引用时,很难判断对象是否已经“死了”。

可达性分析算法

通过一系列的称为“GC Roots”的对象作为起始点,从这些节点开始向下搜索,搜索所走过的路径称为引用链(Reference Chain),当一个对象到GC Roots没有任何引用链相连时,则证明此对象是不可用的。如图所示,对象object 5、object 6、object 7虽然互相有关联,但是它们到GC Roots是不可达的,所以它们将会被判定为是可回收的对象。

GC Roots

在Java语言中,可作为GC Roots的对象包括下面几种:

  • 方法区中类静态属性引用的对象;
  • 方法区中常量引用的对象;
  • 虚拟机栈(栈帧中的本地变量表)中引用的对象;
  • 本地方法栈中JNI(即一般说的Native方法)引用的对象;

对象引用类型

  • 强引用:强引用就是指在程序代码之中普遍存在的,类似“Object obj = new Object()”这类的引用,只要强引用还存在,垃圾收集器永远不会回收掉被引用的对象。
  • 软引用:表示对象还有用但并非必需,在系统将要发生内存溢出时回收。
  • 弱引用:也是表示对象还有用但并非必需,只要发生GC,该对象就会被回收。
  • 虚引用:虚引用也称为幽灵引用或者幻影引用。一个对象是否有虚引用的存在,完全不会对其生存时间构成影响,也无法通过虚引用来取得一个对象实例。

Java 4种引用的级别由高到低依次为:强引用 > 软引用 > 弱引用 > 虚引用

引用类型实现方式被垃圾回收时间用途生存时间
强引用 Object obj = new Object() 从来不会 对象的一般状态 JVM停止运行时终止
软引用 SoftReference 出现OOM之前被回收 对象缓存 出现OOM之前
弱引用 WeakReference GC发生时 对象缓存 下一次GC之前
虚引用 PhantomReference GC发生时 在这个对象被收集器回收时收到一个系统通知 下一次GC之前

如何回收

垃圾收集算法

标记-清除算法

“标记-清除”(Mark-Sweep)算法:算法分为“标记”和“清除”两个阶段:

  • 标记:遍历所有的GC Roots,然后将所有GC Roots可达的对象标记为存活的对象。
  • 清除:遍历堆中所有的对象,将没有标记的对象全部清除掉。

  • 优点:高效(我个人觉得标记清除算法是所有垃圾收集算法中最高效的了,不知道为什么大部分资料都说,这个算法效率低,如有知晓原因的请多多指教)
  • 缺点:清除之后会产生大量的内存碎片,空间碎片太多可能会导致以后在程序运行过程中需要分配较大对象时,无法找到足够的连续内存而不得不提前触发另一次垃圾收集动作。

复制算法

将可用内存按容量划分为大小相等的两块,每次只使用其中的一块。当这一块的内存用完了,就将还存活着的对象复制到另外一块上面,然后再把已使用过的内存空间一次清理掉,适用于年轻代。

  • 优点:没有了内存碎片
  • 缺点:浪费内存空间,需要有额外的空间进行分配担保

复制算法适用于每次GC后存活对象很好的情况下,比如HotSpot虚拟机中的新生代,据统计新生代的对象存活率是2%。只不过HotSpot虚拟机并不是将新生代直接对半划分,而是分成了Eden和Survivor区,区域默认比值是Eden:Survivor0:Survivor1=8:1:1,这样划分后新生代浪费空间就只有10%了。当Survivor空间不够用时,需要依赖其他内存(这里指老年代)进行分配担保(Handle Promotion),分配担保会将Minor GC后存活的对象直接放到老年代中。

标记-整理算法

首先标记出所有需要回收的对象,在标记完成后,后续步骤不是直接对可回收对象进行清理,而是让所有存活的对象都向一端移动,然后直接清理掉端边界以外的内存,适用于老年代。

  • 优点:没有了内存碎片,没有浪费内存空间
  • 缺点:每次回收都需要移动对象,需要更新引用

分代收集算法

上面说的三种算法是垃圾回收的基础算法,但是在虚拟机实现的过程中,不可能只使用其中一种算法来完成垃圾收集,所有引入了分代收集的概念。它根据对象存活周期的不同将内存划分为几块不同的区域, 如图:

在新生代中,因为每次Minor GC后,只有少量存活,所以比较适合复制算法。而老年代中因为对象存活率高、没有额外空间对它进行分配担保,所以比较适合“标记—清理”或者“标记—整理”算法。

新生代对象首先在Eden进行分配,当Eden满了过后触发Minor GC,然后将存活的对象放到S0区域,再清空Eden区。当Eden再次满了过后触发Minor GC,然后将存活对象放到S1区域,再清空Eden和S0区,如此循环。当survivor区域不足以放下所有存活对象或者对象分代年龄达到临界值时,会将对象放到老年代中。当老年代满了后,会触发Full GC。

HotSpot的算法实现

枚举根节点

在垃圾收集过程中,枚举根节点会导致所有Java线程停顿(“Stop The World”)。为了能尽量减少对应用影响,我们需要尽量减少Java线程停顿时间。在前面我们列举了那些对象是GC Roots,但是我们怎么能快速找到这些GC Roots呢?因为我们越快找到这些对象,那么Java线程停顿时间就越短。

现在主流Java虚拟机都是用的是准确式GC,所以Java线程停顿下来后,并不需要一个不漏地检查完所有执行上下文和全局的引用位置。比如:虚拟机栈的本地变量表中,我们只需要找到其中的引用对象就行了,而非引用对象是不会成为GC Roots的,如果我们每次GC都需要进行全栈扫描去查找GC Roots,那么将增加Java线程的停顿时间。

在HotSpot中,它使用了一种OopMap的数据结构来存储GC Roots的信息,这样,在枚举根节点的时候,就可以避免全栈扫描了。但是什么时候来记录这些信息呢?

安全点

HotSpot可以快速且准确地完成GC Roots枚举,但是可能导致引用关系变化,或者说OopMap内容变化的指令非常多,如果为每一条指令都生成对应的OopMap,那将会需要大量的额外空间,这样GC的空间成本将会变得很高,所以就有了安全点(Safepoint)。程序只有运行到了安全点才会暂停下来,然后将变化的引用信息记录到OopMap中。

在HotSpot中方法调用、循环跳转、异常跳转等功能才能产生安全点。

当GC发生的时候,需要让所有的线程都到最近的安全点停下来。停顿方案有两种:

  • 抢先式中断:当GC发生的时,中断所有线程,如果线程不在安全点就,恢复线程到安全点上,几乎没有虚拟机采用这种方式。
  • 主动式中断:给线程设置一个中断标志位,线程执行过程中会主动去轮询这个标志位,当发现为中断标志位是true时,挂起当前线程(轮询标志的地方和安全点是重合的)。

安全区域

安全点可以解决正在执行中的线程到底安全点,记录对象引用信息。但是当线程处于Sleep或者Blocked状态的时候,线程无法响应JVM中断请求,所以安全点对这类线程就无效了,这时候就引入了安全区域(Safe Region)。

**安全区域是指在一段代码片段之中,引用关系不会发生变化。在这个区域中的任意地方开始GC都是安全的。**我们也可以把Safe Region看做是被扩展了的Safepoint。

在线程执行到Safe Region中的代码时,首先标识自己已经进入了Safe Region,那样,当在这段时间里JVM要发起GC时,就不用管标识自己为Safe Region状态的线程了。在线程要离开Safe Region时,它要检查系统是否已经完成了根节点枚举(或者是整个GC过程),如果完成了,那线程就继续执行,否则它就必须等待直到收到可以安全离开Safe Region的信号为止。

垃圾收集器

垃圾收集器就是内存回收的具体实现,主要有以下几种,以及组合方式:

Serial / Serial Old收集器

Serial是一个单线程的新生代收集器,采用复制算法。Serial Old是一个单线程的老年代收集器,采用标记-整理算法。

  • 优点:简单高效,没有线程切换带来的开销;
  • 缺点:进行垃圾收集时,必须暂停所有工作线程,直到完成,停顿时间长;多核情况下无法充分使用资源。
  • 使用场景:适合内存不大的情况;单核服务器;

Serial/Serial Old收集器运行示意图:

ParNew收集器

ParNew收集器起始就是Serial收集器的多线程版,是一个新生代收集器,采用复制算法。

  • 优点:多核情况下,效率比Serial收集高
  • 缺点:进行垃圾收集时,必须暂停所有工作线程,直到完成,停顿时间长
  • 使用场景:多核服务器

ParNew/Serial Old收集器运行示意图:

  • 并行(Parallel):指多条垃圾收集线程并行工作,但此时用户线程仍然处于等待状态。
  • 并发(Concurrent):指用户线程与垃圾收集线程同时执行(但不一定是并行的,可能会交替执行),用户程序在继续运行,而垃圾收集程序运行于另一个CPU上。

Parallel Scavenge / Parallel Old收集器

Parallel Scavenge收集器是一个新生代的并行收集器,使用复制算法。Parallel Old收集器是一个老年代的并行收集器,使用标记-整理算法。

  • 优点:吞吐量高,多核情况下能充分利用资源
  • 缺点:进行垃圾收集时,必须暂停所有工作线程,直到完成,停顿时间长
  • 使用场景:追求高吞吐量的服务,如:批处理等后台任务

吞吐量 = 运行用户代码时间 /(运行用户代码时间 +垃圾收集时间)

Parallel Scavenge/Parallel Old收集器运行示意图:

CMS收集器

CMS(Concurrent Mark Sweep)收集器是一种以获取最短回收停顿时间为目标的老年代收集器,使用标记-清除算法。

CMS 收集器运行示意图:

CMS 收集器主要包含4个阶段:

  • 初始标记(CMS initial mark):仅仅只是标记一下GC Roots能直接关联到的对象,速度很快,需要停顿用户线程。
  • 并发标记(CMS concurrent mark):就是进行GC Roots Tracing的过程,不需要停顿用户线程。
  • 重新标记(CMS remark):修正并发标记期间因用户程序继续运作而导致标记产生变动的那一部分对象的标记记录,需要停顿用户线程,停顿时间比初始标记稍长,比并发标记短很多。
  • 并发清除(CMS concurrent sweep):清除垃圾对象。

CMC停顿时间短的原因是:最耗时的并发标记和并发清除都是可以和用户线程一起执行的。

  • 优点:并发收集、低停顿
  • 缺点:内存碎片多;导致应用程序变慢;浮动垃圾问题;
  • 使用场景:适用于用户交互类的服务

内存碎片问题

CMS使用的是标记—清除算法来实现的,所以就存在内存碎片的问题。当空间碎片过多,将会导致无法分配大对象,这时不得不提前触发一次Full GC。

  • -XX:+UseCMSCompactAtFullCollection:在CMS需要进行Full GC的时候,进行内存碎片的整理,这个过程无法并发(需要停顿用户线程),默认是开启。
  • -XX:CMSFullGCsBeforeCompaction:设置执行多好次Full GC后执行碎片整理,默认是0,表示每次都需要整理。

导致应用程序变慢

CMS在并发标记和并发清除阶段是和用户线程一起运行的,这是垃圾回收机制就会占用部分线程(CPU资源)进行垃圾回收,线程数量默认为(CPU数量+3)/ 4,这样就会导致应用程序变慢。

浮动垃圾问题

在并发清除阶段产生的垃圾,只能在下一次GC的时候被回收,这部分垃圾称为浮动垃圾(Floating Garbage)。CMS收集器因为无法处理浮动垃圾,可能会出现“Concurrent ModeFailure”失败,而导致临时启用Serial Old收集器来重新进行一次Full GC,这时停顿时间就很长了。因此CMS不能等到老年代满了才进行回收,需要留一部分空间,提供给在并发收集过程中运行的线程使用。

  • -XX:CMSInitiatingOccupancyFraction:设置老年代预留空间比例,JDK1.5默认68%,JDK1.6以后默认是92%;如果这个值太高很容易导致大量“Concurrent Mode Failure”失败,性能反而降低。

G1收集器

G1(Garbage-First)是一款面向服务端应用的垃圾收集器。同时适用于新生代和老年代,与其他GC收集器相比,G1具备如下特点:

  • 并行与并发:G1 能充分利用多CPU、多核环境下的硬件优势,使用多个CPU来缩短“Stop The World”停顿时间,部分其他收集器原本需要停顿Java线程执行的GC动作,G1收集器仍然可以通过并发的方式让Java程序继续执行。
  • 分代收集:分代概念在G1中依然得以保留。虽然G1可以不需要其他收集器配合就能独立管理整个GC堆,但它能够采用不同方式去处理新创建的对象和已存活一段时间、熬过多次GC的旧对象来获取更好的收集效果。
  • 空间整合:G1从整体来看是基于标记-整理算法实现的收集器,从局部(两个Region之间)上来看是基于复制算法实现的。这意味着G1运行期间不会产生内存空间碎片。此特性有利于程序长时间运行,分配大对象时不会因为无法找到连续内存空间而提前触发下一次GC。
  • 可预测的停顿:这是G1相对CMS的一大优势,G1除了降低停顿外,还能建立可预测的停顿时间模型,能让使用者明确指定在一个长度为M毫秒的时间片段内,消耗在GC上的时间不得超过N毫秒,这几乎已经是实时Java(RTSJ)的垃圾收集器的特征了。

G1堆模型

它将整个Java堆划分为多个大小相等的独立区域(Region),虽然还保留有新生代和老年代的概念,但新生代和老年代不再是物理隔离的了,它们都是一部分Region(不需要连续)的集合。

建立可预测的时间模型

G1跟踪各个Region里面的垃圾堆积的价值大小(回收所获得的空间大小以及回收所需时间的经验值),在后台维护一个优先列表,每次根据允许的收集时间,优先回收价值最大的Region(这也就是Garbage-First名称的来由)。这种使用Region划分内存空间以及有优先级的区域回收方式,保证了G1收集器在有限的时间内可以获取尽可能高的收集效率。

Remembered Set

Remembered Set用来记录跨区域的对象引用(新生代与老年代之间的对象引用)。G1中每个Region都有一个与之对应的Remembered Set,在做YGC的时候,只需使用 年轻代中的region的Remembered Set作为根集,这些Remembered Set记录了old->young的跨代引用,避免了扫描整堆。而Mixed GC的时候,old generation中记录了old->old的Remembered Set,young->old的引用由扫描全部young generation region得到,这样也不用扫描全部old generation region。

Young GC

选定所有年轻代里的Region。通过控制年轻代的region个数,即年轻代内存大小,来控制young GC的时间开销,复制回收算法。

回收前:

回收后:

Mixed GC

回收所有年轻代里的Region,外加根据全局并发标记(global concurrent marking)统计得出收集收益高的若干老年代Region,在用户指定的开销目标范围内尽可能选择收益高的老年代Region。Mixed GC不是full GC,它只能回收部分老年代的Region,如果Mixed GC实在无法跟上程序分配内存的速度,导致老年代填满无法继续进行Mixed GC,就会使用Serial old GC(Full GC)来收集整个GC Heap。

回收前:

回收后:

G1收集器的运行过程

G1收集器的运作大致可划分为以下几个步骤:

  • 初始标记(Initial Marking):完成标记GC ROOTS 直接可达的对象,需要停顿用户线程(STW),耗时很短。
  • 根区域扫描(Root Region Scanning):根区域扫描是从Survior区的对象出发,标记被引用到老年代中的对象,并把它们的字段在压入扫描栈(marking stack)中等到后续扫描,可与用户程序并发执行。
  • 并发标记(Concurrent Marking):从GC Root开始对堆中对象进行可达性分析,找出存活的对象,这阶段耗时较长,可与用户程序并发执行。
  • 重新标记:修正在并发标记期间因用户程序继续运作而导致标记产生变动的那一部分标记记录,虚拟机将这段时间对象变化记录在线程Remembered Set Logs里面,最终标记阶段需要把Remembered Set Logs的数据合并到Remembered Set中,这阶段需要停顿用户线程(STW),但是可并行执行。
  • 独占清理:对Region的回收价值和成本进行排序,根据用户所期望的GC停顿时间来生成回收计划,这阶段需要停顿用户线程(STW)。
  • 并发清理:识别并清理完全空闲的区域,并发进行。

G1相关参数

1 GC相关的其他主要的参数有:

  • -XX:G1HeapRegionSize=n:设置Region大小,并非最终值,取值范围从1M-32M之间,且是2的指数,默认为size =(堆最小值+堆最大值)/ TARGET_REGION_NUMBER(2048) ,然后size取最靠近2的幂次数值, 并将size控制在[1M,32M]之间
  • -XX:MaxGCPauseMillis:设置G1收集过程目标时间,默认值200ms,不是硬性条件
  • -XX:G1NewSizePercent:设置新生代最小值,默认值5%
  • -XX:G1MaxNewSizePercent:设置新生代最大值,默认值60%
  • -XX:ParallelGCThreads:设置STW期间,并行GC线程数
  • -XX:ConcGCThreads=n:设置并发标记阶段,并行执行的线程数
  • -XX:InitiatingHeapOccupancyPercent:设置触发标记周期的 Java 堆占用率阈值。默认值是45%。这里的java堆占比指的是non_young_capacity_bytes,包括old+humongous

ZGC收集器

Z Garbage Collector,即ZGC,是一个可伸缩的、低延迟的垃圾收集器,适用于年轻代和老年代,主要特点如下:

  • 停顿时间不会超过10ms
  • 停顿时间不会随着堆的增大而增大(不管多大的堆都能保持在10ms以下)
  • 可支持几百M,甚至几T的堆大小(最大支持4T)

关键技术:

  1. 有色指针(Colored Pointers)
  2. 加载屏障(Load Barrier)

详细可参考:https://xiaolyuh.blog.csdn.net/article/details/103911166

什么时候回收

总的来说就是内存不足的时候进行垃圾回收。

Minor GC触发条件

当Eden区满时,且老年代的最大可用连续空间大于新生代所有对象的总和或者老年代最大连续空间比历次晋升的平均值大,就进行Minor GC,否则FullGC。

Full GC触发条件

  • 调用System.gc时,系统建议执行Full GC,但是不必然执行,不建议使用
  • 老年代空间不足
  • 方法区(永久代)空间不足
  • 通过Minor GC后进入老年代的平均大小大于老年代的可用内存
  • 由Eden区、From Space区向To Space区复制时,对象大小大于To Space可用内存,则把该对象转存到老年代,且老年代的可用内存小于该对象大小
  • public class LoginInterceptor implements HandlerInterceptor { private Logger logger = LoggerFactory.getLogger(LoginInterceptor.class); @Override public boolean preHandle(HttpServletRequest request, HttpServletResponse response, Object handler) { logger.debug("preHandle method is now running!"); return true; } @Override public void postHandle(HttpServletRequest request, www.letianhuanchao.cn HttpServletResponse response, Object handler, ModelAndView modelAndView) { logger.debug("postHandle method is now running!");www.huizhongdl.cn } @Override public void afterCompletion(HttpServletRequest request, HttpServletResponse response, Object handler, Exception ex) { logger.debug("afterCompletion method is now running!"www.xinyueylzc.cn  );

Mixed GC触发条件(G1)

Mixed GC的触发是由一些参数控制着:

  • G1HeapWastePercent参数:在global concurrent marking结束之后,我们可以知道old gen regions中有多少空间要被回收,在每次YGC之后和再次发生Mixed GC之前,会检查垃圾占比是否达到此参数,只有达到了,下次才会发生Mixed GC。
  • G1MixedGCLiveThresholdPercent:old generation region中的存活对象的占比,只有在此参数之下,才会被选入CSet。
  • G1MixedGCCountTarget:www.lafei6d.cn  一次global concurrent marking之后,最多执行Mixed GC的次数。
  • G1OldCSetRegionThresholdPercent:www.baihuaylezc.cn 一次Mixed GC中能被选入CSet的最多old generation region数量。

总结

收集器

收集器串行、并行or并发新生代/老年代算法适用场景
Serial 串行 新生代 复制算法 单CPU环境下的Client模式
Serial Old 串行 老年代 标记-整理 单CPU环境下的Client模式、CMS的后备预案
ParNew 并行 新生代 复制算法 多CPU环境时在Server模式下与CMS配合
Parallel Scavenge 并行 新生代 复制算法 在后台运算而不需要太多交互的任务
Parallel Old 并行 老年代 标记-整理 在后台运算而不需要太多交互的任务
CMS 并发 老年代 标记-清除 集中在互联网站或B/S系统服务端上的Java应用
G1 并发 both 标记-整理+复制算法 面向服务端应用,将来替换CMS
ZGC 并发 both 有色指针+复制算法 低停顿,高吞吐量

垃圾回收器的重要参数

参数描述
-XX:UseSerialGC 虚拟机运行在Client模式下的默认值,打开此开关后,使用Serial+Serial Old 的收集器组合进行内存回收
-XX:UseParNewGC 打开此开关后,使用 ParNew + Serial Old 的收集器组合进行内存回收
-XX:UseConcMarkSweepGC 打开此开关后,使用 ParNew + CMS + Serial Old 的收集器组合进行内存回收。Serial Old 收集器将作为 CMS 收集器出现 Concurrent Mode Failure 失败后的后备收集器使用
-XX:UseParallelGC 虚拟机运行在 Server 模式下的默认值,打开此开关后,使用 Parallel Scavenge + Serial Old(PS MarkSweep) 的收集器组合进行内存回收
-XX:UseParallelOldGC 打开此开关后,使用 Parallel Scavenge + Parallel Old 的收集器组合进行内存回收
SurvivorRatio 新生代中 Eden 区域与 Survivor 区域的容量比值,默认为8,代表 Eden : Survivor0 : Survivor1 = 8 : 1:1
-XX:PretenureSizeThreshold 直接晋升到老年代的对象大小,设置这个参数后,大于这个参数的对象将直接在老年代分配
-XX:MaxTenuringThreshold 晋升到老年代的对象年龄,每个对象在坚持过一次 Minor GC 之后,年龄就增加1,当超过这个参数值时就进入老年代
-XX:UseAdaptiveSizePolicy 动态调整 Java 堆中各个区域的大小以及进入老年代的年龄
-XX:HandlePromotionFailure 是否允许分配担保失败,即老年代的剩余空间不足以应付新生代的整个 Eden 和 Survivor 区的所有对象都存活的极端情况
-XX:ParallelGCThreads 设置并行GC时进行内存回收的线程数
-XX:GCTimeRatio GC 时间占总时间的比率,默认值为99,即允许 1% 的GC时间,仅在使用 Parallel Scavenge 收集器生效
-XX:MaxGCPauseMillis 设置 GC 的最大停顿时间,仅在使用 Parallel Scavenge 收集器时生效
-XX:CMSInitiatingOccupancyFraction 设置 CMS 收集器在老年代空间被使用多少后触发垃圾收集,默认值为 68%,仅在使用 CMS 收集器时生效
-XX:UseCMSCompactAtFullCollection 设置 CMS 收集器在完成垃圾收集后是否要进行一次内存碎片整理,仅在使用 CMS 收集器时生效
-XX:CMSFullGCsBeforeCompaction 设置 CMS 收集器在进行若干次垃圾收集后再启动一次内存碎片整理,仅在使用 CMS 收集器时生效
-XX:+PrintGCDetails 虚拟机发生垃圾收集行为时打印内存回收日志,并且在进程退出的时候输出当前的内存各区域分配情况

参考

《深入理解JAVA虚拟机》

$flag 上一页 下一页

上一篇:Dubbo 面试18问

下一篇:macos安裝Ruby