这里我们说一下JVM在分配一个对象时的行为。注意:对象并不一定都在堆上分配。
1. 整体分配策略
堆内存分配策略
整体思路:先在Eden分配,如果不够触发Young GC,Young GC将Eden和From Survivor存活对象复制到另一个To Survivor上,如果存活对象在To Survivor放不下,则进行老年代,如果一个对象在To Survivor存活时间过长,也会进入老年代。
- Young GC(也叫Minor GC)是指发生在新生代的垃圾回收动作。即一般进行复制算法进行,速度很快。
- Full GC(也叫Major GC)是指发生在老年代的垃圾回收动作。即一般进行标记-清除/整理算法进行,速度比复制算法慢10倍左右。
整体分配策略
下面我们针对图中的每项条件进行分析
2. 逃逸技术(栈上分配)
1. 定义
逃逸技术就是分析对象的作用域
- 方法逃逸
一个对象在方法中被定义后,它可能会被其他方法引用。比如对象的引用作为返回值。 - 线程逃逸
一个对象在一个线程中被定义后,它可能被其他线程引用。 - 没有逃逸的对象
是指一个对象没有方法或线程逃逸。即别的方法或线程无法通过任何方法访问该对象。
如果一个对象被证明为是没有逃逸的对象,那针对它可以做出很多优化方案
2. 没有逃逸的对象优化
- 栈上分配
即对象创建在栈上。
好处:可以随着方法的消亡而消失,无需进行GC。
缺点:栈上空间有限,如果太多对象分配在栈上,会导致内存溢出。 - 同步消除
如果一个对象可以确定其他线程无法访问,则对这个对象进行的任何同步操作都可以消除。 - 标量替换
标量的定义:一个数据无法被分割为更小的数据表示。比如基础类型。
而对象属于聚合量。
标量替换的定义:如果把一个对象拆散,根据访问情况,将使用到的成员变量使用标量替换。
如果一个对象是没有发生逃逸的(即其他方法无法访问),且这个对象可以使用标量替换的话,程序真正执行的时候可能不会创建这个对象,而是使用变量来替换。
3. 目前逃逸技术的进展
在JDK 6之后支持对象的逃逸分析
其是否打开逃逸分析依赖于以下JVM的设置:
-XX:+DoEscapeAnalysis
注意:HotSpot并没有支持栈上分配的,只是支持了逃逸分析。
3. TLAB
存在的意义
- 我们知道多线程在分配对象内存时,由于使用的都是一块内存,所以为了线程安全,分配内存需要加锁。显然加锁就需要耗时了。
- 而TLAB就是在Eden上开辟一小块空间,每个线程拥有一个自己独有的空间,这样分配内存时,就无需进行加锁了。当TLAB空间被分配完了之后,再进行加锁堆内存的分配。
4. 直接在老年代分配的条件
- 大对象直接分配在老年代
原因:由于新生代采用复制算法,为了避免大对象的复制而耗时。
使用如下参数进行大对象的size设置(注意这个参数仅在Serial和ParNew有效)
-XX:PretenureSizeThreshold
5. 从年轻代变成老年代的条件
在Survivor存活时间够久
一个对象在Survivor经历一次Young GC,它的年龄就+1,当它的年龄到达一定数值(默认是15)后,就会进入老年代。
使用如下参数设置这个数据:
-XX:MaxTenuringThreshold
动态年龄判断
在Survivor空间中,当某个年龄的所有对象大小之和大于Survivor空间的一半时,所有大于这个年龄的对象就会进入老年代。不受MaxTenuringThreshold大小的影响。
6. 空间担保
引入
我们知道发生Minor GC时,如果To Survivor空间不够,则需要老年代进行空间担保(即放入老年代中)。那么如果此时老年代也不够放呢?
介绍
- 在JDK6之后,图中红色的将不起作用(即强制启用)。
即:如果老年代的最大可用连续空间大于新生代对象总和或者大于历代晋升老年代对象平均值就会进行Minor GC。
强制启用的原因是:尽可能减少Full GC的次数。 - 图中第一步:老年代的最大可用连续空间大于新生代对象总和。这里说新生代对象总和,因为在发生Minor GC之前不可能知道新生代会存活下来多少对象的。
- 图中冒险进行Minor GC的意思是由于基于历史平均值,也可能会导致某次存活的对象太多而导致Minor GC失败,从而知道Full GC。