java虚拟机 jvm 局部变量表实战

2021-11-14 13:54:10

java局部变量表是栈帧重要组中部分之一。他主要保存函数的参数以及局部的变量信息。局部变量表中的变量作用域是当前调用的函数。函数调用结束后，随着函数栈帧的销毁。局部变量表也会随之销毁，释放空间。

由于局部变量表存在栈帧中。所以，如果函数参数和局部变量比较多，会使的局部变量表膨胀，每一次调用会占用更多的栈空间。最终结局就是栈空间内存一定的情况下调用的次数减少。

1.1.1. 局部变量表变量影响

下面的代码演示在栈空间内存一定的情况下，参数以及局部变量的大小对函数调用次数的影响。第一个函数recursion()不包含任何的参数和局部变量,第二个函数recursion()包含3个参数和4个局部变量，因此我们也可以算出局部变量表中包含了13个变量信息。第一个局部变量表拥有更深的调用层次。代码如下：

private static int count=0;
public static void recursion(int a,int b,int c){
long l1=12;
short sl=1;
byte b1=1;
String s="1";
System.out.println("count="+count);
count++;
recursion(1,2,3);
}
public static void recursion(){
System.out.println("count="+count);
count++;
recursion();
}

使用jvm参数-Xss128K执行上面第一个无参的recursion()函数，输出结果如下：

count=4495
Exception in thread "main" java.lang.*Error
at sun.nio.cs.UTF_8.updatePositions(UTF_8.java:77)

使用jvm参数-Xss128K执行上面第二个个有参的recursion()函数，输出结果如下：

count=3865
Exception in thread "main" java.lang.*Error
at sun.nio.cs.UTF_8.updatePositions(UTF_8.java:77)
at sun.nio.cs.UTF_8$Encoder.encodeArrayLoop(UTF_8.java:564)
at sun.nio.cs.UTF_8$Encoder.encodeLoop(UTF_8.java:619)

可以得出结论：

在同等的栈容量下，局部变量少的函数可以支持更深的函数调用。调用次数也就越多。

如何证明结论是正确的呢？在这里我们借助jclasslib工具来查看局部变量表的局部变量信息。

下图显示了无参的recursion()函数最大的局部变量表大小为0个字。有参的recursion()函数最大的局部变量表大小为8个字。在这里说明一下：

int、short、byte、对象引用等占用一个字。long和double在局部变量中需要占用2个字。

(字一个字在32位计算机中为4个字节的长度)

我们来算一下recursion(1,2,3);方法局部变量表的大小。

三个参数为int 所以是3

long l1=12; 2

short sl=1; 1

byte b1=1; 1

String s="1"; 1

所以说一共是8个字。

需要强调的一点是这里说的局部变量表指的是java栈空间的一部分，不要跟下面说的classs字节码中的局部变量表混淆。

下面展示class字节码中的局部变量表的内容：

从图中看以看出来一些信息：

在Class文件的局部变量表定义中，显示了每一个局部变量的作用范围、所在槽位的索引信息(index列信息)，

变量的名称(name列)和数据类型信息(descriptor列)

数据类型信息映射：

I---int类型

D--double类型

B-byte类型

Ljava/lange/Integer --Integer类型

Ljava/lange/String--String类型

S--short类型

栈帧中的局部变量的槽位是可以重复使用的。如果一个声明的变量过了其作用域，那么其作用域之后申请的变量有可能复用过期的局部变量的槽位，从而能够达到节省资源目的。

1.1.2. 局部变量表槽位的复用

下面得代码显示了局部变量表槽位的复用。localVar1()函数中，局部变量a和b得范围都是到了函数的末尾所以b是没有办法复用a的卡槽所在的位置。localVar2()函数中，局部变量a在}之后不在有效了，所以b是可以复用a的卡槽的位置都是int类型所以是1个字。程序如下所示：

public void localVar1(){

int a=0;

System.out.println(a);

int b=0;

}

public void localVar2(){

{

int a=0;

System.out.println(a);

}

int b=0;

}

使用jclasslib工具来查看局部变量表的局部变量localVar1()信息如下图：

该函数最大的局部变量大小3个字，卡槽0位为thsi引用(实例方法的第一个局部变量都是this)，第一个卡槽位变量为a,第二个卡槽位变量为b,每个变量是1个字所以一共是三个字。

使用jclasslib工具来查看局部变量表的局部变量localVar2()信息如下图：

该函数最大的局部变量大小2个字，卡槽0位为thsi引用(实例方法的第一个局部变量都是this)，第一个卡槽位变量为a,第二个卡槽位变量为b,每个变量是1个字但是b变量复用了a卡槽位所以一共是2个字。

局部变量表也是作为垃圾回收gc的重要参考点，只要被局部变量表中直接或者间接引用的对象都不会被回收。所以必须要理解局部变量表才能理解gc回收机制。

下面的主要讲解说明局部变量对垃圾回收的影响。