Java中对象都是分配在堆上吗？你错了！

news/2024/5/20 10:13:06 标签: java, jvm, 堆

们在学习使用Java的过程中，一般认为new出来的对象都是被分配在堆上，但是这个结论不是那么的绝对，通过对Java对象分配的过程分析，可以知道有两个地方会导致Java中new出来的对象并不一定分别在所认为的堆上。这两个点分别是Java中的逃逸分析和TLAB（Thread Local Allocation Buffer）。本文首先对这两者进行介绍，而后对Java对象分配过程进行介绍。

1. 逃逸分析

1.1 逃逸分析的定义 
逃逸分析，是一种可以有效减少Java 程序中同步负载和内存堆分配压力的跨函数全局数据流分析算法。通过逃逸分析，Java Hotspot编译器能够分析出一个新的对象的引用的使用范围从而决定是否要将这个对象分配到堆上。 
在计算机语言编译器优化原理中，逃逸分析是指分析指针动态范围的方法，它同编译器优化原理的指针分析和外形分析相关联。当变量（或者对象）在方法中分配后，其指针有可能被返回或者被全局引用，这样就会被其他过程或者线程所引用，这种现象称作指针（或者引用）的逃逸(Escape)。 
Java在Java SE 6u23以及以后的版本中支持并默认开启了逃逸分析的选项。Java的 HotSpot JIT编译器，能够在方法重载或者动态加载代码的时候对代码进行逃逸分析，同时Java对象在堆上分配和内置线程的特点使得逃逸分析成Java的重要功能。

1.2 逃逸分析的方法 
Java Hotspot编译器使用的是 
[plain] view plain copy 
Choi J D, Gupta M, Serrano M, et al. Escape analysis for Java[J]. Acm Sigplan Notices, 1999, 34(10): 1-19. 
Jong-Deok Choi, Manish Gupta, Mauricio Seffano,Vugranam C. Sreedhar, Sam Midkiff等在论文《Escape Analysis for Java》中描述的算法进行逃逸分析的。该算法引入了连通图，用连通图来构建对象和对象引用之间的可达性关系，并在次基础上，提出一种组合数据流分析法。由于算法是上下文相关和流敏感的，并且模拟了对象任意层次的嵌套关系，所以分析精度较高，只是运行时间和内存消耗相对较大。 
绝大多数逃逸分析的实现都基于一个所谓“封闭世界(closed world)”的前提：所有可能被执行的，方法在做逃逸分析前都已经得知，并且，程序的实际运行不会改变它们之间的调用关系 。但当真实的 Java 程序运行时，这样的假设并不成立。Java 程序拥有的许多特性，例如动态类加载、调用本地函数以及反射程序调用等等，都将打破所谓“封闭世界”的约定。 
不管是在“封闭世界”还是在“开放世界”，逃逸分析，作为一种算法而非编程语言的存在，吸引了国内外大量的学者对其进行研究。在这里本文就不进行学术上了论述了，有需要的可以参见谷歌学术搜索：http://www.gfsoso.com/scholar?q=Escape%20Analysis。

1.3 逃逸分析后的处理 
经过逃逸分析之后，可以得到三种对象的逃逸状态。 
GlobalEscape（全局逃逸）， 即一个对象的引用逃出了方法或者线程。例如，一个对象的引用是复制给了一个类变量，或者存储在在一个已经逃逸的对象当中，或者这个对象的引用作为方法的返回值返回给了调用方法。 
ArgEscape（参数级逃逸），即在方法调用过程当中传递对象的应用给一个方法。这种状态可以通过分析被调方法的二进制代码确定。 
NoEscape（没有逃逸），一个可以进行标量替换的对象。可以不将这种对象分配在传统的堆上。 
编译器可以使用逃逸分析的结果，对程序进行一下优化。 
堆分配对象变成栈分配对象。一个方法当中的对象，对象的引用没有发生逃逸，那么这个方法可能会被分配在栈内存上而非常见的堆内存上。 
消除同步。线程同步的代价是相当高的，同步的后果是降低并发性和性能。逃逸分析可以判断出某个对象是否始终只被一个线程访问，如果只被一个线程访问，那么对该对象的同步操作就可以转化成没有同步保护的操作，这样就能大大提高并发程度和性能。 
矢量替代。逃逸分析方法如果发现对象的内存存储结构不需要连续进行的话，就可以将对象的部分甚至全部都保存在CPU寄存器内，这样能大大提高访问速度。 
下面，我们看一下逃逸分析的例子。

class Main {  
  public static void main(String[] args) {  
    example();  
  }  
  public static void example() {  
    Foo foo = new Foo(); //alloc  
    Bar bar = new Bar(); //alloc  
    bar.setFoo(foo);  
  }  
}  

class Foo {}  

class Bar {  
  private Foo foo;  
  public void setFoo(Foo foo) {  
    this.foo = foo;  
  }  
}
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • 16
  • 17
  • 18
  • 19

在这个例子当中，我们创建了两个对象，Foo对象和Bar对象，同时我们把Foo对象的应用赋值给了Bar对象的方法。此时，如果Bar对在堆上就会引起Foo对象的逃逸，但是，在本例当中，编译器通过逃逸分析，可以知道Bar对象没有逃出example()方法，因此这也意味着Foo也没有逃出example方法。因此，编译器可以将这两个对象分配到栈上。

1.4 编译器经过逃逸分析的效果

测试代码：

java has-numbering">package com.yang.test2;  

javadoc">/** 
 * Created by yangzl2008 on 2015/1/29. 
 */  
class EscapeAnalysis {  
    private static class Foo {  
        private int x;  
        private static int counter;  

        public Foo() {  
            x = (++counter);  
        }  
    }  

    public static void main(String[] args) {  
        long start = System.nanoTime();  
        for (int i = 0; i < 1000 * 1000 * 10; ++i) {  
            Foo foo = new Foo();  
        }  
        long end = System.nanoTime();  
        System.out.println("Time cost is " + (end - start));  
    }  
}
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • 16
  • 17
  • 18
  • 19
  • 20
  • 21
  • 22
  • 23
  • 24

设置JVM运行参数： 
未开启逃逸分析设置为： 
-server -verbose:gc 
开启逃逸分析设置为： 
-server -verbose:gc -XX:+DoEscapeAnalysis 
在未开启逃逸分析的状况下运行情况如下： 
[GC 5376K->427K(63872K), 0.0006051 secs] 
[GC 5803K->427K(63872K), 0.0003928 secs] 
[GC 5803K->427K(63872K), 0.0003639 secs] 
[GC 5803K->427K(69248K), 0.0003770 secs] 
[GC 11179K->427K(69248K), 0.0003987 secs] 
[GC 11179K->427K(79552K), 0.0003817 secs] 
[GC 21931K->399K(79552K), 0.0004342 secs] 
[GC 21903K->399K(101120K), 0.0002175 secs] 
[GC 43343K->399K(101184K), 0.0001421 secs] 
Time cost is 58514571 
开启逃逸分析的状况下，运行情况如下： 
Time cost is 10031306 
未开启逃逸分析时，运行上诉代码，JVM执行了GC操作，而在开启逃逸分析情况下，JVM并没有执行GC操作。同时，操作时间上，开启逃逸分析的程序运行时间是未开启逃逸分析时间的1/5。

2. TLAB 
JVM在内存新生代Eden Space中开辟了一小块线程私有的区域，称作TLAB（Thread-local allocation buffer）。默认设定为占用Eden Space的1%。在Java程序中很多对象都是小对象且用过即丢，它们不存在线程共享也适合被快速GC，所以对于小对象通常JVM会优先分配在TLAB上，并且TLAB上的分配由于是线程私有所以没有锁开销。因此在实践中分配多个小对象的效率通常比分配一个大对象的效率要高。 
也就是说，Java中每个线程都会有自己的缓冲区称作TLAB（Thread-local allocation buffer），每个TLAB都只有一个线程可以操作，TLAB结合bump-the-pointer技术可以实现快速的对象分配，而不需要任何的锁进行同步，也就是说，在对象分配的时候不用锁住整个堆，而只需要在自己的缓冲区分配即可。 
关于对象分配的JDK源码可以参见JVM 之 Java对象创建[初始化]中对OpenJDK源码的分析。

3. Java对象分配的过程 
编译器通过逃逸分析，确定对象是在栈上分配还是在堆上分配。如果是在堆上分配，则进入选项2. 
如果tlab_top + size <= tlab_end，则在在TLAB上直接分配对象并增加tlab_top 的值，如果现有的TLAB不足以存放当前对象则3. 
重新申请一个TLAB，并再次尝试存放当前对象。如果放不下，则4. 
在Eden区加锁（这个区是多线程共享的），如果eden_top + size <= eden_end则将对象存放在Eden区，增加eden_top 的值，如果Eden区不足以存放，则5. 
执行一次Young GC（minor collection）。 
经过Young GC之后，如果Eden区任然不足以存放当前对象，则直接分配到老年代。 
对象不在堆上分配主要的原因还是堆是共享的，在堆上分配有锁的开销。无论是TLAB还是栈都是线程私有的，私有即避免了竞争（当然也可能产生额外的问题例如可见性问题），这是典型的用空间换效率的做法。

4. 参考

1、对象都是在堆上分配的吗？ 
2、JVM 之 Java对象创建[初始化] 
3、In what cases is Java slower than C++ by a big margin? 
4、Size of Huge Objects directly allocated to Old Generation 
5、Escape analysis in Java 
6、Escape Analysis

这里写图片描述


http://www.niftyadmin.cn/n/1088897.html

相关文章

JavaWeb--会话与状态管理2--cookie 显示最近浏览商品

JavaWeb--会话与状态管理2--cookie 显示最近浏览商品

ps:不能以books&#xff1a;作为标识符&#xff08;冒号&#xff09;&#xff0c;但是可以用books&#xff0c;好像还可以用--&#xff0c;不知道为什么 books.jsp <%--Created by IntelliJ IDEA.User: SkyeDate: 2017/12/12Time: 10:23To change this template use File | …
阅读更多...
php判断是不是倍数_因数和倍数知识拓展

php判断是不是倍数_因数和倍数知识拓展

因数和倍数知识拓展一个数因数的个数是有限的&#xff0c;最小的因数是1&#xff0c;最大的因数是本身;一个数倍数的个数是无限的&#xff0c;最小的倍数是本身&#xff0c;没有最大的倍数。于是就有推论&#xff1a;一个数的倍数一定大于它的因数&#xff0c;这句话是不正确的…
阅读更多...
深入分析ConcurrentHashMap的锁分段技术

深入分析ConcurrentHashMap的锁分段技术

术语定义 术语英文解释哈希算法hash algorithm是一种将任意内容的输入转换成相同长度输出的加密方式&#xff0c;其输出被称为哈希值。哈希表hash table根据设定的哈希函数H(key)和处理冲突方法将一组关键字映象到一个有限的地址区间上&#xff0c;并以关键字在地址区间中的象作…
阅读更多...
内存颗粒和闪存颗粒的区别_都是颗粒 为什么SSD有寿命、内存却没有？

内存颗粒和闪存颗粒的区别_都是颗粒 为什么SSD有寿命、内存却没有？

随着技术的发展&#xff0c;我们使用的存储器也各种各样&#xff0c;虽然都基于芯片颗粒&#xff0c;但表现截然不同&#xff0c;比如说读写次数限制&#xff0c;或者叫寿命&#xff0c;SSD固态硬盘就有限制&#xff0c;DRAM内存却没有。按照分布位置的不同&#xff0c;DRAM内存…
阅读更多...
面试感悟------一名三年工作经验的程序员应该具备的经验

面试感悟------一名三年工作经验的程序员应该具备的经验

原文地址http://www.cnblogs.com/xrq730/p/5260294.html&#xff0c;转载请注明出处&#xff0c;谢谢&#xff01;前言因为和同事有约定再加上LZ自己也喜欢做完一件事之后进行总结&#xff0c;因此有了这篇文章。这篇文章大部分内容都是面向整个程序员群体的&#xff0c;当然因…
阅读更多...
【Excle数据透视】如何创建多条件汇总的数据透视表

【Excle数据透视】如何创建多条件汇总的数据透视表

创建多条件的数据透视表&#xff0c;源数据如下&#xff1a;插入数据透视表根据需求拖拽字段&#xff08;统计该地区下销售人员销售业绩&#xff09;数据透视结果数据透视表布局的各个区域说明区域说明 数值 用于显示汇总值数据 行标签 用于将字段显示为报表侧面的行&#xff0…
阅读更多...
怎么组建战队_君子组建凌烟阁战队！开搞LOL主播对抗赛！AzZ霸道疯狂卖萌求上岸！互动无果游客无情调侃！沐莹莹成最大问题！...

怎么组建战队_君子组建凌烟阁战队！开搞LOL主播对抗赛！AzZ霸道疯狂卖萌求上岸！互动无果游客无情调侃！沐莹莹成最大问题！...

01星秀主播搬家召唤师峡谷霸道卖萌求上岸昨晚8点&#xff0c;君子回应了赵云身份事件后&#xff0c;借着话题&#xff0c;再次聊到了自己之前多次提到的“组建LOL主播赛”一事。最近一段时间&#xff0c;在君子着迷LOL游戏后&#xff0c;便先后与UZI、豚豚、藏獒龙等人开黑排位…
阅读更多...
02 for循环创建进程

02 for循环创建进程

import time from multiprocessing import Processdef f1(i):time.sleep(3)print(i)if __name__ __main__:for i in range(20):p1 Process(targetf1,args(i,))p1.start() 转载于:https://www.cnblogs.com/work14/p/10239152.html
阅读更多...
最新文章

Copyright @ 2022~2023