Java知识整理3-从JVM说起 (三)垃圾回收与算法

概要:

垃圾回收与算法

Java四种引用类型

GC垃圾收集器

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

1、如何确定垃圾

    1.1、引用计数法

        在Java中,引用和对象是有关联的。如果要操作对象则必须用引用进行操作。因此,可以采用引用计数来判断一个对象是否可以回收。简单说,既一个对象如果没有任何与之关联的引用,则说明对象不太可能被用到,那么这个对象就是可回收对象。

    1.2、可达性分析

        为了解决引用计数法的循环引用问题,Java使用了可达性分析的方法。通过一系列的“GC roots”对象作为起点搜索。如果在“GC roots”和一个对象之间没有可达路径,则称该对象是不可达的(注意,不可达对象不等于可回收对象)。不可达对象变为可回收对象至少要经过两次标记过程。两次标记后仍然是可回收对象,则将被回收。

2、垃圾收集算法

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

        分两阶段,标记和清除。标记阶段标记出所有需要回收的对象,清除阶段回收被标记的对象所占用的空间。


从上图发现,该算法最大的问题是内存碎片化严重,后续可能发生大对象不能找到可利用空间的问题。

    2.2、复制算法(copying)

        为了解决Mark-Sweep算法内存碎片化的缺陷而被提出的算法。按内存容量将内存划分为等大小的两块。每一次使用其中一块,当这一块内存满后将尚存活的对象复制到另一块上去,把已使用的内存清除掉。


这种算法虽然实现简单,内存效率高,不易产生碎片,但是最大的问题是可用内存被压缩到了原本的一半。切存活对象增多的话,Copying算法的效率会大大降低。

    2.3、标记整理算法(Mark-Compact)

    结合以上两个算法。为了避免缺陷而提出。标记阶段和Mark-Sweep算法相同。标记后不是清理对象,而是将存活对象移向内存的一端。然后清除端边界外的对象。


2.4、分代收集算法

    分代收集算法是目前大部分JVM采用的方法,其核心思想是根据对象存活的不同生命周期将内存划分为不同的域。一般情况下将GC堆划分为老年代(Tenured/Old Generation)和新生代(Young Generation)。老年代的特点是每次垃圾回收时只有少量对象需要回收,新生代的特点是每次垃圾回收时都有大量垃圾需要被回收,因此可以根据不同区域选择不同的算法。

    2.4.1、新生代与复制算法

        目前大部分JVM的GC对于新生代采取Copying算法,因为新生代中每次垃圾回收都要回收大量对象,既要复制的操作比较少,但通常并不是按照1:1来划分新生代。一般将新生代划分为一块较大的Eden区域和两个较小的Survivor空间(From Space,To Space),每次使用Eden空间和其中一块Survivor空间,当进行回收时,将两块空间中还存活的对象复制到另外一块Survivor空间中。


    2.4.2、老年代与标记复制算法

        而老年代因为每次只回收少量对象,对象存活率高,没有额外空间对它进行分配担保,因而采用Mark-Compact算法。

        1、Java虚拟机提到过的处于方法区的永久代(Permanet Generation),它用来存储Class类,常量,方法描述等。对永生代回收主要包括废弃常量和无用的类。

        2、对象的内存分配主要在新生代的Eden Space和Survivor Space的From Space(Survivor目前存放对象的那一块),少数情况会直接分配到老年代。

        3、当新生代的Eden Space和From Space空间不足时会发生一次GC,进行GC后,Eden Space和From Space区的存活对象会被移动到To Space,然后Eden Space和From Space进行清理。

        4、如果To Space无法满足存储某个对象,则将这个对象存储到老年代。

        5、在进行GC后,使用的便是Eden Space和To Space了,如此反复循环。

        6、当对象在Survivor区躲过了一次GC后,其年龄就会+1.默认情况下年龄到达15的对象会被移到老年代中。

2.5、分区收集算法

    分区算法则将整个堆空间划分为连续的不同小区间,每个小区间独立使用,独立回收。这样做的好处是可以控制一次回收多少个小区间,根据目标停顿时间,每次合理地回收若干个小空间(而不是整个堆),从而减少一次GC所产生的停顿。

3、Java四种引用类型

    3.1、强引用

        在Java中最常见的就是强引用。把一个对象赋值给一个引用变量,这个引用变量就是一个强引用。当一个对象被强引用变量引用时,它处于可达状态,它是不可能被垃圾回收机制回收的,即使该对象以后永远不会被用到JVM也不会回收。因此强引用是造成Java内存泄漏的主要原因之一。

    3.2、软引用

        软引用需要用SoftReference类来实现,对于只有软引用的对象来说,当系统内存足够时它不会被回收,当系统内存空间不足时它会被回收。软引用通常用在对内存敏感的程序中。

    3.3、弱引用

        弱引用需要用WeakReference类来实现,它比软引用的生命周期更短,对于只有弱引用的对象来说,只要垃圾回收机制一运行,不管JVM的内存空间是否足够,总会回收该对象占用的内存。

    3.4、虚引用

        虚引用需要PhantomReference类来实现,它不能单独使用,必须和引用队列联合使用。虚引用的主要作用是跟踪对象被垃圾回收的状态。

4、GC垃圾收集器

    Java堆内存被划分为新生代和老年代两部分。新生代主要使用复制和标记清除垃圾回收算法;老年代主要使用标记-整理垃圾回收算法,因此Java虚拟机针对新生代和老年代分别提供了多种不同的垃圾回收器,jdk1.6中,sun HotSpot虚拟机的垃圾回收器如下:


    4.1、Serial垃圾收集器(单线程、复制算法)

        Serial(Eng:连续)是最基本的垃圾收集器,使用复制算法,曾经是JDK1.3.1之前新生代唯一的垃圾收集器。Serial是一个单线程的垃圾收集器,它不但只会使用一个CPU或一条线程去完成垃圾收集工作,并且在进行垃圾收集的同时,必须暂停其他所有的工作线程,直到垃圾收集结束。

    4.2、ParNew垃圾收集器(Serial+多线程)

        ParNew(Eng:平行的)垃圾收集器其实是Serial收集器的多线程版本,也使用复制算法,除了使用多线程进行垃圾收集之外,其余的行为和Serial收集器完全一样,ParNew垃圾收集器在垃圾收集过程中同样也要暂停所有其他的工作线程。

        ParNew收集器默认开启和CPU数目相同的线程数,可以通过-XX:ParallelGCThreads参数来限制垃圾收集器的线程数。ParNew虽然是除了多线程外和Serial收集器几乎完全一样,但是ParNew垃圾收集器是很多java虚拟机运行在Server模式下新生代的默认垃圾收集器。

    4.3、Parallel Scavenge收集器(多线程复制算法、高效)

        Parallel Scavenge收集器也是一个新生代垃圾收集器,同样使用复制算法,也是一个线程的垃圾收集器,它重点关注的是程序达到一个可控的吞吐量(Thoughput,CPU用于运行用户代码的时间/CPU总消耗时间,既吞吐量=运行用户代码时间/(运行用户代码时间+垃圾收集时间)),高吞吐量可以最高效地利用CPU时间,尽快地完成程序的运算任务,主要适用于在后台运算而不需要太多交互的任务。自适应调节策略也是Parallel Scavenge收集器与ParNew收集器的一个重要区别。

    4.4、Serial Old收集器(单线程标记整理算法)

        Serial Old是Serial垃圾收集器老年代的版本,它同样是个单线程的收集器,使用标记-整理算法,这个收集器也主要是运行在Client默认的java虚拟机的老年代垃圾收集器。

    在Server模式下,主要两个用途:

    1、在JDK1.5之前版本中与新生代的Parallel Scavenge收集器搭配使用。

    2、作为老年代中使用CMS收集器的后备垃圾收集方案。

    新生代Serial 与老年代 Serial Old搭配垃圾收集过程图:


新生代Parallel Scavenge收集器与ParNew收集器工作原理类似,都是多线程的收集器,都使用的是复制算法,在垃圾收集过程中都需要暂停所有的工作线程。

新生代Parallel Scavenge/ParNew与老年代Serial Old搭配垃圾收集过程图:


    4.5、Parallel Old收集器(多线程标记整理算法)

        Parallel Old收集器是Parallel Scavenge的老年代版本,使用多线程的标记-整理算法,在JDK1.6才开始提供。

        在JDK1.6之前,新生代使用Parallel Scavenge收集器只能搭配老年代的Serial Old收集器,只能保证新生代的吞吐量优先,无法保证整体的吞吐量,Parallel Old正是为了在老年代同样提供吞吐量优先的垃圾收器,如果系统对吞吐量要求比较高,可以优先考虑新生代Parallel Scavenge和老年代Parallel Old收集器搭配策略。

    新生代Parallel Scavenge和老年代Parallel Old收集器搭配运行过程:


    4.6、CMS收集器(多线程标记清除算法)

        Concurrent Mark Sweep(CMS)收集器是一种老年代的垃圾收集器,其最主要目标是获取短垃圾回收停顿时间,和其他老年代使用标记整理算法不同,它使用多线程的标记-清除算法。最短的垃圾收集停顿时间可以交互比较高的程序提高用户体验。

        CMS工作机制相比其他的垃圾收集器来说更复杂,整个过程分为4个阶段:

    4.6.1、初始标记

        只是标记一下GC Roots能直接关联的对象,速度很快,仍然需要暂停所有的工作线程。

    4.6.2、并发标记

        进行GC Roots跟踪的过程,和用户线程一起工作,不需要暂停工作线程。

    4.6.3、重新标记

        为了修正并发标记期间,因用户程序继续运行而导致标记产生变动的那一部分对象的标记记录,仍然需要暂停所有的工作线程。

    4.6.4、并发清除

        清除GC Roots不可达对象,和用户线程一起工作,不需要暂停工作线程。由于耗时最长的并发标记和并发清除过程中,垃圾收集线程可以和用户线程一起并发工作,所以总体上来看CMS收集器的内存回收和用户线程是一起并发地执行。


4.7、G1收集器

    Garbage First垃圾收集器是目前垃圾收集器理论发展的最前沿成果,相比与CMS收集器,G1收集器两个突出的改进是:

        1、基于标记-整理算法,不产生内存碎片。

        2、可以非常精确控制停顿时间,在不牺牲吞吐量前提下,实现低停顿垃圾回收。

    G1收集器避免全区域垃圾收集,它把堆内存划分为大小固定的几个独立区域,并且跟踪这些区域的垃圾收集进度,同时在后台维护一个优先级列表,每次根据所允许的收集时间,优先回收垃圾最多的区域。区域划分和优先级区域回收机制,确保G1收集器可以在有限时间获得最高的垃圾收集效率。

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


猜你喜欢

转载自blog.csdn.net/u013956074/article/details/80936891
今日推荐