JVM

来源:互联网 发布:南京大汉网络 编辑:程序博客网 时间:2024/05/17 08:34

从Java平台的逻辑结构上来看,我们可以从下图来了解JVM:

从上图能清晰看到Java平台包含的各个逻辑模块,也能了解到JDK与JRE的区别

对于JVM自身的物理结构,我们可以从下图鸟瞰一下:

对于JVM的学习,在我看来这么几个部分最重要:

  • Java代码编译和执行的整个过程
  • JVM内存管理及垃圾回收机制

---------------------------------------

ava代码编译是由Java源码编译器来完成,流程图如下所示:

Java字节码的执行是由JVM执行引擎来完成,流程图如下所示:

 

Java代码编译和执行的整个过程包含了以下三个重要的机制:

  • Java源码编译机制
  • 类加载机制
  • 类执行机制

Java源码编译机制

Java 源码编译由以下三个过程组成:

  • 分析和输入到符号表
  • 注解处理
  • 语义分析和生成class文件

流程图如下所示:

最后生成的class文件由以下部分组成:

  • 结构信息。包括class文件格式版本号及各部分的数量与大小的信息
  • 元数据。对应于Java源码中声明与常量的信息。包含类/继承的超类/实现的接口的声明信息、域与方法声明信息和常量池
  • 方法信息。对应Java源码中语句和表达式对应的信息。包含字节码、异常处理器表、求值栈与局部变量区大小、求值栈的类型记录、调试符号信息

类加载机制

JVM的类加载是通过ClassLoader及其子类来完成的,类的层次关系和加载顺序可以由下图来描述:

1)Bootstrap ClassLoader

负责加载$JAVA_HOME中jre/lib/rt.jar里所有的class,由C++实现,不是ClassLoader子类

2)Extension ClassLoader

负责加载java平台中扩展功能的一些jar包,包括$JAVA_HOME中jre/lib/*.jar或-Djava.ext.dirs指定目录下的jar包

3)App ClassLoader

负责记载classpath中指定的jar包及目录中class

4)Custom ClassLoader

属于应用程序根据自身需要自定义的ClassLoader,如tomcat、jboss都会根据j2ee规范自行实现ClassLoader

加载过程中会先检查类是否被已加载,检查顺序是自底向上,从Custom ClassLoader到BootStrap ClassLoader逐层检查,只要某个classloader已加载就视为已加载此类,保证此类只所有ClassLoader加载一次。而加载的顺序是自顶向下,也就是由上层来逐层尝试加载此类。

类执行机制

JVM是基于栈的体系结构来执行class字节码的。线程创建后,都会产生程序计数器(PC)和栈(Stack),程序计数器存放下一条要执行的指令在方法内的偏移量,栈中存放一个个栈帧,每个栈帧对应着每个方法的每次调用,而栈帧又是有局部变量区和操作数栈两部分组成,局部变量区用于存放方法中的局部变量和参数,操作数栈中用于存放方法执行过程中产生的中间结果。栈的结构如下图所示:

-----------------------------------------------------

JVM内存组成结构

JVM栈由堆、栈、本地方法栈、方法区等部分组成,结构图如下所示:

1)堆

所有通过new创建的对象的内存都在堆中分配,其大小可以通过-Xmx和-Xms来控制。堆被划分为新生代和旧生代,新生代又被进一步划分为Eden和Survivor区,最后Survivor由From Space和To Space组成,结构图如下所示:

  • 新生代。新建的对象都是用新生代分配内存,Eden空间不足的时候,会把存活的对象转移到Survivor中,新生代大小可以由-Xmn来控制,也可以用-XX:SurvivorRatio来控制Eden和Survivor的比例
  • 旧生代。用于存放新生代中经过多次垃圾回收仍然存活的对象

2)栈

每个线程执行每个方法的时候都会在栈中申请一个栈帧,每个栈帧包括局部变量区和操作数栈,用于存放此次方法调用过程中的临时变量、参数和中间结果

3)本地方法栈

用于支持native方法的执行,存储了每个native方法调用的状态

4)方法区

存放了要加载的类信息、静态变量、final类型的常量、属性和方法信息。JVM用持久代(Permanet Generation)来存放方法区,可通过-XX:PermSize和-XX:MaxPermSize来指定最小值和最大值

垃圾回收机制

JVM分别对新生代和旧生代采用不同的垃圾回收机制

新生代的GC:

新生代通常存活时间较短,因此基于Copying算法来进行回收,所谓Copying算法就是扫描出存活的对象,并复制到一块新的完全未使用的空间中,对应于新生代,就是在Eden和From Space或To Space之间copy。新生代采用空闲指针的方式来控制GC触发,指针保持最后一个分配的对象在新生代区间的位置,当有新的对象要分配内存时,用于检查空间是否足够,不够就触发GC。当连续分配对象时,对象会逐渐从eden到survivor,最后到旧生代,

用java visualVM来查看,能明显观察到新生代满了后,会把对象转移到旧生代,然后清空继续装载,当旧生代也满了后,就会报outofmemory的异常,如下图所示:

在执行机制上JVM提供了串行GC(Serial GC)、并行回收GC(Parallel Scavenge)和并行GC(ParNew)

1)串行GC

在整个扫描和复制过程采用单线程的方式来进行,适用于单CPU、新生代空间较小及对暂停时间要求不是非常高的应用上,是client级别默认的GC方式,可以通过-XX:+UseSerialGC来强制指定

2)并行回收GC

在整个扫描和复制过程采用多线程的方式来进行,适用于多CPU、对暂停时间要求较短的应用上,是server级别默认采用的GC方式,可用-XX:+UseParallelGC来强制指定,用-XX:ParallelGCThreads=4来指定线程数

3)并行GC

与旧生代的并发GC配合使用

旧生代的GC:

旧生代与新生代不同,对象存活的时间比较长,比较稳定,因此采用标记(Mark)算法来进行回收,所谓标记就是扫描出存活的对象,然后再进行回收未被标记的对象,回收后对用空出的空间要么进行合并,要么标记出来便于下次进行分配,总之就是要减少内存碎片带来的效率损耗。在执行机制上JVM提供了串行GC(Serial MSC)、并行GC(parallel MSC)和并发GC(CMS),具体算法细节还有待进一步深入研究。

以上各种GC机制是需要组合使用的,指定方式由下表所示:

指定方式

新生代GC方式

旧生代GC方式

-XX:+UseSerialGC

串行GC

串行GC

-XX:+UseParallelGC

并行回收GC

并行GC

-XX:+UseConeMarkSweepGC

并行GC

并发GC

-XX:+UseParNewGC

并行GC

串行GC

-XX:+UseParallelOldGC

并行回收GC

并行GC

-XX:+ UseConeMarkSweepGC

-XX:+UseParNewGC

串行GC

并发GC

不支持的组合

1、-XX:+UseParNewGC -XX:+UseParallelOldGC

2、-XX:+UseParNewGC -XX:+UseSerialGC


------------------------------------------

首先需要注意的是在对JVM内存调优的时候不能只看操作系统级别Java进程所占用的内存,这个数值不能准确的反应堆内存的真实占用情况,因为GC过后这个值是不会变化的,因此内存调优的时候要更多地使用JDK提供的内存查看工具,比如JConsole和Java VisualVM。

对JVM内存的系统级的调优主要的目的是减少GC的频率和Full GC的次数,过多的GC和Full GC是会占用很多的系统资源(主要是CPU),影响系统的吞吐量。特别要关注Full GC,因为它会对整个堆进行整理,导致Full GC一般由于以下几种情况:

  • 旧生代空间不足
    调优时尽量让对象在新生代GC时被回收、让对象在新生代多存活一段时间和不要创建过大的对象及数组避免直接在旧生代创建对象 
  • Pemanet Generation空间不足
    增大Perm Gen空间,避免太多静态对象 
  • 统计得到的GC后晋升到旧生代的平均大小大于旧生代剩余空间
    控制好新生代和旧生代的比例 
  • System.gc()被显示调用
    垃圾回收不要手动触发,尽量依靠JVM自身的机制 

调优手段主要是通过控制堆内存的各个部分的比例和GC策略来实现,下面来看看各部分比例不良设置会导致什么后果

1)新生代设置过小

一是新生代GC次数非常频繁,增大系统消耗;二是导致大对象直接进入旧生代,占据了旧生代剩余空间,诱发Full GC

2)新生代设置过大

一是新生代设置过大会导致旧生代过小(堆总量一定),从而诱发Full GC;二是新生代GC耗时大幅度增加

一般说来新生代占整个堆1/3比较合适

3)Survivor设置过小

导致对象从eden直接到达旧生代,降低了在新生代的存活时间

4)Survivor设置过大

导致eden过小,增加了GC频率

另外,通过-XX:MaxTenuringThreshold=n来控制新生代存活时间,尽量让对象在新生代被回收

由上一篇博文JVM学习笔记(三)------内存管理和垃圾回收可知新生代和旧生代都有多种GC策略和组合搭配,选择这些策略对于我们这些开发人员是个难题,JVM提供两种较为简单的GC策略的设置方式

1)吞吐量优先

JVM以吞吐量为指标,自行选择相应的GC策略及控制新生代与旧生代的大小比例,来达到吞吐量指标。这个值可由-XX:GCTimeRatio=n来设置

2)暂停时间优先

JVM以暂停时间为指标,自行选择相应的GC策略及控制新生代与旧生代的大小比例,尽量保证每次GC造成的应用停止时间都在指定的数值范围内完成。这个值可由-XX:MaxGCPauseRatio=n来设置

 

最后汇总一下JVM常见配置

  1. 堆设置
    • -Xms:初始堆大小
    • -Xmx:最大堆大小
    • -XX:NewSize=n:设置年轻代大小
    • -XX:NewRatio=n:设置年轻代和年老代的比值。如:为3,表示年轻代与年老代比值为1:3,年轻代占整个年轻代年老代和的1/4
    • -XX:SurvivorRatio=n:年轻代中Eden区与两个Survivor区的比值。注意Survivor区有两个。如:3,表示Eden:Survivor=3:2,一个Survivor区占整个年轻代的1/5
    • -XX:MaxPermSize=n:设置持久代大小
  2. 收集器设置
    • -XX:+UseSerialGC:设置串行收集器
    • -XX:+UseParallelGC:设置并行收集器
    • -XX:+UseParalledlOldGC:设置并行年老代收集器
    • -XX:+UseConcMarkSweepGC:设置并发收集器
  3. 垃圾回收统计信息
    • -XX:+PrintGC
    • -XX:+PrintGCDetails
    • -XX:+PrintGCTimeStamps
    • -Xloggc:filename
  4. 并行收集器设置
    • -XX:ParallelGCThreads=n:设置并行收集器收集时使用的CPU数。并行收集线程数。
    • -XX:MaxGCPauseMillis=n:设置并行收集最大暂停时间
    • -XX:GCTimeRatio=n:设置垃圾回收时间占程序运行时间的百分比。公式为1/(1+n)
  5. 并发收集器设置
    • -XX:+CMSIncrementalMode:设置为增量模式。适用于单CPU情况。
    • -XX:ParallelGCThreads=n:设置并发收集器年轻代收集方式为并行收集时,使用的CPU数。并行收集线程数。

附:

本系列学习资料主要来自博文http://rednaxelafx.javaeye.com/blog/656951里提到的PPT和《分布式Java应用》里有关JVM的章节,推荐大家继续深入学习

---------------------------------------------

编译器在执行过程中其实就是根据Java的语法规则,将语言中隐含的结构表现出来。

Javac的工作流程如下图所示:

深入理解JVM—字节码编译机制 - 一线天色 天宇星辰 - 一线天色 天宇星辰

 通过解析与输入到符号表,注解处理、分析与代码生成几个步骤。其中分析与代码生成包含以下几方面:

1、  属性标注与检查(Attr and Check

2、  数据流分析(Flow

3、  泛型转换(TransType)(将泛型转换为实际的裸体类型(raw type)

4、  解除语法糖(Lower

5、  生成字节码文件(Gen

而解析包含词法分析和语法分析,词法分析主要是通过com.sun.tools.javac.parser.Scanner、手写的ad-hoc方式构造的词法分析器将字符序列转换为标准词法的token序列。语法分析是使用com.sun.tools.javac.parser.Parser、递归下降和运算符优先程式的语法分析器根据语法将词法分析器生成的token序列生成抽象语法树。语法分析后所有的步骤都在抽象语法树上进行。下图是词法分析和语法分析的一个示意图。

int y = x + 1;对应的词法分析如下:

深入理解JVM—字节码编译机制 - 一线天色 天宇星辰 - 一线天色 天宇星辰
 int y = x + 1;对应的语法分析如下:

深入理解JVM—字节码编译机制 - 一线天色 天宇星辰 - 一线天色 天宇星辰

 语法分析完毕后编译器将通过

com.sun.tools.javac.comp.Enter将每个编译单元的抽象语法树顶节点放在待处理列表中,然后逐个处理列表中的节点。处理完成的类符号被输入到外围作用域的符号表中。然后逐个确定类的参数(针对泛型类型)、超类型和接口、根据需要添加默认构造器,将类中出现的符号舒服到自身的符号表中、分析和校验代码中的注解(annotation)

完成类定以前的代码如下:

package com.yhj.test;

/**

 @Described:测试用例

 @author YHJ create at 2012-3-上午10:25:18

 @FileNmae com.yhj.test.TestCase.java

 */

public class TestCase {

}

完成类定义以后的代码如下

package com.yhj.test;

/**

 @Described:测试用例

 @author YHJ create at 2012-3-上午10:25:18

 @FileNmae com.yhj.test.TestCase.java

 */

public class TestCase {

   public TestCase() {

      super();

   }

}

我们可以很清楚的看到添加了一个默认的构造器。

接下来要做的事情是注解处理,是通过com.sun.toolsjavac.processing.JavaProcessingEnviroment进行处理的。我们都知道注解是JDK1.6以后新加的特性,也就是支持注解的最低JDK版本是JDK6,通过注解处理,可以读取到语法树中的所有元素,包含注释,可以更改类类型的定义,可以创建新的类型。。。而这一系列操作又可以重新的解析和写入符号表,如下图所示:

深入理解JVM—字节码编译机制 - 一线天色 天宇星辰 - 一线天色 天宇星辰

 如下图所示,代码直接处理前如下:

深入理解JVM—字节码编译机制 - 一线天色 天宇星辰 - 一线天色 天宇星辰

 代码注解处理后如下图所示

深入理解JVM—字节码编译机制 - 一线天色 天宇星辰 - 一线天色 天宇星辰

 注解处理完成,接着要做的事情就是标注和检查

(Attr and check),主要通过类com.sun.tools.javac.comp.Attrcom.sun.tools.javac.comp.Check完成,它是语义分析

的一个步骤。这个过程主要做以下事情:

1、  将语法树中的名字、表达式等元素与变量、方法、类型等联系到一起

2、  检查变量使用前是否已经声明

3、  推导泛型方法的类型参数

4、  检查类型匹配

5、  进行常量折叠

如下图所示,标注前的代码如下:

深入理解JVM—字节码编译机制 - 一线天色 天宇星辰 - 一线天色 天宇星辰

 标注后的代码形态如下:

深入理解JVM—字节码编译机制 - 一线天色 天宇星辰 - 一线天色 天宇星辰

 标注完成之后进行数据流分析,主要是通过类

com.sun.tools.javac.comp.Flow这个类来完成的,它也是语义分析的一个步骤,主要做以下几件事情:

1、  检查所有语句是否都可达

2、  检查所有的checked exception都被捕获或者抛出

3、  检查变量的确定性赋值

a)         所有局部变量在使用前都必须有确定的赋值

b)         有返回值的方法必须有确定性的返回值

4、  检查变量的确定性不重复赋值

a)         保证final类型不能重复赋值

接下来要做的事情就是转换类型(TransTypes),是通过com.sun.tools.javac.comp.TransTypes处理的,这也是解除语法糖的一个重要步骤,如想泛型转换为普通的Java代码同时插入必要的类型转换代码,如下图所示,转换类型前代码如下:

深入理解JVM—字节码编译机制 - 一线天色 天宇星辰 - 一线天色 天宇星辰

 类型转换后代码如下:

深入理解JVM—字节码编译机制 - 一线天色 天宇星辰 - 一线天色 天宇星辰

 解除语法糖是通过

com.sun.tools.javac.comp.Lower来处理的,主要用于以下一些方面

1、  消除无用代码

a)         满足以下条件的被认为条件编译的无用代码

                                       i.              If语句的条件表达式是常量表达式的

                                     ii.              表达式的值为falsethen无用代码和为true条件下的else无用代码块

2、  将含有语法糖的语法树改写为含有简单语言结构的语法树

a)         内部类(具体的内部类和匿名内部类)

b)         字面常量

c)         断言

d)         自动拆装箱

e)         Foreach循环

f)          Enm类型的switch语句

g)         String类型的switchJava7新支持的语法)

h)         。。。

如下图所示,这是Lower之前的代码

深入理解JVM—字节码编译机制 - 一线天色 天宇星辰 - 一线天色 天宇星辰

 Lower

之后如下图所示

深入理解JVM—字节码编译机制 - 一线天色 天宇星辰 - 一线天色 天宇星辰

 Lower

之前的另外一段代码

深入理解JVM—字节码编译机制 - 一线天色 天宇星辰 - 一线天色 天宇星辰

 Lower

之后的代码

深入理解JVM—字节码编译机制 - 一线天色 天宇星辰 - 一线天色 天宇星辰

 解除语法糖之后就开始生成字节码文件,是通过

com.sun.tools.javac.jvm.Gen生成的,主要实现以下功能

1、  将实例成员初始化收集器收集到构造器中的<init>()

2、  将静态成员初始化器收集为<clinit>()

3、  将抽象语法树生成字节码

a)         后续遍历语法树

b)         进行少量的代码转换

                                       i.              String中的+被生产为StringBuilder操作

                                     ii.              X++/x—在条件允许时被优化为++x/--x

4、  从符号表生成Class文件

a)         生成字节码文件的结构信息

b)         生成元数据(包括常量池)

其流程如下

深入理解JVM—字节码编译机制 - 一线天色 天宇星辰 - 一线天色 天宇星辰
 

 执行过程如下图所示

深入理解JVM—字节码编译机制 - 一线天色 天宇星辰 - 一线天色 天宇星辰

 



原创粉丝点击