程序计数器、虚拟机栈、本地方法栈3个区域随线程而生,随线程而灭。
Java堆和方法区则不同,一个接口中的多个实现类需要的内存可能不一样,一个方法中的多个分支需要的内存也可能不一样,我们只有在程序处于运行期间才能知道会创建哪些对象,这部分内存的分配和回收都是动态的,垃圾回收器所关注的是这部分内存。
1.引用计数算法——主流JVM不使用该算法来管理内存
判断对象是否存活的算法是:
给对象中添加一个引用计数器,每当有一个地方引用它时,计数器值就加1;当引用失效时,计数器值就减1;任何时刻计数器为零的对象就是不可能再被使用的。
主流的Java虚拟机不采用引用计数算法来管理内存,最主要的原因是很难解决对象之间循环引用的问题。
2.可达性分析算法——判断对象是否存活
算法思想就是通过一系列的称为“GC Roots”的对象作为起始点,从这些节点开始向下搜索,搜索所走过的路径称为引用链(Reference Chain),当一个对象到GC Roots没有任何引用链时【用图论的话来讲,就是从GC Roots到这个对象不可达】,则证明此对象是不可用的,所以他们被判定为是可回收的对象。
在Java语言中,可作为GC Roots的对象包括以下几种:
①虚拟机栈(栈帧中的本地变量表)中引用的对象;
②方法区中类静态属性引用的对象;
③方法区中常量引用的对象;
④本地方法栈中JNI(即 Native 方法)引用的对象。
3.生存还是死亡
即使在可达性分析算法中不可达的对象,也并非“非死不可”。这时他们暂时处于“缓刑”阶段,要真正宣告一个对象死亡,至少要经历两次标记过程:如果对象在进行可达性分析后发现没有与GC Roots相连接的引用链,那他将会被第一次标记并进行一次筛选,筛选的条件是次对象是否有必要执行finalize()方法。当对象没有覆盖finalize()方法,或者finalize()方法已经被虚拟机调用过,虚拟机将这两种情况都视为“没有必要执行”。
finalize()方法是对象逃离死亡命运的最后一次机会。
任何一个对象的finalize()方法都只会被系统自动调用一次。
finalize()方法能做的所有工作,使用try-finally或者其他方式都可以做得更好,更及时。
永久代的垃圾收集主要回收两部分内容:废弃常量和无用的类。
判定一个类是否是“无用的类”,需要满足以下3个条件才能算是“无用的类”:
①该类的所有实例都已被回收,也就是Java堆中不存在该类的任何实例;
②加载该类的ClassLoader已经被回收;
③该类对应的 java.lang.Class对象没有在任何地方被引用,无法再任何地方通过反射访问该类的方法。
4.垃圾收集算法
4.1标记-清除算法——Mark-Sweep——最基础
最基础的收集算法,分两个阶段:“标记”和“清除”:
首先标记出所有需要回收的对象,在标记完成后统一回收所有被标记的对象。
该算法的不足:
①效率问题,标记和清除两个过程的效率都不高;
②空间问题,标记清除之后会产生大量的不连续的内存碎片,内存碎片太多可能会
导致以后在程序运行过程中需要分配较大对象时,无法找到足够的连续内存
而不得不提前触发另一次垃圾收集动作。
4.2复制算法
为了解决效率问题,一种称为“复制”Copying的手机算法出现了,
它将可用内存按照容量划分为大小相等的两块,每次只使用其中的一块。
当这块内存用完了,就将还存活着的对象复制到另外一块上面,
然后再把已使用过的内存空间一次清理掉。
每次都对整个半区进行内存回收,内存分配时不必考虑内存碎片等复杂情况,
只要移动堆顶指针,按顺序分配内存即可,实现简单,运行高效。
现在的商业虚拟机都采用复制算法来回收新生代。IBM公司专门研究表明,新生代中的对象98%都是“朝生夕死” 的,不需要按1:1的比例来划分内存空间。
而是将内存分为一块较大的Eden空间和两块较小的Survivor空间,每次使用Eden和其中一块Survivor。当回收时,将Eden和Survivor中还存活着的对象一次性地复制到另外一块Survivor空间上,最后清理掉Eden和用过的Survivor空间。
4.3标记-整理算法
复制收集算法在对象存活率较高时就要进行较多的复制操作,效率将会变低。
标记-整理Mark-Comppact算法,与标记-清除一样,但在后续步骤不是直接对可回收对象进行清理,
而是让所有存活的对象都向一端移动,然后直接清理掉端边界以外的内存。
4.4分代收集算法
一般是把Java堆分为新生代和老年代,这样就可以根据各个年代的特点采用最适当的收集算法。
在新生代,每次垃圾搜集时都发现有大批对象死去,只有少量存活,那么就选用复制算法,
只需要付出少量存活对象的复制成本就可以完成收集。
而老年代中因为对象存活率高、没有额外空间对它进行分配担保,就必须使用标记-清理或标记-整理算法来进行回收。
5、引用
在JDK1.2之后,Java对引用的概念进行了扩充,将引用分为强引用(Strong Reference)、软引用(Soft Reference)、弱引用(Weak Reference)、虚引用(PhantomReference)四种,引用强度依次减弱。
强引用:程序代码中普遍存在的,类似“Object object =new Object()”这类的引用,只要强引用还存在,垃圾收集器永远不会回收掉被引用的对象。
软引用:描述一些有用但非必须的对象。对于软引用关联着的对象,在系统将要发生内存溢出异常之前,将会把这些对象列进回收范围之中进行第二次回收。如果这次回收还没有足够的内存,才会抛出内存溢出异常。
弱引用:描述非必须对象,被弱引用关联着的对象只能生存到下一次垃圾收集发生之前。当垃圾收集器工作时,无论当前内存是否足够,都会回收掉只被弱引用关联的对象。
虚引用:也称幽灵引用或幻影引用,是最弱的一种引用关系。一个对象是否有虚拟引用的存在,完全不会对其生存时间构成影响,也无法通过虚引用来获取一个对象实例。为一个对象设置虚引用关联的唯一目的是:能在这个对象被收集器回收时受到一个系统通知。
6、对象优先在Eden分配
大多数情况下,对象在新生代Eden区中分配。当Eden区没有足够空间进行分配时,虚拟机将发生一次Minor GC。
新生代GC(Minor GC):指发生在新生代的垃圾收集动作,因为Java对象大多都具备朝生夕死的特性,
所以Minor GC非常频繁,一般回收速度也比较快。
老年代(Major GC/Full GC):指发生在老年代的GC,出现了Major GC,经常会伴随至少一次的Minor GC(但非绝对)。
Major GC的速度一般比Minor GC慢10倍。
7、大对象直接进入老年代
所谓大对象是指,需要大量连续内存空间的Java对象,最典型的大对象就是那种很长的字符串和数组。
8、长期存活的对象将进入老年代
虚拟机给每个对象定义了一个对象年龄age计数器。如果对象在Eden出生并经过第一次Minor GC后仍然存活,并且能被Survivor容纳的话,将被移动到Survivor空间中,并且对象年龄设为1.
对象在Survivor中每“熬过”一次Minor GC,年龄就增加1,当他的年龄增加到一定程度(默认15岁),就将会被晋升为老年代中。