深入理解JVM虚拟机总结——垃圾收集器与内存分配策略

目录

一、对象已死吗

二、垃圾收集算法

三、HotSpot的算法实现

四、垃圾收集器

五、内存分配与回收策略


一、对象已死吗

1.引用计数法:给对象添加一个引用计数器,每当一个地方引用就加1,引用失效就减1,为0时即为不可能在被使用。但是在Java主流虚拟机中没有选用引用计数法来管理内存。

缺点:很难解决对象之间互相引用的问题

2.可达性分析算法:通过一系列成为GC Roots的对象作为起始点,从节点开始向下搜索,搜索走过的路径为引用链,当一个对象与GC Roots没有任何引用链相连,则证明此对象不可用。

GCRoots的对象包括:

①虚拟机栈中引用的对象。

②方法区中类静态属性引用的对象。

③方法区中常量引用的对象。

④本地方法栈中JNI引用的对象。

3.引用分类

① 强引用:指在程序代码之中普遍存在的,类似Object obj = new Object();只要强引用还存在,垃圾收集器永远不会回收掉被引用的对象。

② 软引用:用来描述一些还有用但是并非必需的对象。当系统将要发生内存溢出异常之前,会把这些对象列入回收范围内进行二次回收。

③ 弱引用:用来描述非必需对象,强度比软引用更弱,当垃圾收集器工作时,无论当前内存是否足够,都会回收掉被弱引用关联的对象。

④ 虚引用:也成为幽灵引用或者幻影引用,最弱的一种引用关系。被这个引用关联的唯一目的就是在这个对象被收集器回收时会收到一个系统通知。

4.对象的自我拯救:

如果对象在进行可达性分析后发现没有与GC Roots相连接的引用链,那它将会被第一次标记并且进行一次筛选,筛选的条件就是对象有必要执行finalize方法,当对象没有覆盖finalize方法或finalize方法已经被虚拟机调用过,都将是为没有必要执行。如果被判定为有必要执行,则会放入一个F-Queue的队列中,稍后将由虚拟机自动创建的,低优先级的Finalizer线程去执行他。而finalize就是对象逃脱死亡命运的最后一次机会,只要对象在finalize方法中重新与引用链建立连接。但是尽量避免这样使用。

5.回收方法区(永久代)

主要回收:废弃常量和无用的类。

判定无用类条件:

① 该类所有的实例都已经被回收,就是Java堆中不存在该类的任何实例。

② 加载该类的ClassLoader已被回收。

③ 该类对应的java.lang.Class对象没有在任何地方被引用,无法在任何地方通过反射访问该类的方法。

二、垃圾收集算法

1.标记——清除算法(Mark-Sweep)

过程:首先分为两个阶段,首先标记处所有需要回收的对象,在标记完成后统一回收所有被标记的对象。

缺点:①效率问题 ②空间问题,标记清除会产生大量不连续的内存碎片,空间碎片太多,会导致以后分配较大对象,无法找到连续内存不得不触发GC。

2.复制算法

过程:将可用内存按容量划分为大小相等的两块,每次只是用其中的一块,当这一块的内存用完了,就将存活的对象复制到另外一块上面,然后再把已使用过的内存空间一次清理掉,这样使得每次都是对半个区域进行回收。减少了内存碎片。但是相应将内存缩小为原来的一半。

实际:讲内存划分为一块较大的Eden区和两块较小的Survivor区,每次使用Eden和其中一块Survivor,当回收时,将Eden与Survivor中还存活的对象一次性复制到另外一个Survivor空间上,最后清理掉Eden与Survivor,虚拟机默认Eden与Survivor大小比例的8:1。如果另外一块Survivor空间没有足够空间存放上一次新生代收集下来的存活对象时,这些对象将直接通过分配担保机制进入老年代。

3.标记——整理算法

过程:与标记清除算法一样,但是后续步骤不是直接对可回收对象清理,而是让所有存活对象都向一端移动,然后直接清理掉端边界以外的内存。

4.分代收集算法(大部分虚拟机采用的算法)

分为老年代和新生代,新生代使用复制算法,老年代使用标记清理,标记整理算法。

三、HotSpot的算法实现

1.枚举根节点会导致stop the world,为了在分析过程中不出现引用还在变化,因此GC进行时会停顿所有Java执行线程。

当执行系统停顿下来后,并不会一个不漏的去检查执行上下文和全局的引用位置。HotSpot通过一组成为OopMap的数据结构来达到这个目的。

2.安全点:因为HotSpot不会为每一条指令生成OopMap,所以只在特定的位置记录了,这些位置称为安全点。

即程序执行时,并非在所有地方都可以停顿下来GC,只有在到达安全点时才能暂停。

安全点的选定基本上是以“是否具有让程序长时间执行的特征”,长时间执行最明显特征就是指令复用,例如:

方法调用,循环跳转,异常跳转等。

如何让GC发生时所有线程都在安全点上?

①抢先式中断 当GC发生如果发现线程不在安全点上,就恢复线程,让他跑到安全点上。(几乎没有虚拟机使用)

②主动式中断 不直接对线程操作,仅仅简单设置一个标志,各个线程执行时主动轮询这个标志,发现中断标志为真就自己主动挂起,轮询标志的地方和安全点的是重合的。

3.安全区域:指在一段代码片段中,引用关系不会发生变化,在此区域任何地方开始GC都是安全的。

四、垃圾收集器

新生代

1.Serial收集器

特点:单线程收集器,STW,简单高效,对于单CPU,Serial由于没有线程交互的开销,专心做垃圾收集自然可以获得最高的单线程收集效率

2.ParNew收集器

特点:多线程

3.Parallel Scavenge 收集器

特点:目的达到可控制的吞吐量  吞吐量=运行用户代码时间/(运行用户代码时间 + 垃圾收集时间),吞吐量优先级收集器,适合在后台运算不需要太多交互

老年代

1.Serial Old 收集器:单线程,标记整理算法

2.Parallel Old收集器 多线程 标记整理算法

3.CMS收集器 一种以获取最短回收停顿时间为目标的收集器,很大一部分几种在互联网站B/S系统的服务端上,标记清除算法

步骤:

1.初始标记  STW  仅仅关联一下GCRoot能直接关联到的对象,速度很快

2.并发标记  GC Tracing  

3.重新标记 STW  修正并发标记时改变的对象的标记记录

4.并发清除

缺点:

1.CMS收集器对CPU资源非常敏感

2.无法处理浮动垃圾,可能出现Concurrent Mode Failure 失败导致另一次Full GC产生

3.收集结束之后会产生大量空间碎片

G1收集器:

特点:

1.并行与并发,缩短STW时间

2.分代收集

3.空间整合

4.可预测停顿

步骤:

1.初始标记

2.并发标记

3.最终标记

4.筛选回收

五、内存分配与回收策略

1.对象优先在Eden分配

※MinorGC:发生在新生代的GC

MajorGC/FullGC:发生在老年代的GC

2.大对象直接进入老年代

典型大对象:很长的字符串以及数组

3.长期存活的对象将进入老年代

虚拟机给每个对象定义了一个对象年龄Age计数器,当经过第一次Minor GC后仍然存活并且能被Survivor容纳的话,将被移动到Survivor空间,并且对象年龄设为1,在Survivor区每熬过一次Minor GC年龄就+1,当年龄增加到一定程度,就会晋升到老年代

4.动态对象年龄判定

如果在Survivor空间中相同年龄所有对象大小的总和大于Survivor空间的一半,年龄大于或等于该年龄的对象就会直接进入老年代。

5.空间分配担保

 

 

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值