首页 > 编程知识 正文

javajvm垃圾回收原理,jvm垃圾回收策略

时间:2023-05-06 08:54:47 阅读:33195 作者:1272

JVM JVM是Java Virtual Machine(Java虚拟机)的缩写,JVM是计算设备的规范,是一台虚构的计算机,通过在实际计算机上模拟各种计算机功能来实现。 Java虚拟机包含字节码指令集、寄存器集、堆栈、垃圾回收和存储方法域。 JVM屏蔽有关特定操作系统平台的信息,使Java程序只需生成在Java虚拟机上运行的目标代码(字节码),就可以在各种平台上运行而无需修改。JVM在执行字节码时,实际上最终还是把字节码解释成具体平台上的机器指令执行。

1 .概述

“垃圾回收”(Garbage Collection,GC )顾名思义是释放垃圾占用的空间,防止内存泄漏。 有效使用可用内存,清除并回收内存堆栈中已死或已久未使用的对象。

2 .垃圾判断算法2.1 引用计数法

为每个对象添加计数器,如果有引用,则加1;如果引用无效,则减1。 通过对象计数器是否为0来判断对象是否可以回收。 缺点:无法解决循环引用问题。

首先创建字符串。 stringm=newstring('jack ); 此时' jack '中有m这个引用。 然后,如果m设置为null,则“jack”的引用次数为0。 在引用计数算法中,这意味着需要回收此内容。

引用计数算法将垃圾收集分布在整个APP应用程序的运行中,在运行垃圾收集时,它将停止整个APP应用程序的运行,直到堆中的所有对象都处理完毕。 因此,使用引用计数的垃圾收集不属于严格意义上的停止-时间-世界垃圾收集机构。

虽然看起来很棒,但是我知道JVM的垃圾收集是停止- the-world。 那是什么原因使我们最终放弃了引用计数算法呢? 看看下面的例子。

publicclassreferencecountinggc { publicobjectinstance; publicreferencecountinggc (字符串名称) { } public static void testGC ) ) referencecountinggca=newreferencecountinggca ) o bbob a .执行情况=b; b .执行情况=a; a=null; b=null; }最后两个对象不再可访问,但由于它们相互引用对方,因此引用计数决不为0,也不能使用引用计数算法通知GC收集器回收。

2.2 可达性分析算法

将通过GC ROOT的对象作为检索起点,通过参照向下检索,通过的路径称为参照链。 对象是否可重用取决于是否存在指向参照链的路径。 可以用作GC ROOT的对象包括虚拟机堆栈中引用的对象、方法区域中的类静态属性引用的对象、方法区域中的常量引用的对象以及本地方法堆栈中的JNI引用的对象

通过可达性算法,成功解决了引用计数无法解决的循环依赖问题。 除非能直接或间接与GC Root连接,否则系统会将你确定为可重用对象。 这样就出现了另一个问题。 属于GC路线的是什么?

在Java内存区域中可用作GC ROOT的对象:

堆栈中引用的对象

publicclassstacklocalparameter { publicstacklocalparameter (字符串名称) {} public static void testGC ) stacklocalparameter s=}在这种情况下,s是GC根,并且如果s为空,则localParameter对象也断开并回收与GC根的引用链。

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

publicclassmethodareastaicproperties { publicstaticmethodareastaicpropertiesm; publicmethodareastaicproperties publicstaticvoidtestgc { } { methodareastaicpropertiess=newmethodareastaies }

s.m = new MethodAreaStaicProperties("parameter"); s = null; }}

此时的s,即为GC Root,s置为null,经过GC后,s所指向的properties对象由于无法与GC Root建立关系被回收。而m作为类的静态属性,也属于GC Root,parameter 对象依然与GC root建立着连接,所以此时parameter对象并不会被回收。

方法区中常量引用的对象

public class MethodAreaStaicProperties { public static final MethodAreaStaicProperties m = MethodAreaStaicProperties("final"); public MethodAreaStaicProperties(String name) {} public static void testGC() { MethodAreaStaicProperties s = new MethodAreaStaicProperties("staticProperties"); s = null; }}

m即为方法区中的常量引用,也为GC Root,s置为null后,final对象也不会因没有与GC Root建立联系而被回收。

本地方法栈中引用的对象

任何native接口都会使用某种本地方法栈,实现的本地方法接口是使用C连接模型的话,那么它的本地方法栈就是C栈。当线程调用Java方法时,虚拟机会创建一个新的栈帧并压入Java栈。然而当它调用的是本地方法时,虚拟机会保持Java栈不变,不再在线程的Java栈中压入新的帧,虚拟机只是简单地动态连接并直接调用指定的本地方法。

3. 垃圾回收算法

在确定了哪些垃圾可以被回收后,垃圾收集器要做的事情就是开始进行垃圾回收,但是这里面涉及到一个问题是:如何高效地进行垃圾回收。这里我们讨论几种常见的垃圾收集算法的核心思想。

3.1 标记-清除算法

标记清除算法(sfdnm-Sweep)是最基础的一种垃圾回收算法,它分为2部分,先把内存区域中的这些对象进行标记,哪些属于可回收标记出来,然后把这些垃圾拎出来清理掉。就像上图一样,清理掉的垃圾就变成未使用的内存区域,等待被再次使用。但它存在一个很大的问题,那就是内存碎片。

上图中等方块的假设是2M,小一些的是1M,大一些的是4M。等我们回收完,内存就会切成了很多段。我们知道开辟内存空间时,需要的是连续的内存区域,这时候我们需要一个2M的内存区域,其中有2个1M是没法用的。这样就导致,其实我们本身还有这么多的内存的,但却用不了。

3.2 复制算法

复制算法(Copying)是在标记清除算法基础上演化而来,解决标记清除算法的内存碎片问题。它将可用内存按容量划分为大小相等的两块,每次只使用其中的一块。当这一块的内存用完了,就将还存活着的对象复制到另外一块上面,然后再把已使用过的内存空间一次清理掉。保证了内存的连续可用,内存分配时也就不用考虑内存碎片等复杂情况。复制算法暴露了另一个问题,例如硬盘本来有500G,但却只能用200G,代价实在太高。

3.3 标记-整理算法

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

标记整理算法解决了内存碎片的问题,也规避了复制算法只能利用一半内存区域的弊端。标记整理算法对内存变动更频繁,需要整理所有存活对象的引用地址,在效率上比复制算法要差很多。一般是把Java堆分为新生代和老年代,这样就可以根据各个年代的特点采用最适当的收集算法。

3.4 分代收集算法

分代收集算法分代收集算法严格来说并不是一种思想或理论,而是融合上述3种基础的算法思想,而产生的针对不同情况所采用不同算法的一套组合拳,根据对象存活周期的不同将内存划分为几块。

在新生代中,每次垃圾收集时都发现有大批对象死去,只有少量存活,那就选用复制算法,只需要付出少量存活对象的复制成本就可以完成收集。

在老年代中,因为对象存活率高、没有额外空间对它进行分配担保,就必须使用标记-清理算法或者标记-整理算法来进行回收。

4. 内存区域与回收策略

对象的内存分配,往大方向讲,就是在堆上分配(但也可能经过JIT编译后被拆散为标量类型并间接地栈上分配),对象主要分配在新生代的害羞的毛豆区上,如果启动了本地线程分配缓冲,将按线程优先在TLAB上分配。少数情况下也可能会直接分配在老年代中(大对象直接分到老年代),分配的规则并不是百分百固定的,其细节取决于当前使用的是哪一种垃圾收集器组合,还有虚拟机中与内存相关的参数的设置。

4.1 对象优先在害羞的毛豆分配

大多数情况下,对象会在新生代害羞的毛豆区中分配。当害羞的毛豆区没有足够空间进行分配时,虚拟机会发起一次 Minor GC。Minor GC相比Major GC更频繁,回收速度也更快。通过Minor GC之后,害羞的毛豆区中绝大部分对象会被回收,而那些存活对象,将会送到Survivor的From区(若From区空间不够,则直接进入Old区) 。

4.2 Survivor区

Survivor区相当于是害羞的毛豆区和Old区的一个缓冲,类似于我们交通灯中的黄灯。Survivor又分为2个区,一个是From区,一个是To区。每次执行Minor GC,会将害羞的毛豆区中存活的对象放到Survivor的From区,而在From区中,仍存活的对象会根据他们的年龄值来决定去向。(From Survivor和To Survivor的逻辑关系会发生颠倒: From变To , To变From,目的是保证有连续的空间存放对方,避免碎片化的发生)

4.2.1 Survivor区存在的意义

如果没有Survivor区,害羞的毛豆区每进行一次Minor GC,存活的对象就会被送到老年代,老年代很快就会被填满。而有很多对象虽然一次Minor GC没有消灭,但其实也并不会蹦跶多久,或许第二次,第三次就需要被清除。这时候移入老年区,很明显不是一个明智的决定。所以,Survivor的存在意义就是减少被送到老年代的对象,进而减少Major GC的发生。Survivor的预筛选保证,只有经历16次Minor GC还能在新生代中存活的对象,才会被送到老年代。

4.3 大对象直接进入老年代

所谓大对象是指,需要大量连续内存空间的Java对象,最典型的大对象就是那种很长的字符串以及数组。大对象对虚拟机的内存分配来说就是一个坏消息,经常出现大对象容易导致内存还有不少空间时就提前触发垃圾收集以获取足够的连续空间来 “安置” 它们。

虚拟机提供了一个XX:PretenureSizeThreshold参数,令大于这个设置值的对象直接在老年代分配,这样做的目的是避免在害羞的毛豆区及两个Survivor区之间发生大量的内存复制(新生代采用的是复制算法)。

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

虚拟机给每个对象定义了一个对象年龄(Age)计数器,如果对象在害羞的毛豆出生并经过第一次Minor GC后仍然存活,并且能被Survivor容纳的话,将被移动到Survivor空间中(正常情况下对象会不断地在Survivor的From与To区之间移动),并且对象年龄设为1。对象在Survivor区中每经历一次Minor GC,年龄就增加1岁,当它的年龄增加到一定程度(默认15岁),就将会晋升到老年代中。对象晋升老年代的年龄阈值,可以通过参数 XX:MaxPretenuringThreshold 设置。

4.5 动态对象年龄判定

为了能更好地适应不同程度的内存状况,虚拟机并不是永远地要求对象的年龄必须达到 MaxPretenuringThreshold才能晋升老年代,如果Survivor空间中相同年龄所有对象大小的总和大于Survivor空间的一半,年龄大于或等于改年龄的对象就可以直接进入老年代,无需等到MaxPretenuringThreshold中要求的年龄。

这其实有点类似于负载均衡,轮询是负载均衡的一种,保证每台机器都分得同样的请求。看似很均衡,但每台机的硬件不同,健康状况不同,我们还可以基于每台机接受的请求数,或每台机的响应时间等,来调整我们的负载均衡算法。

以上就是有关JVM的学习笔记,希望可以对大家有所帮助,喜欢的小伙伴可以帮忙转发+关注,感谢大家!坚定的眼睛也会每天不定时更新干货!

原文链接:
https://www.tuicool.com/articles/2QJ36zm

版权声明:该文观点仅代表作者本人。处理文章:请发送邮件至 三1五14八八95#扣扣.com 举报,一经查实,本站将立刻删除。