Java的最大栈深度与JVM核心知识介绍

目录
  • 一、Java最大支持栈深度有多大?
    • 1、测试案例
      • 1.1、测试线程栈大小对栈深度的影响
      • 1.2、测试方法参数个对栈深度的影响
    • 2、结论
  • 二、重温JVM知识1. JDK,JRE,JVM的联系是啥?
    • 2. JVM的作用是啥?
    • 3.JVM运行时数据区
      • 3.1程序计数器
      • 3.2虚拟机栈
      • 3.3本地方法栈
      • 3.4Java堆
      • 3.5方法区
    • 4.JVM内存模型

一、Java最大支持栈深度有多大?

从Java运行时数据区域我们知道,线程中的 栈结构如下:

每个栈帧包含:本地变量表,操作数栈,动态链接,返回地址等东西...

也就是说栈调用深度越大,栈帧就越多,就越耗内存。

1、测试案例

1.1、测试线程栈大小对栈深度的影响

下面我们用一个测试例子来说明:

有如下递归方法:

public class StackTest {

    private int count = 0;

    public void recursiveCalls(String a){
        count++;
        System.out.println("stack depth: " + count);
        recursiveCalls(a);
    }

    public void test(){
        try {
            recursiveCalls("a");
        } catch (Exception e) {
            System.out.println(e);
        }
    }

    public static void main(String[] args) {
        new StackTest().test();
    }
}

我们设置启动参数

-Xms256m -Xmx256m -Xmn128m -Xss256k

输出内容:

stack depth: 1556
Exception in thread "main" java.lang.StackOverflowError
    at sun.nio.cs.UTF_8.updatePositions(UTF_8.java:77)

可以发现,栈深度为1556的时候,就报 StackOverflowError了。

接下来我们调整-Xss线程栈大小为 512k,输出内容:

stack depth: 3249
Exception in thread "main" java.lang.StackOverflowError
    at java.nio.charset.CharsetEncoder.encode(CharsetEncoder.java:579)

发现栈深度变味了3249,说明了:

随着线程栈的大小越大,能够支持越多的方法调用,也即是能够存储更多的栈帧。

1.2、测试方法参数个对栈深度的影响

这里我们固定设置-Xss为256k。

我们知道此时的深度为:1556。

接下来我们给方法添加参数:

public class StackTest {

    private int count = 0;

    public void recursiveCalls(String a){
        count++;
        System.out.println("stack depth: " + count);
        recursiveCalls(a);
    }

    public void test(){
        try {
            recursiveCalls("a");
        } catch (Exception e) {
            System.out.println(e);
        }
    }

    public static void main(String[] args) {
        new StackTest().test();
    }
}

为何要添加参数呢,因为添加参数之后,栈帧中的本地变量表就会增加内容,我们可以尝试使用以下命令查看下Class文件的汇编指令:

javap -v StackTest.class

可以发现recursiveCalls方法的本地变量表的确增加了,对应方法的入参 a:

LocalVariableTable:
  Start  Length  Slot  Name   Signature
      0      44     0  this   Lcom/itzhai/jvm/stacks/StackTest;
      0      44     1     a   Ljava/lang/String;

这个时候我们在执行程序看看结果:

stack depth: 1318
Exception in thread "main" java.lang.StackOverflowError
    at java.nio.Buffer.<init>(Buffer.java:201)

可以发现,栈深度由原来的1556编程了1318。

可以得出结论:

局部变量表内容越多,那么栈帧就越大,栈深度就越小。

2、结论

  • 随着线程栈的大小越大,能够支持越多的方法调用,也即是能够存储更多的栈帧;局部变量表内容越多,那么栈帧就越大,栈深度就越小。
  • 我们在评审写代码的时候,发现了堆栈溢出,可以查看下对应类的本地变量表,是不是太多了,可不可以优化下代码,或者加大下线程栈的大小,以增加栈的深度。

二、重温JVM知识1. JDK,JRE,JVM的联系是啥?

  • JVM Java Virtual Machine
  • JDK Java Development Kit
  • JRE Java Runtime Environment

直接上官网上的介绍的图片,一目了然。

2. JVM的作用是啥?

JVM有2个特别有意思的特性,语言无关性和平台无关性。

  • 语言无关性:是指实现了Java虚拟机规范的语言对可以在JVM上运行,如Groovy,和在大数据领域比较火的语言Scala,因为JVM最终运行的是class文件,只要最终的class文件复合规范就可以在JVM上运行。
  • 平台无关性:是指安装在不同平台的JVM会把class文件解释为本地的机器指令,从而实现Write Once,Run Anywhere

3.JVM运行时数据区

Java虚拟机在执行Java程序的过程中会把它所管理的内存划分为若干个不同的数据区域。这些区域都有各自的用途,以及创建和销毁的时间,有的区域随着虚拟机进程的启动而存在,有些区域则依赖用户线程的启动和结束而建立和销毁。

Java虚拟机所管理的内存将会包括以下几个运行时数据区域

其中方法区和堆是所有线程共享的数据区程序计数器,虚拟机栈,本地方法栈是线程隔离的数据区,画一个逻辑图

3.1程序计数器

程序计数器是一块较小的内存空间,它可以看作是当前线程所执行的字节码的行号指示器

为什么要记录当前线程所执行的字节码的行号?直接执行完不就可以了吗?

因为代码是在线程中运行的,线程有可能被挂起。即CPU一会执行线程A,线程A还没有执行完被挂起了,接着执行线程B,最后又来执行线程A了,CPU得知道执行线程A的哪一部分指令,线程计数器会告诉CPU。

3.2虚拟机栈

虚拟机栈存储当前线程运行方法所需要的数据,指令,返回地址等。

虚拟机栈描述的是Java方法执行的内存模型:每个方法在执行的同时都会创建一个栈帧用于存储局部变量表,操作数栈,动态链接,方法出口等信息。每个方法从调用直至执行完成的过程,就对应着一个栈帧在虚拟机栈中从入栈道出栈的过程。

局部变量表存储存储局部变量,是一个定长为32位的局部变量空间。其中64位长度的long和double类型的数据会占用2个局部变量空间(Slot),其余的数据类型只占用一个。引用类型(new出来的对象)如何存储?看下图

public int methodOne(int a, int b) {
    Object obj = new Object();
    return a + b;}

如果局部变量是Java的8种基本基本数据类型,则存在局部变量表中,如果是引用类型。如String,局部变量表中存的是引用,而实例在堆中。

假如methodOne方法调用methodTwo方法时, 虚拟机栈的情况如下:

当虚拟机栈无法再放下栈帧的时候,就会出现StackOverflowError。

接着解释一下操作数栈,还是比较容易理解的假如Test.java中有如下方法,

public int getSum(int a, int b) {
    return a + b;
}

反编译生成的Test.class文件,并输出到show.txt中

javap -v Test.class > show.txt

show.txt的内容如下

public int getSum(int, int);
  descriptor: (II)I
  flags: ACC_PUBLIC
  Code:
    stack=2, locals=3, args_size=3
       0: iload_1
       1: iload_2
       2: iadd
       3: ireturn
    LineNumberTable:
      line 12: 0

解释一下上面的语句

iload_1:局部变量1压栈

iload_2:局部变量2压栈

iadd:栈顶2个元素相加,计算结果压栈

简单2个数相加都会用到栈,这个栈就是操作数栈,更不用说复杂的语法了

3.3本地方法栈

本地方法栈(Native Method Stack)与虚拟机栈锁发挥的作用是非常相似的,他们之间的区别不过是虚拟机栈为虚拟机执行Java方法(也就是字节码)服务,而本地方法栈则为虚拟机使用到的Native方法服务。

3.4Java堆

对于大多数应用来说,Java堆(Java Heap)是Java虚拟机锁管理的内存中最大的一块。Java堆是所有线程共享的一块内存区域,在虚拟机启动时创建。此内存区域的唯一目的就是存放对象实例,几乎所有的对象实例都在这里分配内存。

3.5方法区

方法区(Method Area)与Java堆一样,是各个线程共享的内存区域,它用于存储已被虚拟机加载的类信息,常量,静态变量,即时编译器编译后的代码等数据。

4.JVM内存模型

由颜色可以看出,jdk1.8之前,堆内存被分为新生代,老年代,永久带,jdk1.8及以后堆内存被分成了新生代和老年代。新生代的区域又分为eden区,s0区,s1区,默认比例是8:1:1,元空间可以理解为直接的物理内存

以上就是Java的最大栈深度与JVM核心知识介绍的详细内容,更多关于Java最大栈深度与JVM核心知识的资料请关注我们其它相关文章!

(0)

相关推荐

  • 深入JVM剖析Java的线程堆栈

    在这篇文章里我将教会你如何分析JVM的线程堆栈以及如何从堆栈信息中找出问题的根因.在我看来线程堆栈分析技术是Java EE产品支持工程师所必须掌握的一门技术.在线程堆栈中存储的信息,通常远超出你的想象,我们可以在工作中善加利用这些信息. 我的目标是分享我过去十几年来在线程分析中积累的知识和经验.这些知识和经验是在各种版本的JVM以及各厂商的JVM供应商的深入分析中获得的,在这个过程中我也总结出大量的通用问题模板. 那么,准备好了么,现在就把这篇文章加入书签,在后续几周中我会给大家带来这一系列的专

  • JAVA JVM运行时数据区详解

    目录 一.前言 二.运行时数据区整体概架构 三.程序计数器 四.虚拟机栈 1.栈的特点 2.栈帧的内部结构 3.局部变量表 4.操作数栈 5.动态链接 6.方法返回地址 五.本地方法栈 六.堆 1.设置堆大小的参数 2.对象分配过程 3.堆中的GC 4.内存分配策略 5.什么是TLAB 6.堆是分配对象存储的唯一选择吗? 七.方法区 1.方法区概述 2.设置方法区内存大小 3.如何解决OOM问题? 4.方法区存储什么 5.方法区的演进细节 6.方法区的GC 总结 一.前言 这是JVM系列文章的第

  • Java 实现栈的三种方式

    栈:LIFO(后进先出),自己实现一个栈,要求这个栈具有push().pop()(返回栈顶元素并出栈).peek() (返回栈顶元素不出栈).isEmpty()这些基本的方法. 一.采用数组实现栈 提示:每次入栈之前先判断栈的容量是否够用,如果不够用就用Arrays.copyOf()进行扩容 import java.util.Arrays; /** * 数组实现栈 * @param <T> */ class Mystack1<T> { //实现栈的数组 private Object

  • java括号匹配算法求解(用栈实现)

    如何使用栈来判定括号是否匹配 对于给定的表达式,可以使用栈来实现括号匹配判定,这个算法在编译器中非常重要,解析器每次读入 一个字符,如果字符是一个开分隔符,如(,[,{,入栈,若读入的是闭分隔符),],},出栈,如果两者匹配,继续解析字符串,如果不匹配,解析器错误 算法思路 1.创建一个栈 2.当(当前字符不等于输入的结束字符) (1)如果当前字符不是匹配的字符,判断栈内是否为空,如果栈为空,括号必然不完整 (2)如果字符是一个开分隔符,那么将其入栈 (3)如果字符是一个闭分隔符,,且栈不为空,

  • JAVA jvm系列--java内存区域

    目录 一.JVM的组成 二.JVM运行流程 三.java内存区域详解(运行时数据区域) (一)程序计数器 (二)java虚拟机栈 (三)本地方法栈 (四)java堆 (五)方法区 运行时常量池 (六)直接内存 总结 JVM: Java Virtual Machine,Java虚拟机,包括处理器.堆栈 .寄存器等,是用来执行java字节码(二进制的形式)的虚拟计算机. 一.JVM的组成 JVM由以下四部分组成(两个子系统和两个组件): 类加载器(ClassLoader) 执行引擎(Executio

  • Java数组与堆栈相关知识总结

    一.数组创建 1.1 声明并赋值 int[] a = {1,2,3}; 1.2 声明数组名开辟空间并且赋值 int[] a; a = new int[]{1,2,3}; 1.3 声明数组时指定元素个数然后赋值 int[] a= new int[3]; 这里Java会默认数组元素值为0 1.4 在以上的基础上创建多维数组 int[][] a = {{1,2,3},{4,5,6},{7,8,9}}; //每个子数组元素个数不要求均相同 int[][] a = new int[m][n]; //其中n

  • Java 内存模型(JMM)

    目录 四.Happens-Before 规则 Java 内存模型 一.什么是 Java 内存模型 Java 内存模型定义如下: 内存模型限制的是共享变量,也就是存储在堆内存中的变量,在 Java 语言中,所有的实例变量.静态变量和数组元素都存储在堆内存之中.而方法参数.异常处理参数这些局部变量存储在方法栈帧之中,因此不会在线程之间共享,不会受到内存模型影响,也不存在内存可见性问题. 通常,在线程之间的通讯方式有共享内存和消息传递两种,很明显,Java 采用的是第一种即共享的内存模型,在共享的内存

  • java中利用栈实现字符串回文算法

    问题 给定一个由多个a和b组成的字符串数组,字符串中有一个特殊的字符X,位于字符串的正中间,例如(aaaabbbbXabaabbbb),如何判定该字符串是否回文 简单算法 定义两个下标分别指向字符串的头和尾,每次比较两个下标位置的值是否相等,如果不相等,那么输入的 字符串不是回文,如果相等,左边的下表加1,右边的下表减1,重复上述步骤直至两个下标都指向字符串的正中间或者确定字符串不是回文 /** * 判断字符串是否是回文 */ public int isPalindrome(String inp

  • 详解java中jvm虚拟机栈的作用

    jvm虚拟机栈的作用 jvm虚拟机栈栈帧的组成 jvm虚拟机栈,也叫java栈,它由一个个的栈帧组成,而栈帖由以下几个部分组成 局部变量表-存储方法参数,内部使用的变量 操作数栈-在变量进行存储时,需要进行入栈和出栈 动态连接-引用类型的指针 方法出口-方法的返回 一段原程序代码 package com.lind.basic; public class Demo1 { static int hello() { int a = 1; int b = 2; int c = a + b; return

  • java数据结构基础:栈

    目录 准备工作 编码环节 push方法 pop方法 empty方法 全部代码 总结 准备工作 工具:idea+jdk8 技术要求:java基础语法 编码环节 首先,我们得先确定下来,用什么数据来模拟栈的操作.由于是一个一个的元素放入栈里面,我们可以考虑用数组来实现. 以上是Java官方文档中的栈定义,我们也只需要实现三个方法:判断是否为空.移除栈顶对象.添加元素到栈的尾部 所以我们事先得定义一个数组: Objects[] arr; 数组定义好了之后呢,想想,我们怎么去获取到栈尾部或者栈首的元素呢

  • Java数据结构之栈的线性结构详解

    目录 一:栈 二:栈的实现 三:栈的测试 四:栈的应用(回文序列的判断) 总结 一:栈 栈是限制插入和删除只能在一个位置上进行的表,此位置就是表的末端,叫作栈顶. 栈的基本操作分为push(入栈) 和 pop(出栈),前者相当于插入元素到表的末端(栈顶),后者相当于删除栈顶的元素. 二:栈的实现 public class LinearStack { /** * 栈的初始默认大小为10 */ private int size = 5; /** * 指向栈顶的数组下标 */ int top = -1

随机推荐