jvm系列-01初识虚拟机与java虚拟机

Posted huisheng_qaq

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了jvm系列-01初识虚拟机与java虚拟机相关的知识,希望对你有一定的参考价值。

JVM系列整体栏目


内容链接地址
【一】初识虚拟机与java虚拟机https://blog.csdn.net/zhenghuishengq/article/details/129544460
【二】jvm的类加载子系统以及jclasslib的基本使用https://blog.csdn.net/zhenghuishengq/article/details/129610963
【三】运行时私有区域之虚拟机栈、程序计数器、本地方发栈https://blog.csdn.net/zhenghuishengq/article/details/129684076

初识虚拟机与java虚拟机

一,虚拟机与java虚拟机

1,虚拟机

所谓虚拟机(Virtual Machine),就是一台虚拟的计算机。他是一款软件,用来执行一系列虚拟的计算机指令。虚拟机大概可以分为系统虚拟机程序虚拟机

  • Visual Box、VMware就属于系统虚拟机,他们完全是对物理计算机的仿真,提供了一个可运行完整操作系统的软件平台。

  • 程序虚拟机的典型代表就是java虚拟机,它专门为执行单个计算机程序而设计,在java虚拟机中执行的指令被 称为Java字节码指令。

2,java虚拟机

主要是用来执行java字节码的虚拟机计算机,拥有独立的运行机制,其运行的java字节码也不一定只能由java语言编译而成,其他语言只要遵循该虚拟机中的规范,也可以通过解析这些字节码文件来编译。

JVM平台的各种语言可以共享Java虚拟机带来的跨平台性,优秀的垃圾回收器,以及可靠的即时编译器。Java技术的核心就是Java虚拟机,名称为Java Virtual Machine,简称JVM。所有的Java程序都运行在Java虚拟机的内部。

java虚拟机的作用

java虚拟机就是二进制字节码的运行环境,主要负责装载字节码到其内部,解释或者编译为对应平台的机器指令执行,每一条Java指令,Java虚拟机规范中都有详细的定义。比如说如何取操作数,怎么处理操作数,把结果放到哪里等。

Java虚拟机的特点

  • 一次编译,到处运行
  • 自动内存管理
  • 自动垃圾回收机制

3,jvm整体结构图

上面说到java虚拟机的简称就是jvm,而这个HotSpot VM 是目前市面上高性能虚拟机的代表作之一,它主要是采用即时编译器和解释器保存的架构来实现,其整体的结构图如下:

把这幅图从上往下看,可以分为三层:

  • 第一层就是最上面这层,就是一些Class files,就是一些二进制的字节码文件,然后需要通过一个Class的类加载器进行一个文件的加载,将这些二进制文件加入到内存当中;

  • 第二层就是运行时数据区,就是通过这个类加载器加载进来的内存区域,里面主要有一些堆栈,方法区,程序计数器等等,并且在改层中,方法区和堆是属于公共区域,是线程共享的,而其他的栈和程序计数器,都是每个线程私有的;

  • 第三层就是这个执行引擎,主要有一些即时编译器,解释器和垃圾回收器。

4,jvm的架构模型

Java编译器输入的指令流主要有两种,一种是基于栈的指令集架构,另一种是基于寄存器的指令集架构。

基于栈架构的特点

  • 设计和实现更简单,适用于资源受限的系统,比如说嵌入式设备等
  • 避开了寄存器的分配难题,而是直接使用零地址指令方式分配,即不需要分配地址,直接操作值即可
  • 由于大部分执行过程时依赖栈,因此大部分是使用零地址指令,其指令集更小,易编译
  • 由于在栈中操作,不依赖硬件,可以直接在内存中操作,其可移植性好,可以更好的实现跨平台操作

基于寄存器架构的特点

  • 性能更加优秀,执行的效率更高,可以直接在高速缓存区中工作
  • 都是需要依赖于硬件,因此其可移植性差
  • 相对于基于栈操作,寄存器会花费更少的指令去完成一项工作
  • 寄存器架构指令往往是一,二,三地址指令,一级指令的含义就是存在一个地址和一个操作,二级指令就是两个地址和两个操作值,以此类推。

架构模型总结

为了解决java的跨平台性问题,Java指令是根据这个栈指令集来进行设计的。不同平台的CPU架构不同,所以不能设计为基于寄存器的。

相对而言,栈指令集的跨平台性会更好,并且其指令集小,但是其指令会更多,其性能相较于这个寄存器会更差。

5,jvm的生命周期

jvm的生命周期主要有启动,执行和停止三个部分组成。

虚拟机的启动

在java的官方规范中,Java虚拟机的启动是通过引导类的类加载器来创建初始类的,这个类是由虚拟机的具体指定实现的,即不同商家的虚拟机所决定。

虚拟机的执行

java虚拟机的主要任务就是执行java程序。在程序开始时java虚拟机就开始运行,程序结束时java虚拟机就停止。在执行一个所谓的Java程序的时候,真真正正在执行的是一个叫做java虚拟机的进程。

虚拟机的退出

程序正常执行结束,或者遇到异常,或者操作系统出现错误这些都会让程序结束,除了这些之外,在调用Runtime或者System系统类的时候也会让这个虚拟机退出。除此之外,在使用JNI加载或者卸载java虚拟机的时候,java虚拟机也会出现退出的情况。

6,jvm的种类划分

6.1,Sun Classic Vm

在1996java1.0版本的时候,Sun公司发布了一款名为Sun Classic VM的Java虚拟机,他同时也是第一款商用的Java虚拟机,在JDK1.4版本的时候正式被淘汰。

在这款虚拟机中,只提供解释器而没有即时编译器,如果使用这种JIT即时编译器,就需要外挂,但是在使用这个即时编译器的时候,这个解释器就不能工作,从而解释器和这个编译器就不能协同的工作,因此这个款虚拟机被淘汰。

解释器和这个JIT即使编译器都可以认作是一个翻译器,并且在当今流行的HotSpot虚拟机中,这两种方式是一起协同工作的。解释器就是正常用来解释字节指令的机器,而这个即时编译器有着缓存热代码的作用,可以提升工作效率。

这两者最大的区别就是:解释器响应快,但是执行效率较低,就相当于步行,但是可以一直不停;而即时编译器是需要通过编译成机器指令的,因此需要一段时间就行等待,但是一旦编译通过,那么其执行效率就很高,相当于火车。这两种是通过合作的方式共存的,当JIT即使编译器处于这个等待的状态,那么就通过解释器来执行,反之则使用这个JIT即时编译器来执行。

6.2,Exact VM

为了解决解释器和即时编译器不能共用的问题,在jdk1.2的时候,Sum提供了这个Exact VM ,准确式内存管理,虚拟机可以知道内存中的某个位置的数据具体是什么类型。但是只在Solaris平台短暂使用,在其他平台还是使用的classic Vm

6.3,HotSpot虚拟机

现在主流的还是该款虚拟机,不管是目前比较火的Oracle JDK还是OpenJdk,HotSpot都是里面的默认的虚拟机。像这个方法区的概念,就是这个虚拟机独有的。

6.4,JRockit虚拟机

主要是注重于服务端的应用,他可以不用关注程序的启动速度,因此JRockit内部不包含解释器,全部代码都靠及时编译器来完成。据研究显示,该款虚拟机是全世界最快的虚拟机。

jvm系列-03精通运行时数据区私有区域---虚拟机栈程序计数器本地方法栈

JVM系列整体栏目


内容链接地址
【一】初识虚拟机与java虚拟机https://blog.csdn.net/zhenghuishengq/article/details/129544460
【二】jvm的类加载子系统以及jclasslib的基本使用https://blog.csdn.net/zhenghuishengq/article/details/129610963
【三】运行时私有区域之虚拟机栈、程序计数器、本地方法栈https://blog.csdn.net/zhenghuishengq/article/details/129684076

精通运行时数据区私有区域

深入理解运行时数据区的内容

1,运行时数据区的组成部分

在jvm的整个内存结构中,通过类加载器的子系统,将字节码文件加载到运行时数据区中。

在运行时数据区中,主要包含方法区,堆,虚拟机栈,本地方法栈和程序计数器,同时运行时数据区中还存在与其他区域的交互。在jdk1.8之后,方法区又被称为元空间

在java虚拟机中,定义了若干程序在运行时期间会使用到这个运行时数据区,期中有一些会随着虚拟机的启动而创建,随着虚拟机的退出而销毁,即和当前进程的生命周期是一样的。另外也存在一些是与线程一一对应的,这些线程对应的数据区域会随着线程开始和结束而创建和销毁。

通过上图运行时数据区的内容分可知,红色部分是线程共享的,会随着虚拟机的创建而创建,销毁而销毁,灰色部分是线程私有的

🖐 线程私有:程序计数器,本地方法栈和虚拟机栈

🖐 线程共享:堆,堆外内存(永久代或者元空间、代码缓存等)

2,程序计数器

2.1,程序计数器概述

程序计数器,又被称为PC寄存器,英文名为Program Counter Register,类似于CPU寄存器的一个模拟,用于存储指令相关的现场信息,CPU只有吧数据装在到寄存器才能够运行。

程序计数器主要是用来存储指向下一条指令的地址,也是即将要执行的指令代码,有执行引擎读取下一条指令。每个线程有属于自己的程序计数器,生命周期与当前线程的生命周期一致。

它是持续的控制流的指示器,分支,循环,跳转,异常等基础功能都是通过这个计数器来完成的,字节码解释器工作时就是通过改变这个计数器的值来选取下一条需要执行的字节码指令

2.2,程序计数器的作用

主要是在多线程的场景下,如果出现资源抢占,CPU就会出现轮换以及线程的切换,当前线程就会出现挂起的情况,因此可以通过记录这个行号,再次运行该线程时,就不需要从头开始运行,只需要从记录的行数再次运行即可。

每个线程都会记录当前线程运行到哪一行,因此需要给每个线程一个程序计数器,因此程序计数器属于线程私有。

3,虚拟机栈

3.1,虚拟机栈的基本概述

在内存中,栈是运行时的单位,而堆是存储单位。栈解决的是程序的运行问题,即程序如何执行,数据如何处理;而堆解决的是数据的存储问题,即数据应该怎么放,放哪儿。

虚拟机栈是线程私有的,因此每个线程都会创建一个虚拟机栈,其内部保存一个个的栈帧,对应着一次次的Java方法的调用,其生命周期个线程是一致的。

虚拟机栈主管Java程序的运行,用于保存方法的局部变量,部分结果,并参与方法的调用和返回。

3.2,虚拟机栈的特点

🖐 快速有效的分配存储方式,访问速度仅次于程序计数器

🖐 主要操作只有两个,分别是入栈和出栈

🖐 对于栈来说不存在垃圾回收问题,如GC,OOM等

3.3,栈中可能出现的异常

🖐 StackOverflowError:栈溢出

🖐 OutOfMemoryError:没有足够的内存异常

设置栈的大小:-Xss1024k

3.4,栈运行的原理

🐵 不同线程中所包含的栈帧是不允许存在相互引用的,即不可能在一个栈帧中引用另一个线程的栈帧

🐵 如果当前方法调用了其他方法,方法返回之际,当前栈帧会传回此方法的执行结果给当前栈帧,接着虚拟机就会废弃当前栈帧,使得前一个栈帧重新成为当前栈帧

🐵 Java方法有两种返回函数的方式,一种是正常的函数返回,使用的是return指令;另一种是在没有处理异常的时候抛出异常。不管使用那种方式,都会导致栈帧被弹出。

3.5,栈帧的内部结构

在栈帧中主要由五部分组成,分别是局部变量表,操作数栈,方法返回地址,动态链接和一些附加信息等。

这五部分的大小影响着栈帧的大小,而栈帧的大小同时也影响着栈帧个数的多少。

3.6,局部变量表(重点)

Local variables:局部变量表,又被称为局部变量数组或者本地变量表。

定义为一个数字数组,主要用于存储方法参数和定义在方法体内的局部变量,这些数据类型主要包括各种基本的数据类型,对象引用以及returnAddress类型。

public void test(int i,int j)
    String m;
    String  n;

由于局部变量表是建立在线程的栈上,栈中的线程是私有的数据,因此不存在数据的安全问题。

局部变量表所需要的容量大小是在编译期间就被确认下来,并且在运行期间是不会修改局部变量表的大小的。

局部变量表中的变量只在当前方法中调用有效,在方法执行时,虚拟机通过使用局部变量表完成参数值到参数变量列表的传递过程,当方法调用结束之后,随着方法栈帧的销毁,局部变量表也会随之销毁。

3.6.1,槽

在讲解这个槽之前,再先了解一下这个jclasslib对实例方法的使用,在对这个类进行编译之后,然后打开查看这个bytecode,在这个SlotTest类中,定义了一个main方法和一个test1的实例方法

然后可以直接分析这个右边Methods下面的test1方法中的Code属性,可以发现右边存在三个字段,分别是ByteCode,Exception和misc。

byteCode指的是反编译的字节码指令,左边白色编号1-19部分代表的是在代码中出现的位置,右边红色的编号0-32代表的是字节码指令的位置;


Exception table指的是出现的异常情况;

misc中第一个字段表示的是版本,第二个字段表示的是出现的变量的个数,第三个字段表示的是字节码之类的长度。

在这个Code下面,存在两个字段,分别是LineNumberTable和LocalVariableTable这两个属性,LineNumberTable中的详细如下,主要指的是字节码指令个代码出现的位置的一一映射

LocalVariableTable的详细信息如下,主要是指的是一些变量的个数以及对应的值。

好了,在了解这个字节码的反编译是如何操作的之后,接下来再详细的了解一下这个重点内容在局部变量表中,其最基本的存储单元是Slot(变量槽),而32位内的类型占一个槽,64位类型占两个槽,其中引用类型也是占32位,但是Long和Double占两个slot。

jvm会为局部变量表中的每一个Slot分配一个访问索引,通过这个索引就可以成功的访问到局部变量表中指定的局部变量值。

当存在一个实例方法被调用的时候,它的方法参数和方法体内部定义的局部变量将会按照顺序被复制到局部变量表的每一个slot上。

如果是当前帧是由构造方法或者是实例方法创建的,那么该对象引用this将会存放在index为0的slot处,其余的按照参数顺序表继续,这就是为啥我上面要先说明这个jclasslib的实例方法的各个参数了,如下面的这个test1中,这个this是存在这个index下标为0处的

接下来再在这个方法里面加一个构造方法和一个静态的类方法

public SlotTest()
    int j = 10;
    System.out.println(j);


public static void test2()
    System.out.println("hello jvm!");

可以发现这个构造方法是在init中的,其也存在这这个this,并且存放在这个index下标为0的地方

但是这个static的这个test2方法中,是没有这个LocalVariableTable属性的,因此也就没有this这个字段

因此可以说明,在实例方法和构造方法中,其局部变量表示存在这个this字段的,而静态方法中的局部变量表是不存在这个this字段的,因此这就说明了为什么可以在实例方法和构造方法中使用this这个字段,而不能在类方法中使用这个this字段了。

在栈帧中,如果变量出了这个作用域,那么该槽位也能被重复利用。

3.6.2,静态变量与局部变量

在变量的分类中,主要是按两种方式进行分类,一种是按照数据类型分,一种是按照类中声明的位置进行分类。

按照类型:主要分为基本数据类型的变量和引用数据类型的变量

按照声明的位置:又可以分为成员变量和局部变量

🐶 成员变量在使用前,都会经历过默认的初始化赋值,如类变量在准备阶段有一个默认的赋值,在初始化阶段有一个真正的赋值,还有实例变量会随着对象的创建,会在堆空间中分配实例变量空间,并进行默认的赋值。
🐶 而在局部变量中,在使用局部中的变量时,必须给这些局部变量进行显示的赋值,否则会直接出现编译不通过

在栈帧中,与性能调优关系最为密切的部分就是局部变量表,在方法执行的时候,虚拟机使用局部变量表完成方法的传递。

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

3.7,操作数栈

3.7.1,操作数栈基本概念

每一个栈帧中除了包含局部变量表之外,还包含一个先进先出的操作数栈,在方法执行过程中,会根据字节码指令,往栈中写入数据或者提取数据,即入栈(push)和出栈(pop)的操作。

  • 这些字节码指令将值压入操作数栈,其余的字节码指令将操作数取出栈。使用后再把他们的结果压入栈。

  • 操作数栈主要用于保存计算中间的结果,同时作为计算过程中变量临时的存储空间。

  • 操作数栈是随着方法的执行而创建的,其生命周期和方法的生命周期一致,并在编译期间就被确定其大小

  • 操作数栈并不是采用访问索引的方式来访问数据的,而是只能通过标准的入栈和出栈操作一次完成

3.7.2,操作数栈具体分析

如再在这个类中定义一个test的方法,其代码如下,主要有下面三个参数,接下来通过这个字节码指令分析一下

public void test()
    int i = 15; //byte,short,char,boolean都以int类型保存在数组中
    int j = 8;  
    int k = i + j;

在这个Bytecode中,可以发现其字节码指令如下,依次加载15、8然后再相加再存储,并且整个流程需要程序计数器来实现代码的下移运行。

 0 bipush 15  //将15入栈
 2 istore_1   //出栈,将值在存储局部变量表的index为1的slot位置,为0的位置为this
 3 bipush 8   //将8入栈
 5 istore_2   //出栈,将值在存储在局部变量表的index为2的slot位置
 6 iload_1    //取出局部变量表的index为1位置的值,加入到栈中
 7 iload_2    //取出局部变量表的index为2位置的值,加入到栈中
 8 iadd       //8和15出栈,执行相加操作
 9 istore_3   //存储到局部变量表中
10 return     //返回

而通过这个流程也可以发现这个操作数栈只是一个中间过程,入栈之后还是得出栈将值加入到这个局部变量表中,主要还是因为这个栈可以保证先后顺序性,同时在计算复杂的四则运算的时候,这个栈的优势就被体现出来了。

通过这个字节码中的LocalVariableTable表中的值也可以看到各个参数所分步在slot槽点的位置

如果被调用的方法中带有返回值的话,其返回值将会被压入栈帧的操作数栈中,并更新程序计数器中下一条需要执行的字节码指令。

并且操作数栈中的元素的数据类型必须与字节码指令的序列严格匹配,这由编译器在编译期间再次进行验证,同时在类加载过程中的类检验阶段的数据流分析阶段需要再次验证。

3.7.3,栈顶缓存技术

在基于栈式架构的虚拟机所使用的零地址指令更加的紧凑,但是完成一项操作的时候必然需要更多的入栈和出栈指令,这同时也就意味着将需要更多的指令分派次数和内存的读写次数。

由于操作数是存储在内存中的,因此频繁的执行内存读写操作必然会影响执行速度,因此在JVM中引入了栈顶缓存技术,将栈顶元素全部缓存在物理CPU的寄存器中,降低对内存的读写次数,从而提升执行引擎的执行效率。

3.8,动态链接

每一个栈帧内部包含一个指向运行时常量池中该栈帧方法所属方法的引用,包含这个引用的目的就是为了支持当前方法的代码能够实现动态链接(Dynamic Linking)

在Java源文件被编译到字节码文件的时候,所有的变量和方法引用都作为符号引用保存在class文件的常量池中,比如描述一个方法调用了另外一个方法时,就是通过常量池中指向方法的符号引用来表示的,那么动态链接的作用就是为了将这些符号引用转化为调用方法的直接引用。

大部分的字节码指令,在执行的时候,都需要进行常量池的访问,而这个动态链接,又被称为是指向运行时常量池的方法引用

如在这个test3方法中,调用了这个test方法,同时也引用了这个全局变量进行一个自增的操作

public void test3()
    test();
    k++;

接下来再次查看一下这个反编译文件,其字节码指令如下,在加载这个this变量之后,会有一个invokevirtual操作,后面也有一个#7,再后面就是表明改行对应的就是调用的test方法,接下来主要分析这个#7

 0 aload_0
 1 invokevirtual #7 <com/tky/jvm/neicun/SlotTest.test>
 4 pop
 5 getstatic #8 <com/tky/jvm/neicun/SlotTest.k>
 8 iconst_1
 9 iadd
10 putstatic #8 <com/tky/jvm/neicun/SlotTest.k>
13 return

在这个反编译插件的第二个属性中,就有着这个Constant Pool的这个运行时常量池,而上面的#7,就是对应的这个07,其就是一个Methodref,就是一个方法的引用,然后可以依次的通过右边的cp info #9,#46等依次往下找,就可以找到对应的引用。下面的#8也是一样的道理

这说明了啥,之前定义的变量和方法没有显示的加载到常量池中,但是字节码指令是直接去常量池中获取数据的,说明了jvm内部会对每个方法或者变量,都会将他的数据引用作为符号引用加载到运行时常量池中,相当于做一个缓存,后面别的方法要用时,可以直接去常量池里面找。因此叫做指向运行时常量池的方法引用更加贴切。

而字节码文件中的常量池,在运行起来之后,就会保存在方法区中。

其本质也是利用了封装的思维,假设有100个方法都要和test3一样,如果不利用符号引用,而是在每个文件的字节码中都加入有关test方法的字节码指令,那么每个字节码文件都会非常的大,然后就把这个test的字节码指令抽离出去,加到这个运行时常量池中,那么这100个文件要使用这个test方法的字节码指令,直接去运行时常量池中找即可,从而减少文件中字节码指令的数量以及文件的大小。

3.9,方法的调用

3.9.1,静态绑定和动态绑定

在jvm中,将符号引用转化为调用方法的直接引用与方法的绑定机制有关。符号引用就是字节码指令中的#8,直接引用就是这个#8或者通过#8一直找,所找到的对应的内容,符号引用转直接引用的方式主要分为两种,一种是静态链接,一种是动态链接

静态链接

静态链接指的就是在一个字节码文件被加载到jvm内部时,如果被调用的目标方法在编译期间可以确定下来,且运行期间保持不变,那么这种情况下将调用方法的符号引用转化为直接引用的过程就被称为静态链接,同时也可以被称为早期绑定

动态链接

这里的动态链接和3.8的是同一个,如果被调用的方法在编译期间无法被确定下来,也就是说,只能够在程序运行其将调用方法的符号引用转化为直接引用,由于这种引用的转换工程具备动态性,因此也就被称为动态链接,也可以被称为晚期绑定

3.10,方法的返回地址

存储的是该方法的程序计数器的值, 在方法退出之后,都会返回到该方法被调用的位置,方法正常退出时,调用者的程序计数器的值就作为返回地址,如果是异常退出,那么返回地址是要通过异常表来确定,栈帧中一般不会保存这部分信息的。

本质上,方法的退出就是当前栈帧出栈的过程。此时需要恢复上层方法的局部变量表,操作数栈,将返回值压入调用者栈帧的操作数栈,设置程序计数器值等。

正常完成出口和异常完成出口的区别在于:通过异常完成出口退出的不会给他的上层调用者产生任何返回值

当一个方法开始执行时,只有两种方式可以退出这个方法

  • 执行引擎遇到return,会有返回值传递给上层方法的调用者,简称正常完成出口
  • 在方法执行过程中遇到了异常,并且这个异常没有被处理,也会导致方法退出,简称异常完成出口

3.11,虚拟机栈的5道面试题

1,举例栈溢出情况

当往栈空间中不断的加栈帧,当栈空间满的时候,就会出现这个StackOverflowError的情况。可以通过这个-Xss设置栈空间的大小,如果设置的是固定的大小,当栈空间不足就会直接的抛栈溢出的错误;如果是设置的动态的大小时,当栈空间不断扩大,最终会抛出OOM的异常。

2,调整栈大小,就能保证不出现溢出情况吗

不能保证。如果某个方法是死循环,无限的增加栈帧,最终还是会出现这个栈溢出的情况的

3,分配栈内存越大越好吗

理论上越大,出现的这个栈溢出的概率就会变小。但是如果栈变大,会导致其他的资源变少

4,垃圾回收是否会涉及到虚拟机栈

不会。栈不需要GC,只需通过出栈的方式,栈帧就像垃圾一样被清除了。

5,方法中定义局部变量是否为线程安全

有可能存在线程不安全的问题,如果变量的生命周期在方法背部产生并且在内部消亡,那么属于线程安全,否则,都是线程不安全的。

4,本地方法接口

本地方法:该方法由非java语言实现,比如C语言,指的就是一个Java调用非Java代码的接口。

public native void test(int x); 

为什么要用native

java使用起来非常方便,然而有些层次的任务用java实现起来不容易,或者对程序的效率很在意时,就可以考虑使用这个native了

4.1,与Java环境外交互

有时java应用需要与Java外面的环境交互,这是本地方法存在的主要原因。如操作系统或者某些硬件交换信息时的情况。本地方法就是这样的一种交流机制:提供一个简洁的接口,而且无需去了解Java应用之外的繁琐的细节

4.2,与操作系统交互

操作系统的底层都是使用这个c或者c++编写的,有时为了解决效率上的问题,可以直接使用一些本地方法,从而实现这个jre和操作系统底层的交互,并且在jvm中,有一些接口就是直接使用这个C来编写的。如果要使用一些java语言本身就没有提供封装的操作系统的特性时,我们也需要使用这个本地方法

4.3,Sun`s Java

Sun的解释器是由C实现的,这使得他像普通的C一样与外部交互。jre大部分是Java实现的,但是也会通过一些本地方法与外界交互。例如类Java.lang.Thread的 setPriority() 方法就是用Java实现的,但是他的实现调用的是该类的本地方法setPriority()

5,本地方法栈

在运行时数据区中,还存在一个线程私有的区域,就是本地方法栈。Java虚拟机栈是用于管理Java方法的调用,而本地方法栈是用于管理本地方法栈的调用。本地方法也是通过C语言实现

在运行时数据区中,本地方法栈也是允许被实现成固定或者是可动态扩展的内存大小

  • 如果线程请求分配到的栈容量超过本地方法栈允许的最大容量的时候,会抛出一个StackOverflowError
  • 如果是动态扩展的,并且无法申请到足够的内存,那么会抛出一个OOM的异常

本地方法栈主要是和本地方法接口和本地方法库打交道的,主要是对本地方法接口和本地方法库中的方法进行入栈和出栈的操作

当某个线程调用一个本地方法栈的时候,它就进入了一个全新的并且不受虚拟机限制的世界,它和虚拟机拥有相同的权限

  • 本地方法时可以通过本地方法接口来访问虚拟机内部的运行时数据区
  • 可以直接使用本地处理器的寄存器
  • 可以直接从内存的堆中分配任意数量的内存

当然并不是所有的JVM都支持本地方法,因为Java虚拟机规范中也没有明确的要求本地方法栈所使用的语言等,如果JVM产品不打算支持native方法,也可以无需实现本地方法栈。在HotSpot JVM中,直接将本地方法栈和虚拟机栈给合二为一了。

以上是关于jvm系列-01初识虚拟机与java虚拟机的主要内容,如果未能解决你的问题,请参考以下文章

jvm系列-04精通运行时数据区共享区域---堆

Java虚拟机详解01----初识JVM

jvm系列-05精通运行时数据区共享区域---方法区

jvm系列-02jvm的类加载子系统以及jclasslib的基本使用

JVM系列 从一到掌握JVM系列之JVM 概述篇

深入浅出 JVM 系列初识 JVM