JVM垃圾回收机制(GC)-编程知识

1.什么是垃圾回收

2.GC对于虚拟机各块的影响

3.垃圾回收具体是怎么展开的

3.1引入计数

3.2可达性分析(JVM使用的就是这种方法)

3.2.1.标记清除

3.2.2.复制算法

3.3.3标记整理

3.3分代回收

1.什么是垃圾回收

在C语言等编程语言中,采用的是动态内存管理,我们使用malloc申请内存,free释放内存,在malloc这种方式申请到的内存是伴随整个进程的生命周期的,这一点对于服务器非常不友好,因为服务器每个请求都去malloc一块内存,如果不去free释放,在内存越来越多的时候,后续内存可能就申请不到了,因为被申请完了. 这就是著名的内存泄漏问题,实际开发中,经常在使用maclloc申请内存后,忘记使用free释放内存了,或者因为某些情况没有执行到free函数.这其实对于开发工作来说很不友好,Java 为了解决这种问题,引入了垃圾回收机制,引入这种机制以后,就不需要手动去释放内存了,程序会自动判定,某个内存是否会继续使用,如果后续不用了,就会被自动释放掉,在Java中释放的就是对象.

2.GC对于虚拟机各块的影响

JVM中有好几块内存,那么GC这种机制对于各个部分有什么影响呢?

1.程序计数器(不需要GC)

2.栈(也不需要GC) 局部变量在代码块执行结束以后自动销毁了栈自己的特点就是这样,所以不需要GC

3.元数据区(方法区)一般都是涉及到类加载,很少涉及到类卸载

4.堆是GC的主要战场(对象的释放)

3.垃圾回收具体是怎么展开的

1.识别出垃圾,判断这个对象后续是否还要继续使用,在Java中使用对象,一定需要通过引用的方式来使用(除了匿名对象)

如果一个对象没有任何引用指向它,就视为是无法被代码使用,就可以视为垃圾了

如:

void func(){Test() = new Test();t.start();
}

此时通过new Test就是是堆上创建了对象,当代码执行到 } 的时候,此后的局部变量就直接被释放掉了,此时如果更进一步的去想,上述 new Test()对象,也就是没有引用指向它了, 此时这个对象没有被这些代码访问到,这个对象就是垃圾了. 如果代码更加复杂一些,这个判断就会更复杂了.

3.1引入计数

这种思想方法,并没有在JVM中使用,但是广泛应用在其它主流语言的垃圾回收机制中,如python php等,即给每个对象分配一个额外的空间,这个空间保存这个对象的引用个数有多少个.

此时的垃圾回收机制,会有专门的扫描线程,去获取到当前每个对象的引用计数情况,发现对象的引用计数为0,说明这个对象就可以释放了(就是垃圾了)

引用计数是一个简单有效的机制,但是有两个关键的问题.

问题1:消耗额外的内存空间,要给每个对象安排一个计数器,即使一个计数器只有两个字节来算,如歌整个程序中的对象数目很多,消耗的额外空间也会非常多,尤其是当这个对象的体积比较小的时候,计数器消耗的空间占比就更大了.

问题2 引用计数可能会产生循环引用的问题,此时引用计数就可能无法正确工作了.

class Test(){Test t;
}
Test a = new Test();
Test b = new Test();a.t = b;b.t = a;a = null;b = null;
//上述的代码出现了问题就是,上述的两个对象 引用计数都不是0.不能被GC挥手,但是这两个对象又无法使用/

3.2可达性分析(JVM使用的就是这种方法)

本质上是以时间换取空间,相比于计数,需要消耗额外的时间去扫描,但是总体来说是可控的.不会产生"循环引用''这种问题,

在写代码的时候,会定义很多的变量.比如,栈上的局部变量.方法区的静态类型的变量/常量池中引用的对象

就可以以这些变量为起点,出发去尝试遍历,所谓的便利就是,会沿着这些变量中持有的引用类型的成员,再进一步的往下进行访问

所有能被访问到的对象自然就不是垃圾了,剩下的遍历一圈也访问不到的对象,自然就是垃圾.

比如有以下代码,我们手动定义一颗二叉树:

class Node{char var ;Node left;Node right;
}
Node bulidTree{
Node a = new Node();
Node b = new Node();
Node c = new Node();
Node d = new Node();
Node e = new Node();
Node f = new Node();
Node g = new Node();
a.left = b;
a.right = c;
b.left = d;
b.right = e;
e.left = g;
c.right = f;
return a;
}

虽然这个代码,只有一个root这样的引用,但是实际上,上述七个节点都是可达的.