GC简介与对象是否能被回收判断

版权声明:本文为博主原创文章,未经博主允许不得转载。 https://blog.csdn.net/yueloveme/article/details/88363720

大家推荐个靠谱的公众号程序员探索之路,大家一起加油 https://img-blog.csdnimg.cn/20181129224604602.png

GC简介

为何要了解GC策略与原理?

        原因在从obj=null谈谈java的内存泄漏其实已经有所触及,就是因为在平时的工作和研究当中,不可避免的会遇到内存溢出与内存泄露的问题。如果对GC策略与原理不了解的情况下碰到了前面所说的问题,很多时候会让人不知所措。当我们了解了相关知识以后,虽然有时候依然不能很快的解决问题,但可以肯定的是,至少不会出现无计可施的情况。

GC策略解决了哪些问题?

        既然是要进行自动GC,那必然会有相应的策略,而这些策略解决了哪些问题呢,粗略的来说,主要有以下几点。

        1、哪些对象可以被回收。

        2、何时回收这些对象。

        3、采用什么样的方式回收。

GC策略采用的何种算法

        有关上面所提到的三个问题,其实最主要的一个问题就是第一个,也就是哪些对象才是可以回收的。

        有一种比较简单直观的办法,它的效率较高,被称作引用计数算法。但是这个算法有一个致命的缺陷,那就是对于循环引用的对象无法进行回收。想象一下,假设JVM采用这种GC策略,那么程序猿在编写的程序的时候,下面这样的代码就不要指望再出现了。

public class Object {
   Object field = null;
   public static void main(String[] args) {
      Thread thread = new Thread(new Runnable() {
         public void run() {
            Object objectA = new Object();
            Object objectB = new Object();//1
            objectA.field = objectB;
            objectB.field = objectA;//2
            to do something
                  objectA = null;
            objectB = null;//3
         }
      });
      thread.start();
      while (true) ;
   }
}

         这段代码看起来有点刻意为之,但其实在实际编程过程当中,是经常出现的,比如两个一对一关系的数据库对象,各自保持着对方的引用。最后一个无限循环只是为了保持JVM不退出,没什么实际意义。

         对于我们现在使用的GC来说,当thread线程运行结束后,会将objectA和objectB全部作为待回收的对象。而如果我们的GC采用上面所说的引用计数算法,则这两个对象永远不会被回收,即便我们在使用后显示的将对象归为空值也毫无作用。

         这里LZ大致解释一下,在代码中LZ标注了1、2、3三个数字,当第1个地方的语句执行完以后,两个对象的引用计数全部为1。当第2个地方的语句执行完以后,两个对象的引用计数就全部变成了2。当第3个地方的语句执行完以后,也就是将二者全部归为空值以后,二者的引用计数仍然为1。根据引用计数算法的回收规则,引用计数没有归0的时候是不会被回收的。

可达性分析算法(根搜索算法)

         由于引用计数算法的缺陷,所以JVM一般会采用一种新的算法,叫做根搜索算法。它的处理方式就是,设立若干种根对象,当任何一个根对象到某一个对象均不可达时,则认为这个对象是可以被回收的

扫描二维码关注公众号,回复: 5583006 查看本文章

         就拿上图来说发,f和g是相互关联的,但是由于GC roots到这两个对象不可达,所以最终f和g还是会被当做GC的对象,上图若是采用引用计数法,则f和g都不会被回收。

         说到GC roots(GC根),在JAVA语言中,可以当做GC roots的对象有以下几种:

         1、虚拟机栈中的引用的对象。

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

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

         4、本地方法栈中JNI的引用的对象。

         第一和第四种都是指的方法的本地变量表,第二种表达的意思比较清晰,第三种主要指的是声明为final的常量值。

猜你喜欢

转载自blog.csdn.net/yueloveme/article/details/88363720