垃圾回收器与内存分配策略

本文介绍Java中判断对象是否存活的方法。引用计数法虽实现简单,但无法解决循环引用问题,JVM未采用。Java主要用可达性分析算法,通过GC Roots判断对象可达性。还介绍了四种引用类型,以及对象自我拯救机制。此外,提及方法区的垃圾回收,包括废弃常量和无用类的回收。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

4.如何判断对象已"死

4.1 引用计数法

        引用计数描述的算法为: 给对象增加一个引用计数器,每当有一个地方引用它时,计数器就+1;当引用失效时,计数器就-1;任何时刻计数 器为0的对象就是不能再被使用的,即对象已"死"。

引用计数法实现简单,判定效率也比较高,在大部分情况下都是一个不错的算法。比如Python语言就采用引用计数法进行内存管理。

 

但是,在主流的JVM中没有选用引用计数法来管理内存,最主要的原因就是引用计数法无法解决对象的循环引用问

/** *

JVM参数 :-XX:+PrintGC

 * */

public class Test {  

  public Object instance = null;  

  private static int _1MB = 1024 * 1024;  

  private byte[] bigSize = new byte[2 * _1MB];   

 public static void testGC() {       

 Test test1 = new Test();     

   Test test2 = new Test();      

  test1.instance = test2;     

   test2.instance = test1;   

     test1 = test2 = null;        // 强制jvm进行垃圾回收

从结果可以看出,GC日志包含" 6092K->856K(125952K)",意味着虚拟机并没有因为这两个对象互相引用就不回收 他们。即JVM并不使用引用计数法来判断对象是否存活。

 4.2 可达性分析算法

Java采用"可达性分析"来判断对象是否存活(同样 采用此法的还有C#、Lisp-早的一门采用动态内存分配的语言)。

 算法的核心思想为 : 通过一系列称为"GC Roots"的对象作为起始点,从这些节点开始向下搜索,搜索走过的路径 称之为"引用链",当一个对象到GC Roots没有任何的引用链相连时(从GC Roots到这个对象不可达)时,证明此对象 是不可用的。

以下图为例:

对象Object5-Object7之间虽然彼此还有关联,但是它们到GC Roots是不可达的,因此他们会被判定为可回收对象。

在Java语言中,可作为GC Roots的对象包含下面几种:

  1. 虚拟机栈(栈帧中的本地变量表)中引用的对象

    2. 方法区中类静态属性引用的对象

    3. 方法区中常量引用的对象

    4. 本地方法栈中JNI(Native方法)引用的对象

  

 

 

在JDK1.2之后,Java对引用的概念做了扩充

将引用分为强引用(Strong Reference)、软引用(Soft Reference)、弱引用(Weak Reference)和虚引用(Phantom Reference)四种,这四种引用的强度依次递减。

  1. 强引用 : 强引用指的是在程序代码之中普遍存在的,类似于"Object obj = new Object()"这类的引用,只 要强引用还存在,垃圾回收器永远不会回收掉被引用的对象实例。

 2. 软引用 : 软引用是用来描述一些还有用但是不是必须的对象。对于软引用关联着的对象,在系统将要发 生内存溢出之前,会把这些对象列入回收范围之中进行第二次回收。如果这次回收还是没有足够的内 存,才会抛出内存溢出异常。在JDK1.2之后,提供了SoftReference类来实现软引用。

3. 弱引用 : 弱引用也是用来描述非必需对象的。但是它的强度要弱于软引用。被弱引用关联的对象只能生 存到下一次垃圾回收发生之前。当垃圾回收器开始进行工作时,无论当前内容是否够用,都会回收掉只 被弱引用关联的对象。在JDK1.2之后提供了WeakReference类来实现弱引用。

 4. 虚引用 : 虚引用也被称为幽灵引用或者幻影引用,它是弱的一种引用关系。一个对象是否有虚引用的存在,完全不会对其生存时间构成影响,也无法通过虚引用来取得一个对象实例。为一个对象设置虚引 用的唯一目的就是能在这个对象被收集器回收时收到一个系统通知。在JDK1.2之后,提供了 PhantomReference类来实现虚引用。

4.3对象的自我拯救

protected void finalize() throws Throwable { }

 

在可达性分析算法中不可达的对象,也并非“非死不可”,所有不可达的对象处于“缓刑”阶段

   要宣告一个对象的彻底死亡,需要经历两次标记过程: 

  1. 若对象在进行可达性分析之后发现没有与GC Roots相连接的引用链,那它将会被第一次标记并且进行一次筛选,筛选的条件是此对象是否有必要执行finalize()方法。当对象没有覆盖 finalize()方法或者finalize()方法已经被JVM调用过,虚拟机会将这两种情况都视为"没有必要执行",此时的对象才 是真正"死"的对象。
  2.  如果这个对象被判定为有必要执行finalize()方法,那么这个对象将会被放置在一个叫做F-Queue的队列之中,并在 稍后由一个虚拟机自动建立的、低优先级的Finalizer线程去执行它(这里所说的执行指的是虚拟机会触发finalize() 方法)。finalize()方法是对象逃脱死亡的最后一次机会,稍后GC将对F-Queue中的对象进行第二次小规模标记,如 果对象在finalize()中成功拯救自己(只需要重新与引用链上的任何一个对象建立起关联关系即可),那在第二次标记时它将会被移除出"即将回收"的集合;如果对象这时候还是没有逃脱,那基本上它就是真的被回收了。

 4.4 回收方法区

方法区(永久代)的垃圾回收主要收集两部分内容 : 废弃常量和无用的类。

回收废弃常量和回收Java堆中的对象十分类似。以常量池中字面量(直接量)的回收为例,假如一个字符串"abc"已经 进入了常量池中,但是当前系统没有任何一个String对象引用常量池的"abc"常量,也没有在其他地方引用这个字面 量,如果此时发生GC并且有必要的话,这个"abc"常量会被系统清理出常量池。常量池中的其他类(接口)、方法、 字段的符号引用也与此类似。

判定一个类是否是"无用类"则相对复杂很多。类需要同时满足下面三个条件才会被算是"无用的类" :

  1. 该类所有实例都已经被回收(即在Java堆中不存在任何该类的实例)
  2. 加载该类的ClassLoader(类加载器)已经被回收

   3.该类对应的Class对象没有在任何其他地方被引用,无法在任何地方通过反射访问该类的方法

JVM可以对同时满足上述3个条件的无用类进行回收,也仅仅是"可以"而不是必然。在大量使用反射、动态代理等场 景都需要JVM具备类卸载的功能来防止永久代的溢出  

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值