JVM运行机制

JVM(Java Virtual Machine)是JAVA虚拟机的缩写,是一种用于计算设备的规范,它是一个虚构出来的计算机,是通过在实际的计算机上仿真模拟各种计算机功能来实现的。Java语言的一个非常重要的特点就是与平台的无关性,而使用Java虚拟机是实现这一特点的关键。一般的高级语言如果要在不同的平台上运行,至少需要编译成不同的目标代码,而引入Java语言虚拟机后,Java语言在不同平台上运行时不需要重新编译。Java语言使用Java虚拟机屏蔽了与具体平台相关的信息,使得Java语言编译程序只需生成在Java虚拟机上运行的目标代码(字节码),就可以在多种平台上不加修改地运行。Java虚拟机在执行字节码时,把字节码解释成具体平台上的机器指令执行。这就是Java的能够“一次编译,到处运行”的原因。那么,JVM的运行机制到底是怎么样的呢?

解释型语言和编译型语言有什么区别呢?

编译型语言是通过编译器将程序编译成目标机器所能识别的机器码,而解释型语言不需要编译过程。由该语言的解释器读取脚本,按照语法规则进行解释,然后调用解释器内建的命令(或者库函数)。例如,C语言的printf()函数经过静态编译后,printf()所需的所以代码都以机器码的形式写入可执行文件中,shell在执行程序时,在指定路径搜索该文件,然后加载器(Loader)加载该程序的ELF文件到内存中,跳转到程序入口,将控制权交由该程序。动态编译的情况有些不同。由于printf()是很常用的函数,系统将常用函数集中起来做成库,当我写一个Myprintf()函数时调用printf()时,动态编译后形成的ELF文件不会包含printf()相关的代码,但是会有些信息告诉系统:“我的程序将会调用printf(),因此我需要printf()的地址”。加载ELF文件后,首先运行动态连接器(ldd),ldd知道程序依赖的动态库,系统中如果没有加载该动态库,就会通知系统加载该库,并把库函数的入口地址绑定到程序需要的地方,然后跳转到程序入口地址,开始运行程序。这里,我们所写的程序一经编译,就变成特定机器的机器码和一些附属信息(符号表,地址,变量值等),然后通过系统加载运行机制就变成“动态程序”——进程。

解释型语言的执行过程离不开解释器,python,perl,ruby等等。所以脚本的第一行一般是#/usr/bin/×××。×××代表了各语言相应的解释器。脚本一般由表达式(expression)和Block of expressions组成,解释器首先要做的就是分析并理解表达式结构,形成“执行序列”。这个“执行序列”是中立的,不针对任何native machine(呵呵,我起的名字,相对于viutural machine。),所以“可移植性”高。这里不用“字节码”代替“执行序列”是考虑到在jvm中有字节码的概念,他们之间有显著的不同。决定执行序列是解释器最主要的作用。假设,python输出的函数为python_print(),那么python解释器在“解释”脚本时遇到这个表达式就将调用系统的print()函数执行输出操作。你也可以把脚本理解成高级配置文件,这个文件指导python解释器如何运行,解释器内部已经制订了“如何”运行的若干规则。

JVM执行java程序要比上述两个复杂,因为它已经被称作machine了。下图是JVM的结构框图。主要包含:垃圾回收器,类加载子系统,执行引擎,运行时数据区等。

版权所有,如有侵权请联系我