JVM的基本结构及其各部分详解1

时间 2019-11-12

标签 jvm 基本结构及其各部详解栏目 Java 繁體版

原文原文链接

1 java虚拟机的基本结构如图：java

1）类加载子系统负责从文件系统或者网络中加载Class信息，加载的类信息存放于一块称为方法区的内存空间。除了类的信息外，方法区中可能还会存放运行时常量池信息，包括字符串字面量和数字常量（这部分常量信息是Class文件中常量池部分的内存映射）。算法

2）java堆在虚拟机启动的时候创建，它是java程序最主要的内存工做区域。几乎全部的java对象实例都存放在java堆中。堆空间是全部线程共享的，这是一块与java应用密切相关的内存空间。数组

3）java的NIO库容许java程序使用直接内存。直接内存是在java堆外的、直接向系统申请的内存空间。一般访问直接内存的速度会优于java堆。所以出于性能的考虑，读写频繁的场合可能会考虑使用直接内存。因为直接内存在java堆外，所以它的大小不会直接受限于Xmx指定的最大堆大小，可是系统内存是有限的，java堆和直接内存的总和依然受限于操做系统能给出的最大内存。网络

4）垃圾回收系统是java虚拟机的重要组成部分，垃圾回收器能够对方法区、java堆和直接内存进行回收。其中，java堆是垃圾收集器的工做重点。和C/C++不一样，java中全部的对象空间释放都是隐式的，也就是说，java中没有相似free()或者delete()这样的函数释放指定的内存区域。对于再也不使用的垃圾对象，垃圾回收系统会在后台默默工做，默默查找、标识并释放垃圾对象，完成包括java堆、方法区和直接内存中的全自动化管理。数据结构

5）每个java虚拟机线程都有一个私有的java栈，一个线程的java栈在线程建立的时候被建立，java栈中保存着帧信息，java栈中保存着局部变量、方法参数，同时和java方法的调用、返回密切相关。eclipse

6）本地方法栈和java栈很是相似，最大的不一样在于java栈用于方法的调用，而本地方法栈则用于本地方法的调用，做为对java虚拟机的重要扩展，java虚拟机容许java直接调用本地方法（一般使用C编写）jvm

7）PC（Program Counter）寄存器也是每个线程私有的空间，java虚拟机会为每个java线程建立PC寄存器。在任意时刻，一个java线程老是在执行一个方法，这个正在被执行的方法称为当前方法。若是当前方法不是本地方法，PC寄存器就会指向当前正在被执行的指令。若是当前方法是本地方法，那么PC寄存器的值就是undefined函数

8)执行引擎是java虚拟机的最核心组件之一，它负责执行虚拟机的字节码，现代虚拟机为了提升执行效率，会使用即时编译技术将方法编译成机器码后再执行。工具

2 java堆性能

java堆是和应用程序关系最为密切的内存空间，几乎全部的对象都存放在堆上。而且java堆是彻底自动化管理的，经过垃圾回收机制，垃圾对象会被自动清理，而不须要显示的释放。

根据java回收机制的不一样，java堆有可能拥有不一样的结构。最为常见的一种构成是将整个java堆分为新生代和老年代。其中新生代存放新生对象或者年龄不大的对象，老年代则存放老年对象。新生代有可能分为eden区、s0区、s1区，s0区和s1区也被称为from和to区，他们是两块大小相同、能够互换角色的内存空间。

以下图：显示了一个堆空间的通常结构：

在绝大多数状况下，对象首先分配在eden区，在一次新生代回收以后，若是对象还存活，则进入s0或者s1，每通过一次新生代回收，对象若是存活，它的年龄就会加1。当对象的年龄达到必定条件后，就会被认为是老年对象，从而进入老年代。其具体的垃圾回收算法在后面会介绍。

例1 ：经过简单的示例，展现java堆、方法区和java栈之间的关系

package com.jvm;
public class SimpleHeap {
　　private int id;
　　public SimpleHeap(int id){
　　　　this.id = id;
　　}
　　public void show(){
　　　　System.out.println("My id is "+id);
　　}

　　public static void main(String[] args) {
　　　　SimpleHeap s1 = new SimpleHeap(1);
　　　　SimpleHeap s2 = new SimpleHeap(2);
　　　　s1.show();
　　　　s2.show();
　　}
}

该代码声明了一个类，并在main函数中建立了两个SimpleHeap实例。此时，各对象和局部变量的存放状况如图：

SimpleHeap实例自己分配在堆中，描述SimpleHeap类的信息存放在方法区，main函数中的s1 s2局部变量存放在java栈上，并指向堆中两个实例。

3 java栈

java栈是一块线程私有的内存空间。若是说，java堆和程序数据密切相关，那么java栈就是和线程执行密切相关。线程执行的基本行为是函数调用，每次函数调用的数据都是经过java栈传递的。

java栈与数据结构上的栈有着相似的含义，它是一块先进后出的数据结构，只支持出栈和进栈两种操做，在java栈中保存的主要内容为栈帧。每一次函数调用，都会有一个对应的栈帧被压入java栈，每个函数调用结束，都会有一个栈帧被弹出java栈。以下图：栈帧和函数调用。函数1对应栈帧1，函数2对应栈帧2，依次类推。函数1中调用函数2，函数2中调用函数3，函数3调用函数4.当函数1被调用时，栈帧1入栈，当函数2调用时，栈帧2入栈，当函数3被调用时，栈帧3入栈，当函数4被调用时，栈帧4入栈。当前正在执行的函数所对应的帧就是当前帧（位于栈顶），它保存着当前函数的局部变量、中间计算结果等数据。

当函数返回时，栈帧从java栈中被弹出，java方法区有两种返回函数的方式，一种是正常的函数返回，使用return指令，另外一种是抛出异常。无论使用哪一种方式，都会致使栈帧被弹出。

在一个栈帧中，至少包含局部变量表、操做数栈和帧数据区几个部分。

提示：因为每次函数调用都会产生对应的栈帧，从而占用必定的栈空间，所以，若是栈空间不足，那么函数调用天然没法继续进行下去。当请求的栈深度大于最大可用栈深度时，系统会抛出StackOverflowError栈溢出错误。

例2 使用递归，因为递归没有出口，这段代码可能会抛出栈溢出错误，在抛出栈溢出错误时，打印最大的调用深度

　　package com.jvm;

　　public class TestStackDeep {
　　　　private static int count =0;
　　　　public static void recursion(){
　　　　　　count ++;
　　　　　　recursion();
　　　　}

　　　　public static void main(String[] args) {
　　　　　　try{
　　　　　　　　recursion();
　　　　　　}catch(Throwable e){
　　　　　　　　System.out.println("deep of calling ="+count);
　　　　　　　　e.printStackTrace();
　　　　　　}
　　　　}
　　}

使用参数-Xss128K执行上面代码（在eclipse中右键选择Run As-->run Configurations....设置Vm arguments），部分结果如图：

能够看出，在进行大约1079次调用以后，发生了栈溢出错误，经过增大-Xss的值，能够得到更深的层次调用，尝试使用参数-Xss256K执行上述代码，可能产生以下输出，很明显，调用层次有明显的增长：

注意：函数嵌套调用的层次在很大程度上由栈的大小决定，栈越大，函数支持的嵌套调用次数就越多。

3.1 栈帧组成之局部变量表

局部变量表是栈帧的重要组成部分之一。它用于保存函数的参数以及局部变量，局部变量表中的变量只在当前函数调用中有效，当函数调用结束，随着函数栈帧的弹出销毁，局部变量表也会随之销毁。

因为局部变量表在栈帧之中，所以，若是函数的参数和局部变量不少，会使得局部变量表膨胀，从而每一次函数调用就会占用更多的栈空间，最终致使函数的嵌套调用次数减小。

示例3：一个recursion函数含有3个参数和10个局部变量，所以，其局部变量表含有13个变量，而第二个recursion函数再也不含有任何参数和局部变量，当这两个函数被嵌套调用时，第二个recursion函数能够拥有更深的调用层次。

package com.jvm;

public class TestStackDeep2 {
　　private static int count = 0;
　　public static void recursion(long a,long b,long c){
　　　　long e=1,f=2,g=3,h=4,i=5,k=6,q=7,x=8,y=9,z=10;
　　　　count ++;
　　　　recursion(a,b,c);
　　}
　　public static void recursion(){
　　　　count++;
　　　　recursion();
　　}

　　public static void main(String[] args) {
　　　　try{
　　　　　　recursion(0L,0L,0L);
　　　　　　//recursion();
　　　　}catch(Throwable e){
　　　　　　System.out.println("deep of calling = "+count);
　　　　　　e.printStackTrace();
　　　　}
　　}
}

使用参数-Xss128K执行上述代码中的第一个带参recursion(long a,long b,long c)函数，输出结果为：

使用虚拟机参数-Xss128K执行上述代码中第二个不带参数的recursion()函数（固然须要把第一个函数注释掉），输出结果为：

能够看出，在相同的栈容量下，局部变量少的函数能够支持更深的函数调用。

使用jclasslib工具能够查看函数的局部变量表，以下图：最大局部变量表大小

该图显示了第一个带参recursion(long a,long b,long c)的最大局部变量表的大小为26个字，由于该函数包含总共13个参数和局部变量，且都为long型，long和double在局部变量表中须要占用2个字，其余如int short byte 对象引用等占用一个字。

说明：字（word）指的是计算机内存中占据一个单独的内存单元编号的一组二进制串，通常32位计算机上一个字为4个字节长度。

经过jclasslib工具查看该类的Class文件中局部变量表的内容，（这里说的局部变量表和上述说的局部变量表不一样，这里指Class文件的一个属性，而上述的局部变量表指java栈空间的一部分）

能够看到，在Class文件的局部变量表中，显示了每一个局部变量的做用域范围、所在槽位的索引（index列）、变量名（name列）和数据类型（J表示long型）

栈帧中局部变量表中的槽位是能够重用的，若是一个局部变量过了其做用域，那么在其做用域以后申明的新的局部变量就颇有可能会复用过时局部变量的槽位，从而达到节省资源的目的。

示例4 ：显示局部变量表的复用，在localvar1函数中，局部变量a和b都做用到了函数的末尾，故b没法复用a所在的位置。而在localvar2()函数中，局部变量a在第？行再也不有效，故局部变量b能够复用a的槽位（1个字）

package com.jvm;

public class TestReuse {
　　public static void localvar1(){
　　　　int a=0;
　　　　System.out.println(a);
　　　　int b=0;
　　}
　　public static void localvar2(){
　　　　{
　　　　　　int a=0;
　　　　　　System.out.println(a);
　　　　}
　　　　int b=0;
　　}
}

如图显示localvar1()函数的局部变量表，该函数局部变量大小为2个字，（最大局部变量表中通常第一个局部变量槽位是this引用）第一个槽位是变量a，第二个槽位是变量b，每一个变量占一个字。

而localvar2()函数的局部变量表信息以下图，虽然和localvar1()同样，可是b复用了a的槽位，（从他们都占用同一个槽位index都是0能够看出），所以在整个函数执行中，同时存在的局部变量为1字。

局部变量表中的变量也是垃圾回收根节点，只要被局部变量表中直接或者间接引用的对象都是不会被回收的。

示例5：经过一个简单示例，展现局部变量对垃圾回收的影响

package com.jvm;

public class LocalvarGC {
　　public void localvarGc1(){
　　　　byte[] a = new byte[6*1024*1024];//6M
　　　　System.gc();
　　}
　　public void localvarGc2(){
　　　　byte[] a = new byte[6*1024*1024];
　　　　a = null;
　　　　System.gc();
　　}
　　public void localvarGc3(){
　　　　{
　　　　　　byte[] a = new byte[6*1024*1024];
　　　　}
　　　　System.gc();
　　}
　　public void localvarGc4(){
　　　　{
　　　　　　byte[] a = new byte[6*1024*1024];
　　　　}
　　　　int c = 10;
　　　　System.gc();
　　}
　　public void localvarGc5(){
　　　　localvarGc1();
　　　　System.gc();
　　}
　　public static void main(String[] args) {
　　　　LocalvarGC ins = new LocalvarGC();
　　　　ins.localvarGc1();
　　}
}

每个localvarGcN()函数都分配了一块6M的堆内存，并使用局部变量引用这块空间。

在localvarGc1()中，在申请空间后，当即进行垃圾回收，很明显因为byte数组被变量a引用，所以没法回收这块空间。

在localvarGc2()中，在垃圾回收前，先将变量a置为null，使得byte数组失去强引用，故垃圾回收能够顺利回收byte数组。

在localvarGc3()中，在进行垃圾回收前，先使局部变量a失效，虽然变量a已经离开了做用域，可是变量a依然存在于局部变量表中，而且也指向这块byte数组，故byte数组依然没法被回收。

对于localvarGc4()，在垃圾回收以前，不只使变量a失效，更是声明了变量c，使变量c复用了变量a的字，因为变量a此时被销毁，故垃圾回收器能够顺利回收数组byte

对于localvarGc5()，它首先调用了localvarGc1()，很明显，在localvarGc1()中并无释放byte数组，但在localvarGc1()返回后，它的栈帧被销毁，天然也包含了栈帧中的全部局部变量，故byte数组失去了引用，在localvarGc5()的垃圾回收中被回收。

可使用-XX:+printGC执行上述几个函数，在输出日志里，能够看到垃圾回收先后堆的大小，进而推断出byte数组是否被回收。

下面的输出是函数localvarGc4()的运行结果：

[GC (System.gc()) 7618K->624K(94208K), 0.0015613 secs]
[Full GC (System.gc()) 624K->526K(94208K), 0.0070718 secs]

从日志中能够看出，堆空间从回收前的7618K变为回收后的624K，释放了>6M的空间，byte数组已经被回收释放。

局部变量表中的变量也是垃圾回收根节点，只要被局部变量表中直接或者间接引用的对象都是不会被回收的。

示例5：经过一个简单示例，展现局部变量对垃圾回收的影响

package com.jvm;

每个localvarGcN()函数都分配了一块6M的堆内存，并使用局部变量引用这块空间。

在localvarGc1()中，在申请空间后，当即进行垃圾回收，很明显因为byte数组被变量a引用，所以没法回收这块空间。

在localvarGc2()中，在垃圾回收前，先将变量a置为null，使得byte数组失去强引用，故垃圾回收能够顺利回收byte数组。

可使用-XX:+printGC执行上述几个函数，在输出日志里，能够看到垃圾回收先后堆的大小，进而推断出byte数组是否被回收。

下面的输出是函数localvarGc4()的运行结果：

[GC (System.gc()) 7618K->624K(94208K), 0.0015613 secs]
[Full GC (System.gc()) 624K->526K(94208K), 0.0070718 secs]

从日志中能够看出，堆空间从回收前的7618K变为回收后的624K，释放了>6M的空间，byte数组已经被回收释放。