天天看点

逃逸分析和标量替换技术,你明白了吗

文章目录

  • ​​逃逸分析​​
  • ​​怎么做逃逸分析后的优化?​​
  • ​​什么是线程分配缓冲TLAB?​​
  • ​​什么是标量替换?​​
  • ​​实战​​
  • ​​开始逃逸分析(默认开启的)​​
  • ​​关闭逃逸分析-XX:-DoEscapeAnalysis​​

逃逸分析

逃逸分析是目前JVM中比较前沿的优化技术,它不是直接的优化手段而是为其他优化手段提供依据的分析技术 逃逸分析的基本行为就是分析对象动态作用域。

​​

​逃逸分析是一种分析技术,分析对象的动态作用域,供其他优化措施提供依据。比如分析一个对象不会逃逸到方法之外或线程之外,其它优化措施(栈上分配,标量替换等)根据逃逸程度进行优化。​

小编吐槽: 逃逸分析只是分析,不干事,jvm根据逃逸分析后的结果,决定采取什么方式对我们的代码进行优化。

如果分析后得到的结果是: 对象没有逃逸,大白话就是 方法中的 对象没有 传递到方法之外。jvm可以我们进行优化了。

public class EscapeAnalysis {
  public Person p;
  /**
   * 发生逃逸,对象被返回到方法作用域以外,被方法外部,线程外部都可以访问
   */
  public void escape(){
    p = new Person(26, "TomCoding escape");
  }

  /**
   * 不会逃逸,对象在方法内部
   */
  public String noEscape(){
    Person person = new Person(26, "TomCoding noEscape");
    return person.name;
  }
}

static class Person {
  public int age;
  public String name;
  
  ... // 省略构造方法
}      

怎么做逃逸分析后的优化?

jvm自动会为我们做逃逸分析优化,它这么厉害,做了哪些优化呢?

其实,hotspot虚拟机为我们默认开启了三组jvm参数。分别是:

​​

​-XX:+DoEscapeAnalysis:启用逃逸分析(默认打开)​

​​

​-XX:+EliminateAllocations:标量替换(默认打开)​

​​

​-XX:+UseTLAB 本地线程分配缓冲(默认打开)​

小编吐槽,只要不手残,jvm就可以为我们做逃逸分析后的优化。

什么是线程分配缓冲TLAB?

TLAB的目的是在为新对象分配内存空间时,让每个Java应用线程能在使用自己专属的分配指针来分配空间(Eden区,默认Eden的1%),减少同步开销。

即每个线程在Java堆中预先分配一小块私有内存,也就是本地线程分配缓冲(Thread Local Allocation Buffer,TLAB),如果设置了虚拟机参数 -XX:+UseTLAB,在线程初始化时,同时也会申请一块指定大小的内存,只给当前线程使用,这样每个线程都单独拥有一个Buffer,如果需要分配内存,就在自己的Buffer上分配,这样就不存在竞争的情况,可以大大提升分配效率,当Buffer容量不够的时候,再重新从Eden区域申请一块继续使用。

TLAB只是让每个线程有私有的分配指针,但底下存对象的内存空间还是给所有线程访问的(类似于堆),只是其它线程无法在这个区域分配而已。当一个TLAB用满(分配指针top撞上分配极限end了),就新申请一个TLAB。

小编吐槽: 这种方式是在在堆中给每个线程分配一个内存。每个线程操作单独的区域,用了再分配新的区域,这里也得用到同步方案。不过这种方式是提前分配缓冲池,至于不够的时候申请新的内存才加锁,减少了锁的次数,优化了每次都要加锁的性能问题。

这篇文章写了TLAB是多线程环境下 栈分配内存的一种优化方式。

推荐下:​​​逃逸分析与tlab​​

什么是标量替换?

标量可以理解成一种​

​不可分解的变量​

​​,如java内部的​

​基本数据类型、引用类型​

​​等。

与之对应的​​

​聚合量​

​​是​

​可以被拆解​

​​的,如对象。

当通过逃逸分析一个对象只会作用于方法内部,虚拟机可以通过使用标量替换来进行优化。

比如上述noEscape()方法中person对象只会在方法内部,通过标量替换技术得到如下伪码:

/**
 * 不会逃逸,对象在方法内部
 */
public String noEscape(){
  int age = 26;
  String name = "TomCoding noEscape";
  return name;
}      

完整的测试例子推荐这个文章

​​​https://www.jb51.net/article/196801.htm​​

实战

我们可以手动关闭和开始逃逸分析.

开始逃逸分析(默认开启的)

public class StackAlloc {

  public static class User{
    public int id = 0;
    public String name = "";
  }


  public static void alloc() {
    User u = new User();  //Object  在堆上分配的() ,有逃逸分析的技术 ,在栈中分配的
    u.id = 5;
    u.name = "Jack Ma";
  }

  public static void main(String[] args) {

    long b = System.currentTimeMillis(); //开始时间
    for(int i=0;i<100000000;i++) {//一个方法运行1亿次()
      alloc();
    }
    long e = System.currentTimeMillis(); //结束时间
    System.out.println(e-b);//打印运行时间:毫秒
  }

}      

来看下我们的方法运行效果:

因为默认开启了上面的3组命令 只开启如下命令:​​

​-XX:+PrintGC​

我们先运行看看:

逃逸分析和标量替换技术,你明白了吗

我们运行了一亿次方法(分配对象): 用时6毫秒

关闭逃逸分析-XX:-DoEscapeAnalysis

逃逸分析和标量替换技术,你明白了吗

运行结果:

逃逸分析和标量替换技术,你明白了吗

小编吐槽,为啥开启逃逸分析后,分析到没有逃逸就没有发生gc呢?

由于栈的结构原因,当栈进行出栈操作的时候,就会将这一部分内存回收。如果在方法调用中,频繁出现内存分配,在方法结束时候对象即可以销毁,这时候考虑可以在栈上分配内存,减少堆内存的回收压力。

在栈上进行内存分配,需要知道这部分内存不会在外部进行访问(-XX:+DoEscapeAnalysis)同时对于其中的对象进行分解,使用标量进行替换(-XX:+EliminateAllocations)。

开通了个微信公众号:

搜索: 怒放de每一天

后续可能不定时推送相关文章,期待和大家一起成长!!