JVM基础回顾记录(一):JVM的内存模型

一、JAVA程序执行流程

JAVA程序执行的基本流程(基于HotSpot):

图1

二、内存模块划分

2.1:程序计数器

程序计数器是一块较小的内存空间,是当前线程执行字节码的行号指示器,字节码解释器就是通过改变这个计数器的值来获取下一条需要执行的字节码指令,其中分支、循环、跳转和异常处理,线程恢复等基础功能均需要依赖该计数器完成。由于jvm的多线程是通过线程轮流切换并分配CPU执行时间的方式实现,在任何时刻,一个CPU都只会执行其中一条线程里的指令,为了使线程发生切换后可以顺利的定位到上次发生切换时的执行位置,每个线程都有一个独立的程序计数器,每条线程的计数器相互独立,这块存储区域被称为线程私有内存。

2.2:方法区

也是线程共享的一块区域,这块区域主要用来存储已被虚拟机加载的类信息、常量、静态变量、即时编译器编译后的代码等数据,HotSpot虚拟机实现该区域时采用的一块区域实现,目的是为了让GC分代收集扩展至方法区(比如类卸载时是需要GC参与的),因此在堆空间里划分出一个代来存储方法区里的内容,这块区域通常被称作永久代,该块区域大小通过-XX:MaxPermSize来设置(因此可能会出现OOM的情况),不过需要说明的是,J8已经没有这块区域了,而且J7的时候已经将常量池由该块区域转移到实际的堆内存里了(实验证明,J7和J8的时候,常量池已经被存进了实际的堆内存,但区别是J7的类信息等还放在永久代中)。J8有了元数据存储,已经彻底去除了永久代的概念,具体了解:Java8内存划分,这是方法区所做出的重大变更(J7算是废除永久代的过渡期):

图2

2.3:堆

jvm管理的最大一块区域,jvm启动时创建,用来存放对象实例,几乎所有的对象都在这里分配内存,通过-Xmx-Xms控制其大小。这块区域是GC管理的主要区域,从内存回收角度来看,现在的内存回收基本都采用分代收集算法,所以该区域还可以细分(如图1堆空间细分),进一步划分的目的是为了更好的回收内存或更快的分配内存。这里列一下例子里用到的参数(也是比较常用的参数):

名称 含义
-xms 堆初始化大小
-xmx 堆最大大小(一般来说,-xms-xmx设置大小一致,以避免每次垃圾回收完成后JVM重新分配内存)
-xmn 新生代大小(结合图1理解),这里需要提一下-XX:newSize-XX:MaxnewSize这俩参数,第一个是指新生代初始大小,第二个是指新生代最大大小,同样为了避免JVM重新分配内存,这俩数值一般设置为一样的,所以jdk4出来了-xmn,一个配置,可以对上述俩参数同时生效
-XX:NewRatio 新生代(Eden+2Survivors)与老年代的大小比值,如果值为2,则新生代:老年代=1:2(如果设置了-xmn指定了新生代大小,则无需设置此项,两个都设置,只生效一个)
-XX:SurvivorRatio 新生代中,Eden区与两个Survivor的大小比值,如果设置为4,则eden:survivor1:survivor2 = 4:1:1)
-xss 栈大小,一般默认128k,如果调用栈不是很深(比如很深的递归程序),保持默认即可
表1
2.3.1:堆配置详解

现在让我们把图1中的“堆空间细分”部分放大,结合下面的配置信息和表1中的含义(-Xss和永久代不会体现在图里),来用图说明下:

  • 配置1:-Xmx3072m -Xms3072m -Xmn2g -XX:SurvivorRatio=4 -Xss128k

上面的配置表示堆区总大小为3550M,新生代大小为2G(2048M,这里只是说明问题才配置这么大,实际生产中,新生代要小于老年代),新生代Eden区和两个Survivor区的比例为4:1:1,用图来直观的表达一下这个配置:

图3

  • 配置2:-Xmx3072m -Xms3072m -XX:NewRatio=2 -XX:SurvivorRatio=4 -Xss128k

上面的配置表示堆区总大小为3550m,新生代:老年代=1:2(HotSpot默认),新生代eden区和两个survivor区的比例为4:1:1,用图来直观的表达一下这个配置:

图4

2.4:虚拟机栈

也就是常说的栈,线程私有,生命周期与线程相同,虚拟机栈用来描述java方法(java method)执行的内存模型,每个方法执行时都会创建一个栈帧,用于存储局部变量表操作数栈动态链接方法出口等信息,一个方法的调用到其完成调用对应一个栈帧在虚拟机的入栈到出栈。

局部变量表里存放着编译期可知的基本数据类型、对象引用Reference(可能是指向实例对象地址的一个引用指针,也可能是代表实例对象的一个句柄)、以及returnAddress(指向一条字节码的执行命令的地址)。在此区域,如果线程的请求深度大于虚拟机允许的深度,将会抛出StackOverFlowError异常,这个可以通过一个无限制递归或者递归深度设置一个很大的数来证明:

代码块1
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
public class Recursion {

public static int i = 0;

public static void main(String[] args) {
Recursion t = new Recursion();
t.recursion();
System.out.println("程序正常结束~");
}

public void recursion(){
i++;
if(i > 30000){ //这里做适当调整,减小则不报栈溢出异常,扩大(比如这里的3w)就会报栈溢出
return;
}
recursion();
}
}

看注释那里调整即可证明。栈大小通过-Xss参数来调整,需要注意的是,这个参数是对每个线程生效的(栈帧),一般情况下,这个设置的值越小,支持创建的线程数就越多(并非可以无限多,最终受操作系统限制,操作系统针对每个进程也有个最大线程数的限制),栈里存储的大部分数据,都会随着栈帧的结束(即method调用完成)而被回收,所以一般递归更容易造成栈溢出问题。

2.5:本地方法栈

意义类似虚拟机栈,只不过本地方法栈服务于本地native方法调用(JNI),我们常用的虚拟机HotSpot已将该区和虚拟机栈做了合并。