假设有下面一个类,本文会一直使用这个类演示
public class User{
public int id;
public String name;
}
逃逸分析: 逃逸指的是在方法中创建的对象,逃到方法外,那么逃逸分析,指的就是分析一个在方法内创建的对象,有没有可能从它所在的方法中逃出去,例如下面的代码,就会逃到方法外
public static User u;
public void m1(){
u=new User();
}
下面的代码,就不会逃出去
public void m1(){
User u=new User();
}
很明显,上述两段代码,我们人类一眼就能看得懂,但是JVM要想看得懂那就得由sun的工程师自己写来判断了,这套用来判断方法内创建的对象能否逃到方法外的技术(底层代码),就叫逃逸分析
栈上分配: 指的是在栈上分配对象,正常来说我们都知道new一个对象,这个对象是在堆上的,而在某些业务需求下,如果
一个对象占用内存非常小
并且它所在的方法要轮询很多次
并且经过逃逸分析之后确定这个对象不会逃逸
那么此时在栈上分配该对象就是一种较好的选择(JVM需要开启栈上分配参数-server -XX:+DoEscapeAnalysis才会启动该功能),假设我们没有开启栈上分配,那么下面的代码必定很快GC
while(true){
m1();
}
但是如果开启了栈上分配,那么无论循环多少次,堆的大小都不会增长(只考虑本文)
标量替换: 经过上述描述,已经知道栈上分配用白话文来说,就是在栈上new个对象出来,但需要注意和普通new对象不同的地方,就是普通new对象,方法中会使用该对象的引用,例如下面的代码,如果没开启栈上分配,那么m1全程操作的都是u的引用
public void m1(){
User u=new User();
u.name="我爱武汉汉阳的妹子"; // 此处通过u的引用,去堆中找到u,然后更改name
}
但是如果开启栈上分配,那么m1的局部变量表会多出2个位置,这多出的2个位置会给id和name使用,上面的u.name其实是直接赋值到局部变量表,这种情况就叫做标量替换
文章到此结束,其实就是个概念话术,没什么大用,要是让你写JVM,你也能想到这种优化方式,写本文其实主要是为了阐述标量替换(Eliminate Allocations)