GC,全称 Garbage Collection,即垃圾回收,是一种自动内存管理的机制。
当程序向操作系统申请的内存不再需要时,垃圾回收主动将其回收并供其他代码进行内存申请时候复用,或者将其归还给操作系统,这种针对内存级别资源的自动回收过程,即为垃圾回收。而负责垃圾回收的程序组件,即为垃圾回收器。
垃圾回收其实一个完美的 “Simplicity is Complicated” 的例子。一方面,程序员受益于 GC,无需操心、也不再需要对内存进行手动的申请和释放操作,GC 在程序运行时自动释放残留的内存。另一方面,GC 对程序员几乎不可见,仅在程序需要进行特殊优化时,通过提供可调控的 API,对 GC 的运行时机、运行开销进行把控的时候才得以现身。
判断一个对象是否存活有两种方法:引用计数法和可达性分析法
引用计数法
所谓引用计数法就是给每一个对象设置一个引用计数器,每当有一个地方引用这个对象时,就将计数器加1,引用失效时,计数器就减1。当一个对象的引用计数器为0时,说明此对象没有被其他对象引用,也就是死对象,将会被GC回收。
缺陷:无法解决循环引用问题,也就是说对象A引用对象B,对象B反过来引用对象A,那么此时A、B对象的引用计数器都不为0,也就造成无法完成垃圾回收,所以主流的虚拟机都没有采用这种算法。
可达性分析法
从一个被称为GC Roots的对象开始往下搜索,如果一个对象到GC Roots没有任何引用链相连时,则说明此对象不可用。
可以作为GC Roots的对象有以下几种:
虚拟机栈中引用的对象
方法区类静态属性引用的对象
方法区常量池引用的对象
方法栈JNI引用的对象
当一个对象不可达GC Roots时,这个对象并不会立马被回收,而是处于一个死缓的阶段,如果要真正的回收需要经历两次标记。如果对象在可达性分析中没有与GC Roots的引用链,那么此时就会被第一次标记并且进行一次筛选,筛选的条件是是否有必要执行finalize()方法。当对象没有覆盖finalize()方法或者已被虚拟机调用过,那么就认为是没有必要的。如果该对象有必要执行finalize()方法,那么这个对象就会放在一个称为F-Queue的队列中,虚拟机会触发一个Finalize()线程去执行,此线程是低优先级的,并且虚拟机不会承诺一直等待它运行完,这是因为如果finalize()方法执行缓慢或者发生了死锁,那么就是造成F-Queue队列一直等待,造成了内存回收系统的崩溃。GC对处于 F-Queue队列中的对象进行第二次标记,这时,该对象将会被移出“即将回收”集合,等待回收。