虚拟机是一种抽象化的计算机,通过在实际的计算机上
仿真模拟各种计算机功能来实现的。
Java虚拟机有自己完善的
硬体架构,如处理器、
堆栈、
寄存器等,还具有相应的指令系统。Java虚拟机屏蔽了与具体操作系统平台相关的信息,使得Java程序只需生成在Java虚拟机上运行的
目标代码(
字节码),就可以在多种平台上不加修改地运行。
定义
Java
虚拟机(Java Virtual Machine 简称JVM)是运行所有Java程序的抽象计算机,是Java语言的运行环境,它是Java 最具吸引力的特性之一。
系统介绍
Java
虚拟机(JVM)一种用于计算机设备的规范,可用不同的方式(软件或硬件)加以实现。编译虚拟机的
指令集与编译
微处理器的指令集非常类似。Java虚拟机包括一套
字节码指令集、一组
寄存器、一个栈、一个垃圾回收堆和一个存储方法域。
Java虚拟机(JVM)是可运行Java代码的假想计算机。只要根据JVM规格描述将
解释器移植到特定的计算机上,就能保证经过编译的任何Java代码能够在该系统上运行。
Java虚拟机是一个想象中的机器,在实际的计算机上通过软件模拟来实现。Java虚拟机有自己想象中的硬件,如处理器、堆栈、寄存器等,还具有相应的指令系统。
Java虚拟机规范定义了一个抽象的——而非实际的——机器或处理器。这个规范描述了一个指令集,一组寄存器,一个堆栈,一个“
垃圾堆”,和一个方法区。一旦一个Java虚拟机在给定的平台上运行,任何Java程序(编译之后的程序,称作字节码)都能在这个平台上运行。Java虚拟机(JVM)可以以一次一条指令的方式来解释字节码(把它映射到实际的
处理器指令),或者字节码也可以由实际处理器中称作just-in-time的编译器进行进一步的编译。
系统特点
Java语言的一个非常重要的特点就是与平台的无关性。而使用Java
虚拟机是实现这一特点的关键。一般的
高级语言如果要在不同的平台上运行,至少需要编译成不同的
目标代码。而引入Java语言虚拟机后,Java语言在不同平台上运行时不需要重新编译。Java语言使用模式Java虚拟机屏蔽了与具体平台相关的信息,使得Java语言
编译程序只需生成在Java虚拟机上运行的目标代码(
字节码),就可以在多种平台上不加修改地运行。Java虚拟机在执行字节码时,把字节码解释成具体平台上的
机器指令执行。
使用主体
Java虚拟机是Java语言底层实现的基础。这有助于理解Java语言的一些性质,也有助于使用Java语言。对于要在特定平台上实现Java虚拟机的软件人员,Java语言的
编译器作者以及要用硬件芯片实现Java虚拟机的人来说,则必须深刻理解Java虚拟机的规范。另外,如果你想扩展Java语言,或是把其它语言编译成Java语言的
字节码,你也需要深入地了解Java虚拟机。
安装方法
下载解压:
下载
j2sdk-1_4_2_05-linux-i586.bin随便放到一个目录里,比如/tmp。
在终端里输入:sh j2sdk-1_4_2_05-linux-i586.bin回车
之后会出现一堆软件说明,按回车n次直到问你yes or no,当然回答yes,输入y,回车后开始解压缩。
完成之后,在/tmp里就会出现一个名为j2sdk1.4.2_05的文件夹。
安装:
安装很简单:将j2sdk1.4.2_05文件夹复制到/usr目录里。
打开/etc/profile文件,在相关位置中加入:
export JAVA_HOME=/usr/j2sdk1.4.2_05
export PATH=/usr/j2sdk1.4.2_05/bin:
export CLASSPATH=/usr/j2sdk1.4.2_05/lib:/usr/j2sdk1.4.2_05/jre/lib:.:
保存
设置中文字体:
注意:下面涉及到的文件请先备份,以防万一。
进入/usr/j2sdk1.4.2_05/jre/lib/文件夹
删除里面所有带.zn的文档,只留下font.properties.zh文档。
安装simsun字体如果不喜欢simsun可以不装。
编辑font.properties.zh,将所有-tlc-song-medium-r-normal--*-%d-*-*-c-*-gbk-0 替换成:
-misc-simsun-medium-r-normal--*-%d-*-*-c-*-gbk-0(如果没装simsun字体,可以将-simsun-那里改成你喜欢的字体,前提是该字体在系统中存在)
之后在终端中转到目录/usr/j2sdk1.4.2_05/jre/bin/下
输入命令:
./ControlPanel回车
数据类型
Java
虚拟机支持Java语言的基本数据类型有8种,注意String不是基本数据类型。
数据类型如下:
boolean://1字节有符号整数的补码
int://4字节有符号整数的补码
long://8字节有符号整数的补码
float://4字节IEEE754单精度浮点数
double://8字节
IEEE754
双精度浮点数char://2字节无符号Unicode字符
几乎所有的Java
类型检查都是在
编译时完成的。上面列出的原始数据类型的数据在Java执行时不需要用硬件标记。操作这些原始数据类型数据的
字节码(指令)本身就已经指出了
操作数的数据类型,例如iadd、ladd、fadd和dadd指令都是把两个数相加,其操作数类型别是int、long、float和double。
虚拟机没有给boolean(
布尔)类型设置单独的指令。boolean型的数据是由
integer指令,包括integer返回来处理的。boolean型的数组则是用byte数组来处理的。虚拟机使用IEEE754格式的
浮点数。不支持IEEE格式的较旧的计算机,在运行Java数值计算程序时,可能会非常慢。
虚拟机支持的其它数据类型包括:
object//对一个Javaobject(对象)的4字节引用
returnAddress//4字节,用于jsr/ret/jsr-w/ret-w指令
注:Java数组被当作object处理。
虚拟机的规范对于object内部的结构没有任何特殊的要求。在Sun公司的实现中,对object的引用是一个句柄,其中包含一对指针:一个指针指向该object的方法表,另一个指向该object的数据。用Java虚拟机的
字节码表示的程序应该遵守类型规定。Java虚拟机的实现应拒绝执行违反了类型规定的字节码程序。Java虚拟机由于字节码定义的限制似乎只能运行于32位
地址空间的机器上。但是可以创建一个Java虚拟机,它自动地把字节码转换成64位的形式。从Java虚拟机支持的数据类型可以看出,Java对数据类型的内部格式进行了严格规定,这样使得各种Java虚拟机的实现对数据的解释是相同的,从而保证了Java的与平台无关性和
可移植性。
规格描述
JVM的
设计目标是提供一个基于抽象规格描述的计算机模型,为
解释程序开发人员提供的任何系统上运行。JVM对其实现的某些方面给出了具体的定义,特别是对Java
可执行代码,即
字节码(Bytecode)的格式给出了明确的规格。这一规格包括
操作码和
操作数的语法和数值、
标识符的数值表示方式、以及Java类文件中的Java对象、常量缓冲池在JVM的存储映象。这些定义为JVM
解释器开发人员提供了所需的信息和
开发环境。Java的设计者希望给开发人员以随心所欲使用Java的自由。
JVM定义了控制Java代码
解释执行和具体实现的五种规格,它们是:
*JVM栈结构
*JVM碎片回收堆
*JVM存储区
指令系统
JVM指令系统同其他计算机的指令系统极其相似。Java指令也是由
操作码和操作数两部分组成。操作码为8位
二进制数,
操作数进紧随在操作码的后面,其长度根据需要而不同。操作码用于指定一条指令操作的性质(在这里我们采用汇编符号的形式进行说明),如iload表示从
存储器ret用于
流程控制,表示从对某一方法的调用中返回。当长度大于8位时,操作数被分为两个以上
字节RISC CPU采用的
编码方式多线程系统的指令。Java的8位
操作码的长度使得JVM最多有256种指令,java1.6及以上版本已使用了160多种操作码。
寄存器
所有的CPU均包含用于保存
系统状态和处理器所需信息的
寄存器组。如果
虚拟机定义较多的
寄存器,便可以从中得到更多的信息而不必对栈或内存进行访问,这有利于提高
运行速度。然而,如果虚拟机中的寄存器比实际CPU的寄存器多,在实现虚拟机时就会占用处理器大量的时间来用常规
存储器模拟寄存器,这反而会降低虚拟机的效率。针对这种情况,JVM只设置了4个最为常用的寄存器。它们是:
pc程序计数器optop
操作数栈顶指针frame当前执行环境指针 vars指向当前执行环境中第一个
局部变量的指针 所有寄存器均为32位。pc用于记录程序的执行。optop,frame和vars用于记录指向Java栈区的指针。
栈结构
作为基于栈结构的计算机,Java栈是JVM
存储信息的主要方法。当JVM得到一个Java
字节码应用程序后,便为该代码中一个类的每一个方法创建一个
栈框架,以保存该方法的
状态信息。每个栈框架包括以下三类信息:局部变量,执行环境,
操作数栈。
局部变量用于存储一个类的方法中所用到的局部变量。vars
寄存器指向该变量表中的第一个局部变量。
执行环境用于保存
解释器对
Java字节码进行解释过程中所需的信息。它们是:上次调用的方法、局部变量指针和操作数栈的栈顶和栈底指针。执行环境是一个执行一个方法的
控制中心。例如:如果解释器要执行iadd(整数加法),首先要从frame寄存器中找到当前执行环境,而后便从执行环境中找到
操作数栈,从栈顶弹出两个整数进行
加法运算,最后将结果压入
栈顶。
操作数栈用于存储运算所需操作数及运算的结果。
碎片回收堆
Java类的实例所需的存储空间是在堆上分配的。
解释器具体承担为类实例分配空间的工作。解释器在为一个实例分配完存储空间后,便开始记录对该实例所占用的内存区域的使用。一旦对象使用完毕,便将其回收到堆中。在Java语言中,除了new语句外没有其他方法为一对象申请和
释放内存。对内存进行释放和回收的工作是由Java
运行系统承担的。这允许Java运行系统的设计者自己决定碎片回收的方法。在SUN公司开发的Java解释器和Hot Java环境中,碎片回收用后台线程的方式来执行。这不但为运行系统提供了良好的性能,而且使程序设计人员摆脱了自己控制内存使用的风险。
存储区
JVM有两类存储区:常量缓冲池和方法区。常量缓冲池用于
存储类名称、方法和字段名称以及串常量。方法区则用于存储Java方法的
字节码。对于这两种
存储区域具体实现方式在JVM规格中没有明确规定。这使得Java应用程序的存储布局必须在运行过程中确定,依赖于具体平台的实现方式。JVM是为
Java字节码定义的一种独立于具体平台的规格描述,是
Java平台独立性的基础。尽管JVM还存在一些限制和不足,有待于进一步的完善,但无论如何,JVM的思想是成功的。对比分析:如果把Java原程序想象成我们的C++原程序,Java原程序编译后生成的字节码就相当于C++原程序编译后的80x86的
机器码(
二进制程序文件),JVM
虚拟机相当于80x86
计算机系统,Java
解释器相当于80x86CPU。在80x86CPU上运行的是机器码,在Java解释器上运行的是Java字节码。
Java解释器相当于运行Java
字节码的“CPU”,但该“CPU”不是通过硬件实现的,而是用软件实现的。Java解释器实际上就是特定的平台下的一个应用程序。只要实现了特定平台下的解释器程序,
Java字节码就能通过解释器程序在该平台下运行,这是Java跨平台的根本。当前,并不是在所有的平台下都有相应Java解释器程序,这也是Java并不能在所有的平台下都能运行的原因,它只能在已实现了Java解释器程序的平台下运行。
体系结构
Java
虚拟机由五个部分组成:一组
指令集、一组
寄存器、一个栈、一个无用单元收集堆(Garbage-
collected-heap)、一个方法区域。这五部分是Java虚拟机的逻辑成份,不依赖任何
实现技术或组织方式,但它们的功能必须在真实机器上以某种方式实现。
指令集
Java
虚拟机支持大约248个
字节码。每个字节码执行一种基本的
CPU运算,例如,把一个整数加到
寄存器,
子程序转移等。Java
指令集相当于Java程序的
汇编语言。
Java指令集中的指令包含一个单字节的
操作符,用于指定要执行的操作,还有0个或多个
操作数,提供操作所需的参数或数据。许多指令没有操作数,仅由一个单字节的操作符构成。
do{
取一个操作符字节;
根据操作符的值执行一个动作;
}while(程序未结束)
由于
指令系统的简单性,使得
虚拟机执行的过程十分简单,从而有利于提高执行的效率。指令中
操作数的数量和大小是由操作符决定的。如果操作数比一个
字节大,那么它存储的顺序是高位字节优先。例如,一个16位的参数存放时占用两个字节,其值为:
第一个字节*256+第二个字节
字节码指令流一般只是
字节对齐的。指令tabltch和lookup是例外,在这两条指令内部要求强制的4字节
边界对齐。
寄存器
Java
虚拟机的
寄存器用于保存机器的
运行状态,与
微处理器中的某些专用寄存器类似。
Java虚拟机的寄存器有四种:
frame:指向当前执行方法的执行环境的指针。
vars:指向当前执行方法的
局部变量区第一个变量的指针。
栈
Java
虚拟机的栈有三个区域:
局部变量区、
运行环境区、
操作数区。
⑴局部变量区 每个Java方法使用一个固定大小的局部变量集。它们按照与vars
寄存器的字
偏移量来寻址。局部变量都是32位的。长整数和
双精度浮点数占据了两个局部变量的空间,却按照第一个局部变量的索引来寻址。(例如,一个具有索引n的局部变量,如果是一个双精度浮点数,那么它实际占据了索引n和n+1所代表的
存储空间。)虚拟机规范并不要求在局部变量中的64位的值是64位对齐的。虚拟机提供了把局部变量中的值装载到操作数栈的指令,也提供了把操作数栈中的值写入局部变量的指令。
⑵运行环境区 在运行环境中包含的信息用于
动态链接,正常的方法返回以及
异常传播。
·动态链接
运行环境包括对指向当前类和当前方法的
解释器符号表的指针,用于支持方法代码的动态链接。方法的
class文件代码在引用要调用的方法和要访问的变量时使用符号。动态链接把符号形式的方法调用翻译成实际方法调用,装载必要的类以解释还没有定义的符号,并把变量访问翻译成与这些变量
运行时的
存储结构相应的
偏移地址。动态链接方法和变量使得方法中使用的其它类的变化不会影响到本程序的代码。
·正常的方法返回
如果当前方法正常地结束了,在执行了一条具有正确类型的返回指令时,调用的方法会得到一个
返回值。执行环境在正常返回的情况下用于恢复调用者的
寄存器,并把调用者的
程序计数器增加一个恰当的数值,以跳过已执行过的方法调用指令,然后在调用者的执行环境中
继续执行下去。
·异常和错误传播
异常情况在Java中被称作Error(错误)或
Exception(异常),是Throwable类的
子类,在程序中的原因是:①
动态链接错,如无法找到所需的
class文件。②运行时错,如对一个空指针的引用。
·程序使用了throw语句。
·检查与当前方法相联系的catch
子句表。每个catch子句包含其有效指令范围,能够处理的异常类型,以及处理异常的代码块地址。
·与异常相匹配的catch子句应该符合下面的条件:造成异常的指令在其指令范围之内,发生的异常类型是其能处理的异常类型的
子类型。如果找到了匹配的catch子句,那么系统转移到指定的异常处理块处执行;如果没有找到异常处理块,重复寻找匹配的catch子句的过程,直到当前方法的所有嵌套的catch子句都被检查过。
·由于
虚拟机从第一个匹配的catch子句处继续执行,所以catch子句表中的顺序是很重要的。因为Java代码是结构化的,因此总可以把某个方法的所有的异常处理器都按序排列到一个表中,对任意可能的
程序计数器的值,都可以用线性的顺序找到合适的异常处理块,以处理在该程序计数器值下发生的异常情况。
刚刚在其调用者中发生一样。如果在调用者中仍然没有找到相应的异常处理块,那么这种错误传播将被继续下去。如果错误被传播到最顶层,那么系统将调用一个缺省的异常处理块。
⑶
操作数栈区
机器指令只从操作数栈中取操作数,对它们进行操作,并把结果返回到栈中。选择栈结构的原因是:在只有少量
寄存器或非通用寄存器的机器(如Intel486)上,也能够高效地模拟
虚拟机的行为。操作数栈是32位的。它用于给方法传递参数,并从方法接收结果,也用于支持操作的参数,并保存操作的结果。例如,iadd指令将两个整数相加。相加的两个整数应该是操作数栈顶的两个字。这两个字是由先前的指令压进
堆栈的。这两个整数将从堆栈弹出、相加,并把结果压回到
操作数栈中。
每个原始
数据类型都有专门的指令对它们进行必须的操作。每个操作数在栈中需要一个存储位置,除了long和double型,它们需要两个位置。操作数只能被适用于其类型的操作符所操作。例如,压入两个int类型的数,如果把它们当作是一个long类型的数则是非法的。在Sun的
虚拟机实现中,这个限制由
字节码验证器强制实行。但是,有少数操作(操作符dupe和swap),用于对运行时
数据区进行操作时是不考虑类型的。
无单元收集堆
Java的堆是一个运行时数据区,类的实例(对象)从中分配空间。Java语言具有无用单元收集能力:它不给程序员显式释放对象的能力。Java不规定具体使用的无用单元收集算法,可以根据系统的需求使用各种各样的算法。
方法区
方法区与传统语言中的编译后代码或是Unix进程中的正文段类似。它保存方法代码(编译后的java代码)和
符号表。在当前的Java实现中,方法代码不包括在无用单元收集堆中,但计划在将来的版本中实现。每个类
文件包含了一个Java类或一个Java界面的编译后的代码。可以说类文件是Java语言的执行代码文件。为了保证类文件的
平台无关性,Java
虚拟机规范中对类文件的格式也作了详细的说明。其具体细节请参考Sun公司的Java虚拟机规范。
运行过程
上面对
虚拟机的各个部分进行了比较详细的说明,下面通过一个具体的例子来分析它的运行过程。
虚拟机通过调用某个指定类的方法main启动,传递给main一个
字符串数组参数,使指定的类被装载,同时链接该类所使用的其它的类型,并且初始化它们。例如对于程序:
public class HelloApp {
public static void main(String[] args){
for (int i = 0; i < args.length; i++ ) {
System.out.println(args);
}
}
}
编译后在
命令行模式下键入:java HelloApp run virtual machine
将通过调用HelloApp的方法main来启动java
虚拟机开始试图执行类HelloApp的main方法,发现该类并没有被装载,也就是说虚拟机当前不包含该类的二进制代表,于是虚拟机使用ClassLoader试图寻找这样的二进制代表。如果这个进程失败,则抛出一个异常。类被装载后同时在main方法被调用之前,必须对类HelloApp与其它类型进行链接然后初始化。链接包含三个阶段:检验,准备和解析。检验检查被装载的主类的符号和语义,准备则创建类或接口的静态域以及把这些域初始化为标准的
默认值,解析负责检查主类对其它类或接口的符号引用,在这一步它是可选的。类的初始化是对类中声明的静态初始化函数和静态域的初始化
构造方法的执行。一个类在初始化之前它的父类必须被初始化。整个过程如下:
参数说明
执行带main方法的class文件,Java
虚拟机命令参数行为:
java
例如:
java Test
如果执行的class文件是带包的,即在类文件中使用了:
package <;包名>
那应该在包的基路径下执行,Java虚拟机
命令行参数:
java <;包名>.CLASS文件名
例如:
PackageTest.java中,其包名为:com.ee2ee.test,对应的语句为:
package com.ee2ee.test;
PackageTest.java及编译后的
class文件PackageTest.class的存放目录如下:
classes
|__com
|__ee2ee
|__test
|__PackageTest.java
|__PackageTest.class
要运行PackageTest.class,应在classes目录下执行:
java com.ee2ee.test.PackageTest
二、运行jar文件中的class
原理和运行
class文件一样,只需加上参数-cp
;即可。例如:执行test.jar中的类com.ee2ee.test.PackageTest,命令行如下:
java -cp test.jar com.ee2ee.test.PackageTest
当一台机器上有多个jdk版本时,需要知道当前使用的是那个版本的jdk,使用参数-
version即可知道其版本,命令行为:
java -version
Java虚拟机可使用的最大内存是有限制的,
缺省值通常为64MB或128MB。
如果一个应用程序为了提高性能而把数据加载内存中而占用较大的内存,比如超过了默认的
最大值128MB,需要加大java虚拟机可使用的最大内存,否则会出现Out of Memory(系统内存不足)的异常。启动java时,需要使用如下两个参数:
-Xmx java虚拟机可以使用的最大内存
以上两个
命令行参数中设置的size,可以带单位,例如:256m表示256MB
java -Xms128m -Xmx256m ...
表示Java虚拟机初始化时使用的内存为128MB,可使用的最大内存为256MB。
对于
tomcat,可以修改其脚本catalina.sh(Unix平台)或catalina.bat(Windows平台),设置变量JAVA_OPTS即可,例如:
JAVA_OPTS='-Xms128m -Xmx256m'