Java虚拟机:内存分配与回收策略

简介: Java虚拟机:内存分配与回收策略

概述


Java技术体系中所提倡的自动内存管理最终可以归结为自动化地解决了两个问题:给对象分配内存以及回收分配给对象的内存。关于回收内存这一点,我们已经使用了大量篇幅去介绍虚拟机中的垃圾收集器体系以及运作原理,现在我们再一起来探讨一下给对象分配内存的那点事儿。


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


接下来我们将会讲解几条最普遍的内存分配规则,并通过代码去验证这些规则。由于条件因素,只能在Client模式下测试,因此CMS和G1并未提及。


本文地址:http://blog.csdn.net/v123411739/article/details/78941793



1.对象优先在Eden分配


大多数情况下,对象在新生代Eden区中分配。当Eden区没有足够空间进行分配时,虚拟机将发起一次Minor GC。


例子1:


Serial + Serial Old(UseSerialGC) 或者 ParNew + Serial Old(UseParNewGC)


image.png

image.png

GC环境:垃圾收集器为Serial + Serial Old(ParNew + Serial Old),年轻代大小为100M,Eden:Survivor = 8 :1,所以Eden为80M,两个Survivor各10M,老年代为100M。


GC分析:当要分配allocation5时,Eden空间不足,进行Minor GC,此时年轻代空间从76595K降低到698K。这是由于allocation1、allocation2、allocation3、allocation4对象的大小皆超过Survivor空间大小(10M),因此allocation1、allocation2、allocation3、allocation4对象皆通过分配担保机制提前转移到老年代,年轻代剩余的698k为JVM的内部对象,进行Minor GC后进入了Survivor区。



例子2:


Parallel Scavenge + Parallel Old


image.png

image.png


GC环境:垃圾收集器为Parallel Scavenge + Parallel Old,年轻代大小为100M,Eden:Survivor = 8 :1,所以Eden为80M,两个Survivor各10M,老年代为100M。


GC分析:当要分配allocation5时,Eden空间不足,进行Minor GC,此时年轻代空间从76595K降低到888k。这是由于allocation1、allocation2、allocation3、allocation4对象的大小皆超过Survivor空间大小(10M),因此allocation1、allocation2、allocation3、allocation4对象皆通过分配担保机制提前转移到老年代,年轻代剩余的888k为JVM的内部对象,进行Minor GC后进入了Survivor区。后面的Full GC会在后面的空间分配担保进行讲解。



例子3:


Parallel Scavenge + Parallel Old

image.png

image.png



GC环境:垃圾收集器为Parallel Scavenge + Parallel Old,年轻代大小为100M,Eden:Survivor = 8 :1,所以Eden为80M,两个Survivor各10M,老年代为100M。


GC分析:该例子跟例子2的区别是把例子2的最后两次分配10M和30M合并成了1次分配40M,结果没有进行GC,原因是在Parallel Scavenge收集器下:将要分配的对象大小 >= Eden总空间的一半,对象通过分配担保机制直接进入老年代,否则尝试进行MinorGC。



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


所谓的大对象是指,需要大量连续内存空间的Java对象,最典型的大对象就是那种很长的字符串以及数组(例子中的byte[]数组就是典型的大对象)。


虚拟机提供了一个-XX:PretenureSizeThreshold参数,令大于这个设置值的对象直接在老年代分配。只对Serial和ParNew两款收集器有效,Parallel Scavenge收集器不认识这个参数,Parallel Scavenge收集器一般并不需要设置。



例子1:没设置PretenureSizeThreshold

image.png

image.png


GC分析:可以看出老年代为空,allocation对象正常进入新生代。



例子2:设置PretenureSizeThreshold=3145728

image.png

image.png


GC分析:可以看出老年代被占用了4M,allocation对象由于超过PretenureSizeThreshold设置的3M(3145728 = 3 * 1024 * 1024),被认为是大对象直接进入老年代。



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


如果对象在Eden出生并经过第一次Minor GC后仍然存活,并且能被Survivor容纳的话,将被移动到Survivor空间中,并且对象年龄设为1。对象在Survivor区中每“熬过”一次Minor GC,年龄就增加1岁,当它的年龄增加到一定程度(默认为15岁),就将会被晋升到老年代中。对象晋升老年代的年龄阈值,可以通过参数-XX:MaxTenuringThreshold设置。



例子1:不设置MaxTenuringThreshol参数

image.png

image.png


GC环境:垃圾收集器为Serial + Serial Old(ParNew + Serial Old),年轻代大小为100M,Eden:Survivor = 8 :1,所以Eden为80M,两个Survivor各10M,老年代为100M。


GC分析:没设置MaxTenuringThreshold时,MaxTenuringThreshold的默认值为15,必须经过15次Minor GC才能晋升到老年代,因此经过该例子经过两次Minor GC后,年轻代仍有3257k,即allocation1对象的仍在Survivor区。



例子2:设置参数MaxTenuringThreshold=1

image.png

image.png


GC分析:该例子跟上面差别只有一个,将MaxTenuringThreshold设为1,可以看出第二次Minor GC时,年轻代已经被清空,allocation1对象因为年龄符合MaxTenuringThreshold设置的值,因此进入老年代。



4.动态对象年龄判断


如果在Survivor空间中相同年龄所有对象大小的总和大于Survivor空间的一半,年龄大于或等于该年龄的对象就可以直接进入老年代,无须等到MaxTenuringThreshold中要求的年龄。


例子1:allocation1+allocation2大于Survivor空间一半

image.png

image.png


GC环境:垃圾收集器为Serial + Serial Old(ParNew + Serial Old),年轻代大小为100M,Eden:Survivor = 8 :1,所以Eden为80M,两个Survivor各10M,老年代为100M。


GC分析:allocation3分配时,Eden空间不足,因此触发第一次Minor GC,allocation1和allocation2对象进入Survivor区,allocation3由于太大,直接进入老年代。当第二次分配allocation4时,Eden空间不足(allocation4虽然已经=null,但是由于还未进行垃圾收集,因此空间仍未释放),触发第二次Minor GC,可以看到此时年轻代GC后为空,可以得出Survivor里面的allocation1和allocation2已经进入老年代,原因是Survivor空间中相同年龄所有对象大小的总和大于Survivor空间的一半。


例子2:allocation1+allocation2小于Survivor空间一半

image.png

image.png



GC分析:该例子跟上面的例子只差在allocation1大小从10M/4变成了10M/8,从而导致allocation1+allocation2的对象大小没有大于Survivor空间的一半,因此第二次Minor GC后,年轻代大小依然为4537k,allocation1和allocation2仍然在Survivor区。



5.空间分配担保


JDK 6 Update 24之后:在发生Minor GC之前,虚拟机会先检查老年代的连续空间大小是否大于新生代对象总大小或者历次晋升的平均大小, 如果是则进行Minor GC, 否则将进行Full GC。


Parallel Scavenge收集器与其他收集器在空间分配担保上有一点差别, 正常是在Minor GC前进行检查, 而Parallel Scavenge收集器在Minor GC后也会进行检查。


另外当出现大量对象在Minor GC后仍然存活的情况(最极端的情况就是内存回收后新生代中所有对象都存活),就需要老年代进行分配担保,把Survivor无法容纳的对象直接进入老年代。


例子1:


Serial + Serial Old(UseSerialGC) 或者 ParNew + Serial Old(UseParNewGC)

image.png


GC环境:垃圾收集器为Serial + Serial Old(ParNew + Serial Old),年轻代大小为100M,Eden:Survivor = 8 :1,所以Eden为80M,两个Survivor各10M,老年代为100M。


GC分析:allocation1、allocation2、allocation3占用了Eden的60M空间,allocation4分配内存时,Eden的空间已经不足,因此触发第一次Minor GC,Minor GC结束后,allocation1、allocation2、allocation3进入老年代,此时老年代剩余空间为40M,GC后剩余的698k为JVM内部对象进入其中一个Survivor。allocation7分配内存时,此时年轻代已经放了allocation4、allocation5、allocation6,已经无法放下allocation7,因此将触发Minor GC,但在触发前会进行检查,此时老年代剩余空间为不足40M,新生代的对象总大小为60M,历次晋升的平均大小为60M,因此改为进行一次Full GC,Full GC后,年轻代对象被全部晋升,老年代因为allocation1、allocation2、allocation3被赋空,内存得到回收,晋升上来allocation4、allocation5、allocation6,因此内存大小还是60M左右,但是后面的堆总量可以看到由120M降低到了60M。



例子2:


Parallel Scavenge + Parallel Old

image.png


GC环境:垃圾收集器为Parallel Scavenge + Parallel Old,年轻代大小为100M,Eden:Survivor = 8 :1,所以Eden为80M,两个Survivor各10M,老年代为100M。


GC分析:allocation1、allocation2、allocation3占用了Eden的60M空间,allocation4分配内存时,Eden的空间已经不足,因此触发第一次Minor GC,Minor GC结束后,allocation1、allocation2、allocation3进入老年代,此时老年代剩余空间为40M,GC后剩余的904k为JVM内部对象进入其中一个Survivor。由于Parallel Scavenge的特殊性(在Minor GC后也会检查老年代的空间),此时检查到剩余空间40M小于历次晋升的平均大小(此时只有1次晋升, 因此晋升的平均大小为60M),因此触发第一次Full GC,将年轻代的所有对象晋升到老年代,因此Full GC后年轻代空间为空,老年代略微增长。allocation7分配内存时,此时年轻代已经放了allocation4、allocation5、allocation6,已经无法放下allocation7,因此将触发Minor GC,但在触发前会进行检查,此时老年代剩余空间为不足40M,新生代的对象总大小为60M,历次晋升的平均大小为60M,因此改为进行一次Full GC,Full GC后,年轻代对象被全部晋升,老年代因为allocation1、allocation2、allocation3被赋空,内存得到回收,晋升上来allocation4、allocation5、allocation6,因此内存大小还是60M左右,但是后面的堆总量可以看到由120M降低到了60M。


—————END—————






相关文章
|
17天前
|
安全 Java 应用服务中间件
Spring Boot + Java 21:内存减少 60%,启动速度提高 30% — 零代码
通过调整三个JVM和Spring Boot配置开关,无需重写代码即可显著优化Java应用性能:内存减少60%,启动速度提升30%。适用于所有在JVM上运行API的生产团队,低成本实现高效能。
114 3
|
1月前
|
缓存 监控 Kubernetes
Java虚拟机内存溢出(Java Heap Space)问题处理方案
综上所述, 解决Java Heap Space溢出需从多角度综合施策; 包括但不限于配置调整、代码审查与优化以及系统设计层面改进; 同样也不能忽视运行期监控与预警设置之重要性; 及早发现潜在风险点并采取相应补救手段至关重要.
237 17
|
2月前
|
存储 监控 算法
Java垃圾回收机制(GC)与内存模型
本文主要讲述JVM的内存模型和基本调优机制。
|
2月前
|
存储 缓存 Java
Java数组全解析:一维、多维与内存模型
本文深入解析Java数组的内存布局与操作技巧,涵盖一维及多维数组的声明、初始化、内存模型,以及数组常见陷阱和性能优化。通过图文结合的方式帮助开发者彻底理解数组本质,并提供Arrays工具类的实用方法与面试高频问题解析,助你掌握数组核心知识,避免常见错误。
|
2月前
|
边缘计算 算法 Java
Java 绿色计算与性能优化:从内存管理到能耗降低的全方位优化策略与实践技巧
本文探讨了Java绿色计算与性能优化的技术方案和应用实例。文章从JVM调优(包括垃圾回收器选择、内存管理和并发优化)、代码优化(数据结构选择、对象创建和I/O操作优化)等方面提出优化策略,并结合电商平台、社交平台和智能工厂的实际案例,展示了通过Java新特性提升性能、降低能耗的显著效果。最终指出,综合运用这些优化方法不仅能提高系统性能,还能实现绿色计算目标,为企业节省成本并符合环保要求。
94 0
|
2月前
|
监控 Kubernetes Java
最新技术栈驱动的 Java 绿色计算与性能优化实操指南涵盖内存优化与能效提升实战技巧
本文介绍了基于Java 24+技术栈的绿色计算与性能优化实操指南。主要内容包括:1)JVM调优,如分代ZGC配置和结构化并发优化;2)代码级优化,包括向量API加速数据处理和零拷贝I/O;3)容器化环境优化,如K8s资源匹配和节能模式配置;4)监控分析工具使用。通过实践表明,这些优化能显著提升性能(响应时间降低40-60%)同时降低资源消耗(内存减少30-50%,CPU降低20-40%)和能耗(服务器功耗减少15-35%)。建议采用渐进式优化策略。
139 1
|
3月前
|
SQL 缓存 安全
深度理解 Java 内存模型:从并发基石到实践应用
本文深入解析 Java 内存模型(JMM),涵盖其在并发编程中的核心作用与实践应用。内容包括 JMM 解决的可见性、原子性和有序性问题,线程与内存的交互机制,volatile、synchronized 和 happens-before 等关键机制的使用,以及在单例模式、线程通信等场景中的实战案例。同时,还介绍了常见并发 Bug 的排查与解决方案,帮助开发者写出高效、线程安全的 Java 程序。
177 0
|
3月前
|
存储 Java
Java对象的内存布局
在HotSpot虚拟机中,Java对象的内存布局分为三部分:对象头(Header)、实例数据(Instance Data)和对齐填充(Padding)。对象头包含Mark Word、Class对象指针及数组长度;实例数据存储对象的实际字段内容;对齐填充用于确保对象大小为8字节的整数倍。
|
4月前
|
存储 Java
说一说 JAVA 内存模型与线程
我是小假 期待与你的下一次相遇 ~
111 5
|
4月前
|
消息中间件 缓存 固态存储
说一说 Java 中的内存映射(mmap)
我是小假 期待与你的下一次相遇 ~
162 1
说一说 Java 中的内存映射(mmap)