一、判断对象是否存活的算法:
1、引用计数算法:在对象中添加一个引用计数器, 每当有一个地方引用它时, 计数器值就加一; 当引用失效时, 计数器值就减一; 任何时刻计数器为零的对象就是不可能再被使用的。弊端是无法处理循环引用,造成内存泄漏。Python就使用这种算法,通过手动解除引用来解决循环引用的问题。
2、可达性分析算法:当前程序语言(java,c#)主要使用的方法,这个算法的基本思路就是通过一系列称为“GC Roots”的根对象作为起始节点集, 从这些节点开始, 根据引用关系向下搜索, 搜索过程所走过的路径称为“引用链”(Reference Chain) , 如果某个对象到GC Roots间没有任何引用链相连,或者用图论的话来说就是从GC Roots到这个对象不可达时, 则证明此对象是不可能再被使用的。
GC Root的对象包括:
● 虚拟机栈中引用的对象
○ 比如:各个线程被调用的方法中使用到的参数、局部变量等。
● 本地方法栈内JNI(通常说的本地方法)引用的对象
● 方法区中类静态属性引用的对象
○ 比如:Java类的引用类型静态变量
● 方法区中常量引用的对象
○ 比如:字符串常量池(String Table)里的引用
● 所有被同步锁synchronized持有的对象
● Java虚拟机内部的引用。
○ 基本数据类型对应的Class对象,一些常驻的异常对象(如:NullPointerException、OutOfMemoryError),系统类加载器。
● 反映java虚拟机内部情况的JMXBean、JVMTI中注册的回调、本地代码缓存等。
小技巧:由于Root采用栈方式存放变量和指针,所以如果一个指针,它保存了堆内存里面的对象,但是自己又不存放在堆内存里面,那它就是一个Root。
关于引用:强,软,弱,虚四种引用关系
二、垃圾收集算法
整体分两种引用计数式收集(直接收集)和追踪式收集(间接收集)以下算法均为追踪式算法
1、标记一清除算法(Mark-Sweep)
2、复制算法(copying)
3、标记-压缩算法(Mark-Compact)
4、分代收集算法
5、增量收集算法
6、分区算法