JVM 垃圾收集
Java内存运行时区域中,程序计数器、虚拟机栈、本地方法栈的内存分配和回收都具有确定性,而Java堆和方法区只有从运行期间才可以被确定,这部分内存的分配具有动态性,垃圾收集关注的就是这部分内存。
哪些内存应该被回收?
对于Java堆来说,回收内存即回收对象,哪些内存应该被回收可以等价与哪些对象应该被回收。如果对象已经无法通过任何途径被使用,即可判定该对象可被回收。
- 引用计数算法:引用时,计数器+1,引用失效时,计数器-1,当计数器为0时,代表对象未被引用,即对象可被回收。该算法无法解决循环引用问题。主流JVM未使用该算法。
- 可达性分析算法:以“GC Roots”为起点搜索,如果某个对象不可达时,证明此对象可被回收。
Java语言中,可作为GC Roots的有:
- 虚拟机栈中引用的对象。
- 方法区中类静态属性引用的对象。
- 方法去中常量引用的对象。
- 本地方法栈中JNI(Native方法)引用的对象。
JDK 1.2以后,引用分为4中类型:
- 强引用(Strong Reference):一般的引用都是强引用,垃圾收集器不会会收掉被强引用的对象。
- 软引用(Soft Reference):通过
SoftReference
声明,用来描述还有用但并非必须的对象,在发生内存溢出异常前被回收(内存不足时被回收)。- 弱引用(Weak Reference):通过
WeakReference
声明,也是用来描述非必须对象的,在垃圾收集时一定会被回收。- 虚引用(Phantom Reference):通过
PhantomReference
声明,幽灵引用或者幻影引用,无法通过虚引用获取对象实例。设置虚引用的唯一目的是在被回收时收到一个通知。
对象被回收前,还可以通过finalize()
方法拯救。虚拟机回收对象会做两次标记,不可达后做第一次标记,然后判定是否需要执行finalize()
方法,如果需要被执行,会在执行后进行第二次标记。当finalize()
方法中对象将自己挂载在了引用链上,则可逃脱被回收。
对象的
finalize()
方法只会被虚拟机调用一次,也就是可用这种方法拯救自己一次。
方法区(HotSpot的永久代)主要回收两部分内容:废弃常量和无用的类。废弃常量的回收类似于Java堆中的对象,不可达即可被回收。无用的类需要满足三个条件:该类的所有实例都已经被回收、该类的ClassLoader已经被回收、该类对应的Class对象没有被引用。
垃圾收集算法
- 标记-清除(Mark-Sweep)算法 : 首先标记出需要回收的对象,然后统一回收所有被标记的对象。这是最基本的算法,但是它的效率较低,而且会产生大量的内存碎片。
- 复制(Copying)算法:将内存划分为大小相等的凉快,每次只使用其中的一块,当这块内存用完了,就将存货的对象复制到另一块上,然后把这块内存一次清理掉。这种算法免除了内存碎片的问题,但是可用内存变为了原来的一半
现代商业虚拟机都采用复制算法回收新生代,因为新生代中对对象大都是“朝生夕死”的,所以并不需要按照1:1划分内存,而是将内存划分为一块较大的Eden和两块较小的Survivor空间,每次使用Eden和其中一块Survivor。回收时,Eden和Survivor中的对象会被复制到另一块Survivor中,如果Survivor内存不足,需要依赖其他内存(老年代)进行分配担保。
- 标记-整理(Mark-Compact)算法:首先将需要回收的对象标记,然后将所有存活的对象移向一端。
- 分代收集算法(Generational Collection):当代虚拟机的垃圾收集都采用分代收集。根据对象存活周期将内存划分为几块(一般把Java堆划分为新生代和老年代),然后根据各年代的特点采用不同的收集算法。
垃圾收集器
- Serial 收集器:新生代收集器,使用复制算法,单线程运行,垃圾收集时,需要暂停所有用户线程。该收集器重点关注用户线程的暂停时间。
- ParNew 收集器:新生代收集器,使用复制算法,是Serial收集器的多线程版本。
- Parallel Scavenge 收集器:新生代收集器,使用复制算法。与ParNew收集器不同的是,该收集器重点在于尽可能的达到可控制的吞吐量。
- Serial Old 收集器:Serial收集器的老年代版本,使用标记-整理算法。
- Parallel Old 收集器:Paraller Scavenge收集器的老年代版本,使用标记-整理算法。
- CMS 收集器:老年代收集器,使用标记-清除算法,该收集器的运行过程分为四个步骤:初始标记、并发标记、重新标记和并发清除,只有初始标记和重新标记需要短暂的暂停用户线程,所以该收集器对用户线程的影响较小。
- G1 收集器:内存不再物理隔离成新生代和老年代,而是分为多个大小相等的区域(Region)。采用化整为零的思路收集内存。
JVM 内存分配
- 对象优先在Eden分配:当Eden去没有足够空间时,发起一次Minor GC。
- 大对象直接进入老年代。
- 长期存活的对象进入老年代。
- 动态对象年龄判定。Survivor空间中相同年龄的所有对象大小之和大于Survivor空间的一半,年龄大于等于该年龄的对象直接进入老年区。
- 空间分配担保。