垃圾回收与内存分配——总结篇

垃圾回收与内存分配

• 垃圾回收与内存分配
  • 一些基础
  • 垃圾回收算法
  • 垃圾回收器
  • 常见问题

一些基础

• 对象的四种引用类型

  • 强引用，内存不足时报错oom，但不会该类对象
  • 弱引用，当内存不足时才会回收
  • 软引用，无论内存是否充足，在gc都会回收
  • 虚引用，任什么时候候均可以被回收

• 怎么判断对象是否仍在使用？

  • 引用计数法
    每一个对象有一个引用计数属性，当被引用时计数+1，当引用释放时-1。两个对象互相循环使用时会致使对象没法回收
  • 可达性分析——Java默认
    若从GC Roots向下搜索时，走过的路径称为引用链。当对象没有任何引用链时表明已不可用。

• 可做为GC Roots的对象有哪几类？

  • 虚拟机栈中引用的对象
  • 方法区类静态属性引用的对象
  • 方法区常量引用的对象
  • 本地方法中引用的对象

• 方法区回收的必要条件

  主要回收两部份内容：废弃的常量和再也不使用的类型。性价比很低

  • 该类全部实例都已被回收
  • 该类对应的类加载器已被回收（很难）
  • 没法经过反射访问该类（该类对应的java.lang,Class没有被引用）

• 安全点和安全区域

  HotSpot没有为每一条指令生成OopMap，只在“特定位置”记录了这些信息（OopMap可理解成附加信息，对栈内的数据进行说明），这些位置称为安全点，线程在安全点能够被肯定，从而肯定GC Roots信息。

  • 安全点特定位置

    1. 循环的末尾
    2. 方法返回前
    3. 调用方法的Call以后
    4. 抛出异常的位置

  • 安全区域

  安全区域是指一段代码片中，引用关系不会发生变化，在这个区域任何地方 GC 都是安全的，安全区域能够看作是安全点的一个扩展

  • 线程中断的方式
  1. 主动式：不对线程操做，简单的设置一个标记位，线程不断主动轮询这个标志位状态，为真时，线程在最近的安全点挂起
  2. 被动式：系统直接把全部线程中断，如发现有的线程不在安全点时，就恢复执行到最近的安全点（不采用）

• 并发状况下的可达性变更解决算法（G1和cms）

  • 增量空间算法——CMS
    当出现新的引用对象时，则记录下该对象，待扫描结束后再以此为根从新扫描一次
  • 原始快照算法——G1
    当出现删除引用时，将要删除的引用记录下来，待扫描结束后再将该对象为根从新扫描

垃圾回收算法

• 标记-清除算法
  标记须要回收的对象或不须要回收的对象，再统一清除。
  缺点：

  1. 效率不稳定，不管标记仍是清除，效率都会随着对象增多而下降
  2. 内存空间碎片化

• 标记-复制算法
  把内存空间分为两块，每次只使用其中一块，当该块内存不足后，把存活的对象复制到另外一块，再把原空间一次性清除。
  优势：没有内存碎片。
  缺点：内存空间利用率低；当存活对象较多时，效率变低

• 标记-整理算法
  标记完成后，将存活的对象向一端移动，清除边界之外的内容
  优势：内存规整，对象赋值/建立速度快
  缺点：标记、清理效率不高

• 分代收集

  分代收集是将对象按照存活时间进行分代（新生代和老年代），根据不一样区域的特色结合前三种算法进行收集

  • 新生代，每次垃圾收集都有大量对象死去，选用标记-复制算法

    新生代复制算法的改进：许多新生代的对象存活时间较短，不须要按照1:1的比例进行复制算法内存分配，可将内存分为较大的Eden区和两块较小的Survivor，回收时将Eden 和 Survivor 中还存活着的对象一次性地复制到另一块 Survivor 空间上，最后清理掉 Eden 和刚才用过的 Survivor 空间

  • 老年代，对象存活率较高，没有其他区域能够进行分配担保，使用标记-清除、标记-整理算法

垃圾回收器

• 新生代

  • Serial
    串行，标记复制算法。客户端默认新生代收集器
  • ParNew
    并行，标记复制算法；只有ParNew和serial能够配合CMS使用
  • Parallel Scavenge
    并行，标记复制算法；吞吐量优先收集器，可控制吞吐量（用户代码运行时间/总时间）
    1. 最大垃圾收集停顿时间参数[绝对值]
    2. 垃圾回收时间占总时间比率参数[相对值]
    3. 自适应调节空间参数[布尔值]，开启后可自动调节Eden、Survivor区域大小

• 老年代

  • Serial Old
    标记整理算法，主要供客户端模式，若用于服务端：与Parallel Scavenge搭配使用；或者做为CMS发生失败后的与预案
  • Parallel Old
    标记整理算法，Parallel Scavenge的老年版
  • CMS

• CMS

  响应时间优先，标记清除算法。多用于B/S架构的服务端上

  • 四个步骤：
    1. 初始标记：STW，只标记GC Roots直接关联到的对象
    2. 并发标记：与用户线程一块儿遍历整个对象图
    3. 从新标记：STW，修整并发标记期间，因用户线程致使引用变化的部分（增量更新算法实现）
    4. 并发清除：与用户线程并行，清除已死亡的对象
  • 三个缺点：
    1. 对处理器资源敏感，默认启动线程数（处理器核心数+3）/4
    2. 产生浮动垃圾。并发标记和清除阶段会与用户线程一块儿运行，因此须要预留一部分空间供用户线程使用，当空间不足时，会临时启用预案：使用serial old进行标记整理
    3. 标记清除算法致使内存碎片。大对象不够分配时，触发full gc耗时。可设置参数，屡次清楚后，在下一次full gc前进行一次整理

• G1

  面向整个堆空间的Region布局形式，每一个Region均可以扮演Eden、Survivor或老年代空间。容许设定收集停顿时间

  • 四个步骤：
  1. 初始标记：在minor gc阶段只标记gc Roots引用的对象，因此不存在停顿
  2. 并发标记：与用户线程并发执行，标记完成后处理SATB（原始快照算法）记录在并发时有变更的对象
  3. 最终标记：STW（短暂），处理并发结束后仍遗留的少许SATB记录
  4. 筛选回收：STW，对各Region的回收价值与成本进行排序，根据指望停顿时间指定回收计划。将存活对象复制到空闲Region后，清除原Region

常见问题

• finalize() 方法何时被调用？它的目的是什么？
  对象被释放前被垃圾回收器调用，目的是释放该对象所持有的资源（对外内存、长链接等），且该方法只会被调用一次。（不建议使用）
• 为何要有不一样的引用类型？ 因为gc回收时机不可控，且有时候须要适当的控制对象被回收的时机。好比新建 Person类，每次查询信息都须要从新构建实例，对象生命周期太短，引发巨大的消耗。听过软引用和HashMap的结合能够构建高速缓存，提高性能。