Java中将内存的控制交给JVM来实现,方便了JAVA程序猿,当然牺牲了一部分效率,不过总体来看是值得的。那么JVM中是如何设计GC的呢,本文从几个问题入手,然后分析了一下设计思路,如果有理解错误的地方,请批评指正!主要参考了《深入理解JAVA虚拟机》这本书,图是盗来的,图的内容和书上一样。

在JVM的内存模型中,堆内存是JAVA内存区域中最大的一部分,GC主要就是发生在堆中,用来回收那些无用的对象。这样直接就引申出了第一个问题:什么样的对象需要被回收?判断条件是什么?如何判断?

    先谈谈什么对象需要被回收,OK,我们自己想一想,肯定是没用的对象需要被回收,对吧?那么如何判断哪些对象还有用,哪些没用了呢?一个对象被创建,如果被引用了,那这个对象肯定是有用的对吧,如果引用全失效了,那就是没用的对象了,需要被回收。基于这个思想,引用计数法诞生了。
 
  • 引用计数算法:这个非常容易理解,给每个对象添加一个引用计数器,对象每被引用一次,引用计数器就+1,引用失效时就-1。那么判断一个对象是否有用的条件就变成了对这个计数器值得判断了,如果为0,那么被回收,如果为>0,那么保留。但是这种方式会产生一个问题,就是对象之间的循环引用无法被识别,即使这两个对象不能被访问,但是它们之间互相引用着对方,故而计数器肯定>0,那么就不能被回收。JVM中并没有使用引用计数算法,而是使用了根搜索算法。
  • 根搜索算法:这个算法也不难理解,通过条件,选择一系列的对象成为“GC Roots"对象,然后将”GC Roots"对象作为起始点开始向下搜索,搜索所有走过的路径成为“引用链”。在这个引用链上的对象就保留,而如果一个或多个互相引用的对象不在这个引用链上,或者说对象到“GC Roots"不可达,那么这些就是无用的对象,都需要被回收。
 

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

1) 虚拟机栈(栈帧中的本地变量表)中引用的对象

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

3) 方法区中常量引用的对象

4) 本地方法栈中JNI(即一般说的Native方法)引用的对象

既然根搜索算法需要考虑到对象之间的引用,那么就要说一下JAVA中对象的引用类型了:

从JDK1.2之后,Java对引用的概念进行了扩充,将引用分为强引用,软引用,弱引用,虚引用,这四种引用的强度依次减弱

1) 强引用就是指在程序代码之中普遍存在的,类似 “Object obj = new Object()” 这类的引用,只要强引用还存在,垃圾回收器永远不会回收被引用的对象。我们也正是利用这个原理来重现了OOM异常。

2) 软引用(SoftReference类)是用来描述一些还有用但并非需要的对象,对于软引用关联着的对象,在系统将要发生内存异常之前,将会把这些对象列进回收范围之中进行第二次回收,如果这次回收还没有足够的内存,才会抛出内存异常

3) 弱引用(WeakReference类)也是用来描述非必需对象的,被弱引用关联的对象只能生存到下一次GC发生之前,当垃圾收集器工作时,无论当前内存释放足够,都会回收掉只被弱引用关联的对象

4) 虚引用(PhantomReference类)也称为幽灵引用或者幻影引用,它是最弱的一种引用关系,一个对象是否有虚引用的存在,完全不会对其生存时间构成影响,也无法通过虚引用来取得一个对象实例,对一个对象设置虚引用关联的唯一目的就是能在这个对象被收集器回收时收到一个系统通知

那么上述内容看完之后想必都知道了什么样的对象会被GC了吧,那么JVM又是通过什么方式来回收这些内存的呢?下面就需要了解一下垃圾的回收算法了。

  • 标记-清除算法

        试着想一想,如果要你要设计一个算法清除满足收集条件的对象来释放内存的时候你该怎么做呢?最简单的是不是就是把需要回收的对象标记一下,然后直接全部回收就行了?照着这个思路就是”标记-清除算法”的思想了,算法分为“标记”和“清除”两个阶段:首先标记出所有需要回收的对象,在标记完成后统一回收掉所有被标记的对象。想法很简单,实际也就是这么做的。但是呢,这种方式是不是最好的?有什么缺陷?
    想到这里,就需要分析一下了。一个个的标记然后清除,效率高吗?当然不。看看下图的标记-清除算法的示意图,可以发现,标记-清除之后会产生大量的内存碎片,如果碎片太多,当程序运行没有足够连续的内存空间来存放大对象的时候,就会不得不提前触发一次GC。概括来说就是有两个缺点:效率不高;内存碎片可能导致提前发生GC。
    学习算法的童鞋应该都很清楚,效率是很重要的,有时候需要使用空间来换时间提高效率,那么就需要了解一下第二种回收算法了——复制算法。
  • 复制算法
 
    复制算法呢?它的思想就是空间换时间,将内存容量划分成相等的两块,当这一块的内存用完了,就将还存活的内存复制到另一块上,然后再把使用过的内存空间一次性清理干净。这样每次都是对其中的一块的内存进行回收,也就不需要考虑内存碎片等复杂情况了,只需要移动堆顶指针,然后按照顺序分配即可,实现简单,运行高效。但是缺点也很明显:内存变成一半了.......下图就是复制算法的示意图:
    我们知道,在JVM中堆内存的新生代(new )中的对象存活率较低,采用复制算法每次需要复制的对象也不是很多,效率较高,空间换时间值得的。现在的商业虚拟机都是采用复制算法来回收新生代,IBM的专门研究表明:新生代中对象98%是朝生夕死,所以并不需要按照1:1的比例来划分空间来实现复制算法,而是将内存分为一块较大的Eden空间和两块较小的Survivor空间,每次使用Eden空间和其中一个Survivor空间。当发生GC的时候,将Eden空间和Survivor空间中还存活的对象拷贝到另一个没使用的Survivor空间中,然后再清理掉Eden和刚刚使用的Survivor空间。Hotspot虚拟机默认Eden和Survivor的大小比例是8:1,也就是新生代每次可以使用的内存空间是整个新生代的90%,只有10%的空间会被浪费。
 
    OK,通过上述的分析,我们知道了在JVM中对于新生带的垃圾回收使用的复制算法(此时发生的GC成为young gc),效率高,我们也就只牺牲了10%的内存空间,挺不错的。请注意这里提到的young gc,后面会提到full gc。但是虽然IBM研究表明一般情况下有98%的对象是朝生夕死,需要回收的,但是不能保证每次回收的时候对象的存活率都低于10%啊,是不是?一旦超过了10%,那么空闲的survivor空间就不够用了,此时就必须依赖老年代的空间来进行分配担保(就相当于A找B借钱,C替A做担保,保证如果A换不起就自己来还,C就是担保人,映射到内存中老年代所占内存就是担保人)。如果空闲的Survivor空间无法存放上次GC之后的存活对象,那么这些对象就会通过分配担保机制进入老年代。
 
    老年代呢,里面保存的都是生存周期较长的对象(老年代里面的对象都是经过了新生代,然后多次存活下来的对象),而复制算法在应对这种存活率极高的内存区域的对象回收时,需要执行较多的复制操作,效率将会变低。关键的还是如果不想浪费50%的空间,那么就需要分配担保机制(参考新生代的设计),但是并没有额外的空间来担保了。所以对于老年代的特性,有人提出了一种“标记-整理算法”,看到这里肯定就想到了前面提到的“标记-清除算法“了,OK,这两个算法标记的过程都是一样的,就在于”标记-整理算法”不是直接对可回收对象进行清理,而是让所有存活的对象都向一端移动,然后直接清理掉端边界以外的内存,示意图如下图所示。
 
    很明显,这种”标记-整理算法“的效率不高,所以如果老年代发生GC,那么效率也就不高了,并且一旦老年代发生GC,那么发生的必然是Full GC ,Full GC 会同时对老年代和新生代进行GC操作,顺便也会回收一下perm gen中的内存,所以相比较young gc来说很慢,我们在JVM调优的时候需要避免JVM频繁发生full gc。full gc的速度比young gc要慢10倍。
  • 分代收集算法
    通过上述的分析呢,就知道了对于堆中的新生代和老年代会采用不同的垃圾回收算法来回收“死亡”的对象,这种分代回收对象的方法称为“分代收集算法”。这个分代收集算法根据各个年代的特点采用适当的收集算法。在新生代中,每次GC的时候都发现大批的对象死去,只有少量存活,自然选用复制算法;而对于老年代这种存活率高、没有额外担保空间的,就必须使用“标记-清除算法”或者“标记-整理算法“了。
 
    GC设计的理论基础就是这些了,其实原理还是比较容易理解的。GC的具体实现就是垃圾收集器,目前尚没有一个垃圾收集器是完美的,需要配合使用。下面插上一副堆内存划分图。
 
注:本文写的比较片面,如果想更深入了解,推荐这篇博文:http://jbutton.iteye.com/blog/1569746

【4】JVM-GC设计思路分析的更多相关文章

  1. iOS 组件化 —— 路由设计思路分析

    原文 前言 随着用户的需求越来越多,对App的用户体验也变的要求越来越高.为了更好的应对各种需求,开发人员从软件工程的角度,将App架构由原来简单的MVC变成MVVM,VIPER等复杂架构.更换适合业 ...

  2. laravel开发大型电商网站之异常设计思路分析

    令人讨厌的异常 提起异常,大家都很反感,当信心满满的写完一段代码,刷新页面发现上面写着大大的 Exception 是最心烦的时候了.模块给领导演示的时候,如果报了异常,也是最让人崩溃的时候了. 在一般 ...

  3. Sizzle源码分析:一 设计思路

    一.前言 DOM选择器(Sizzle)是jQuery框架中非常重要的一部分,在H5还没有流行起来的时候,jQuery为我们提供了一个简洁,方便,高效的DOM操作模式,成为那个时代的经典.虽然现在Vue ...

  4. 记录一次JVM调优【GC日志的分析】

    首先查看服务器版本默认信息: 修改tomcat/bin/catalina.sh,在最顶端加入JAVA_OPTS="$JAVA_OPTS -XX:+PrintGCDetails -Xloggc ...

  5. TYPESDK手游聚合SDK服务端设计思路与架构之一:应用场景分析

    TYPESDK 服务端设计思路与架构之一:应用场景分析 作为一个渠道SDK统一接入框架,TYPESDK从一开始,所面对的需求场景就是多款游戏,通过一个统一的SDK服务端,能够同时接入几十个甚至几百个各 ...

  6. druid 源码分析与学习(含详细监控设计思路的彩蛋)(转)

    原文路径:http://herman-liu76.iteye.com/blog/2308563  Druid是阿里巴巴公司的数据库连接池工具,昨天突然想学习一下阿里的druid源码,于是下载下来分析了 ...

  7. Backbone设计思路和关键源码分析

    一. Backbone的江湖地位: backbone作为一个老牌js框架为大规模前端开发提供了新的开发思路:前端MVC模式,这个模式也是前端开发演变过程中的一个重要里程碑,也为MVVM和Redux等开 ...

  8. 分享一个CQRS/ES架构中基于写文件的EventStore的设计思路

    最近打算用C#实现一个基于文件的EventStore. 什么是EventStore 关于什么是EventStore,如果还不清楚的朋友可以去了解下CQRS/Event Sourcing这种架构,我博客 ...

  9. 如何避免后台IO高负载造成的长时间JVM GC停顿(转)

    译者著:其实本文的中心意思非常简单,没有耐心的读者建议直接拉到最后看结论部分,有兴趣的读者可以详细阅读一下. 原文发表于Linkedin Engineering,作者 Zhenyun Zhuang是L ...

随机推荐

  1. Webservice超时问题

    Winform客户端调用Webservice 120秒超时.对此问题,针对服务器与客户端分别作了超时设置为300S. 1. 服务器端设置超时 在 web.config 的 system.web 里添加 ...

  2. 菜鸟学SSH(八)——Hibernate对象的三种状态

    前面写了几篇关于SSH的博客,但不是Struts就是Spring,Hibernate还从来没写过呢.说好是SSH的,怎么可以光写那两个,而不写Hibernate呢对吧.今天就先说说Hibernate对 ...

  3. C/C++中的volatile关键字

    volatile提醒编译器它后面所定义的变量随时都有可能改变,因此编译后的程序每次需要存储或读取这个变量的时候,都会直接从变量地址中读取数据. 如果没有volatile关键字,则编译器可能优化读取和存 ...

  4. 查准与召回(Precision & Recall)

    Precision & Recall 先看下面这张图来理解了,后面再具体分析.下面用P代表Precision,R代表Recall 通俗的讲,Precision 就是检索出来的条目中(比如网页) ...

  5. 【DIOCP-DEMO说明】所有演示DEMO的简要说明

    samples目录下面为自带的DEMO 发现有很多朋友不知道如何开始DIOCP,下面是DEMO的简单说明,希望对大家有用 C#\Simple   用C#写的一个简单的回传测试,服务端开启ECHO服务器 ...

  6. SpringBoot启动和停止脚步

    1.start.sh # start.sh 启动项目 #!/bin/sh file="/123/springcloud/admin.jar" if [ -f "$file ...

  7. 【转】解决Lost connection to MySQL server during query错误方法

    初步判断是MySQL可能挂掉了,在系统服务里面查看MySQL的进程并没有停止. 最开始考虑是数据库结构不对,但是我是通过Navicat for MySQL的备份和恢复备份导入数据,应该表结构都在备份文 ...

  8. c++之五谷杂粮---1

    1.  位运算符,如果运算对象是带符号的且它的值为负,那么位运算符如何处理运算对象的“符号位”依赖于机器.此时左移操作可能会改变符号位的值,因此是一种UB. Best Practices: 关于符号位 ...

  9. tf.truncated_normal

    tf.truncated_normal truncated_normal( shape, mean=0.0, stddev=1.0, dtype=tf.float32, seed=None, name ...

  10. zoj 月赛B题(快速判断一个大数是否为素数)

    给出一个64位的大数,如何快速判断其是否为素数 #include<algorithm> #include<cstdio> #include<cstring> #in ...