一、运行时数据区域
Java虚拟机在执行Java程序的过程中会把它所管理的内存划分为若干个不同的数据区域,其中包括:虚拟机栈、堆、方法区、本地方法栈、程序计算器。
二、虚拟机栈
虚拟机栈描述的是Java方法执行的内存模型,每个方法在执行的同时都会创建一个栈帧。而栈帧是虚拟机进行方法调用和方法执行的数据结构,属于虚拟机栈的元素单元,它存储了方法的局部变量表、操作数栈、动态链接和方法返回的地址等信息。
由上图可以整体看到JVM虚拟机中,虚拟机栈这条分支的组成:JVM虚拟机 > 虚拟机栈 > 线程 > 栈帧。
1)、局部变量表
局部变量表存放方法的参数和定义在方法体内的局部变量,如各种基本数据类型(boolean、byte、char、short、int、float、long、double)、对象的引用(注意不是对象本身,对象本身存在在堆中,这里指的是对象的起始地址的引用指针或者指向一个对象的句柄或者对象的相关位置)。局部变量表所需要的空间在编译期完成分配,当进入一个方法时,这个方法需要再帧中分配多大的局部变量空间是完全确定的,在方法运行期间不会改变局部变量表的大小。
public class test{
public static void main(String[] args){
int a = 1;
int b = 2;
}
}
在上面的这段代码中,其中main方法的参数args 和局部变量a 、b都存放在局部变量表中,在编译期就会确定局部变量表的本地变量最大长度,再对应每个变量的类型,所确定需要的内存空间。
2)、操作数栈
操作数栈,在方法执行过程中,根据字节码指令,向栈中写入或提取数据。
图1:操作数栈执行读取a的指令,把a放入栈。
图2:执行把a=1存入局部变量表,并从操作数栈出栈。
图3:继续执行读取b的指令,把b入栈
图4:执行把b=2存入局部变量表,并从操作数栈出栈
图5 、6:执行a + b的指令,然后从局部变量表的1和2的位置取出a和b,进入操作数栈
图7:由cpu去计算出a+b的结果,把a、b出栈,并写入c,再从操作数栈中,执行把c存入局部变量表的指令。
3)、动态链接
首先,每个栈帧都包含一个执行运行时常量池(注意:常量池是在jvm虚拟机的方法区的)中,该栈帧所属的方法的引用,那么动态链接主要是指向运行时的常量池的方法引用。
4)、方法返回地址
记录方法被调用的位置,确保方法返回时,外层程序可继续执行。
三、堆
堆是Java虚拟机所管理内存中最大的一块,可被所有线程共享的内存区域。存放所有被new出来的对象。堆中的对象在运行期new的时候再动态分配内存,生命期事先编译器并不知晓,内存空间最终由java的垃圾回收器自动处理。看下面代码:
String str1 = "xxx";
String str2 = new String("xxx");
String str3 = new String("xxx");
System.out.println(str1 == str2);
System.out.println(str2 == str3);
在上面的代码中,str2 和 str3 是通过new出来的,他们是存放在堆内存中,所以在虚拟机栈中存放的是他们在堆中的地址,而str1会在常量池里查找,如果没有在常量池创建,如果有,则虚拟机栈直接指向常量池的xxx常量。
所以结果应该是显而易见的了,打印结果:false false
四、程序计数器
程序计算器是一块比较小的内存空间,可以看作是当前线程所执行的字节码的行号指示器。字节码解析器工作时就是通过改变计数器的值来选取下一条需要执行的字节码指令,分支、循环、跳转、异常处理、线程恢复等基础功能都需要依赖计算器来完成。
五、方法区
方法区域堆一样,是各个线程共享的内存区域,它用于存储已被虚拟墙加载的类信息、常量、静态变量、即时编译器编译后的代码等数据。
运行时常量池是方法区的一部分,Class文件中除了有类的版本、字段、方法、接口等描述信息外,还有一项信息是常量池,用于存放编译期生成的各种字面量和符号引用。比如说,下面
int a = 1;
int b = 1;
a在栈中存放的是1这个字面量的地址,当执行到b的时候,会去找常量池里面有没有1这个字面量,如果有,则b在栈中存放的值也是这个1的字面量的地址,如果对比a == b?,那么结果是true。
六、本地方法栈
本地方法栈和虚拟机栈所发挥的作用非常类似,他们之间的区别不过是虚拟机栈未虚拟机执行Java方法服务,而本地方法栈则为虚拟机使用到的Native方法服务。