JVM理解其实并不难!

在阅读本文之前,先向大家强烈推荐一下周志明的《深入理解 Java 虚拟机》这本书。

前些天面试了阿里的实习生,问到关于 Dalvik 虚拟机能不能执行 class 文件,我当时的回答是不能,但是它执行的是 class 转换的 dex 文件。当面试官继续问,为什么不能执行 class 文件时,我却只能回答 Dalvik 虚拟机内部的优化原因,却不能正确回答具体的原因。其实周志明的这本书就有回答:Dakvik 并不是一个 Java 虚拟机,它没有遵循 Java 虚拟机规范,不能执行 Java 的 class 文件,使用的是寄存器架构而不是 JVM 中常见的栈架构,但是它与 Java 又有着千丝万缕的关系,它执行的 dex 文件可以通过 class 文件转化而来。

其实在本科期间,就有接触过《深入理解 Java 虚拟机》,但是一直以来都没去仔细研读,现在回头想想实在是觉得可惜!研一期间花了不少时间研读,现在准备找工作了,发现好多内容看了又忘。索性写一篇文章,把这本书的知识点做一个总结。当然了,如果你想看比较详细的内容,可以翻看《深入理解 Java 虚拟机》。

JVM 内存区域 我们在编写程序时,经常会遇到 OOM(out of Memory)以及内存泄漏等问题。为了避免出现这些问题,我们首先必须对 JVM 的内存划分有个具体的认识。JVM 将内存主要划分为:方法区、虚拟机栈、本地方法栈、堆、程序计数器。JVM 运行时数据区如下:

程序计数器 程序计数器是线程私有的区域,很好理解嘛~,每个线程当然得有个计数器记录当前执行到那个指令。占用的内存空间小,可以把它看成是当前线程所执行的字节码的行号指示器。如果线程在执行 Java 方法,这个计数器记录的是正在执行的虚拟机字节码指令地址;如果执行的是 Native 方法,这个计数器的值为空(Undefined)。此内存区域是唯一一个在 Java 虚拟机规范中没有规定任何 OutOfMemoryError 情况的区域。

Java 虚拟机栈 与程序计数器一样,Java 虚拟机栈也是线程私有的。其生命周期与线程相同。如何理解虚拟机栈呢?本质上来讲,就是个栈。里面存放的元素叫栈帧,栈帧好像很复杂的样子,其实它很简单!它里面存放的是一个函数的上下文,具体存放的是执行的函数的一些数据。执行的函数需要的数据无非就是局部变量表(保存函数内部的变量)、操作数栈(执行引擎计算时需要),方法出口等等。

执行引擎每调用一个函数时,就为这个函数创建一个栈帧,并加入虚拟机栈。换个角度理解,每个函数从调用到执行结束,其实是对应一个栈帧的入栈和出栈。

注意这个区域可能出现的两种异常:一种是 StackOverflowError,当前线程请求的栈深度大于虚拟机所允许的深度时,会抛出这个异常。制造这种异常很简单:将一个函数反复递归自己,最终会出现栈溢出错误(StackOverflowError)。另一种异常是 OutOfMemoryError 异常,当虚拟机栈可以动态扩展时(当前大部分虚拟机都可以),如果无法申请足够多的内存就会抛出 OutOfMemoryError,如何制作虚拟机栈 OOM 呢,参考一下代码:

本地方法栈 本地方法栈与虚拟机栈所发挥的作用很相似,他们的区别在于虚拟机栈为执行 Java 代码方法服务,而本地方法栈是为 Native 方法服务。与虚拟机栈一样,本地方法栈也会抛出 StackOverflowError 和 OutOfMemoryError 异常。

Java 堆 Java 堆可以说是虚拟机中最大一块内存了。它是所有线程所共享的内存区域,几乎所有的实例对象都是在这块区域中存放。当然,睡着 JIT 编译器的发展,所有对象在堆上分配渐渐变得不那么 “绝对” 了。

Java 堆是垃圾收集器管理的主要区域。由于现在的收集器基本上采用的都是分代收集算法,所有 Java 堆可以细分为:新生代和老年代。在细致分就是把新生代分为:Eden 空间、From Survivor 空间、To Survivor 空间。当堆无法再扩展时,会抛出 OutOfMemoryError 异常。

方法区 方法区存放的是类信息、常量、静态变量等。方法区是各个线程共享区域,很容易理解,我们在写 Java 代码时,每个线程度可以访问同一个类的静态变量对象。由于使用反射机制的原因,虚拟机很难推测那个类信息不再使用,因此这块区域的回收很难。另外,对这块区域主要是针对常量池回收,值得注意的是 JDK1.7 已经把常量池转移到堆里面了。同样,当方法区无法满足内存分配需求时,会抛出 OutOfMemoryError。 制造方法区内存溢出,注意,必须在 JDK1.6 及之前版本才会导致方法区溢出,原因后面解释, 执行之前,可以把虚拟机的参数 - XXpermSize 和 - XX:MaxPermSize 限制方法区大小。

运行后会抛出java.lang.OutOfMemoryError:PermGen space异常。

解释一下,Stringintern()函数作用是如果当前的字符串在常量池中不存在,则放入到常量池中。上面的代码不断将字符串添加到常量池,最终肯定会导致内存不足,抛出方法区的 OOM。

下面解释一下,为什么必须将上面的代码在 JDK1.6 之前运行。我们前面提到,JDK1.7 后,把常量池放入到堆空间中,这导致intern()函数的功能不同,具体怎么个不同法,且看看下面代码:

这段代码在 JDK1.6 和 JDK1.7 运行的结果不同。JDK1.6 结果是:false,false ,JDK1.7 结果是true, false。原因是:JDK1.6 中,intern()方法会吧首次遇到的字符串实例复制到常量池中,返回的也是常量池中的字符串的引用,而StringBuilder创建的字符串实例是在堆上面,所以必然不是同一个引用,返回false。在 JDK1.7 中,intern不再复制实例,常量池中只保存首次出现的实例的引用,因此intern()返回的引用和由StringBuilder创建的字符串实例是同一个。为什么对 str2 比较返回的是 false 呢?这是因为,JVM 中内部在加载类的时候,就已经有"java"这个字符串,不符合 “首次出现” 的原则,因此返回false

垃圾回收(GC JVM 的垃圾回收机制中,判断一个对象是否死亡,并不是根据是否还有对象对其有引用,而是通过可达性分析。对象之间的引用可以抽象成树形结构,通过树根(GC Roots)作为起点,从这些树根往下搜索,搜索走过的链称为引用链,当一个对象到 GC Roots 没有任何引用链相连时,则证明这个对象是不可用的,该对象会被判定为可回收的对象。

那么那些对象可作为 GC Roots 呢?主要有以下几种:

1. 虚拟机栈(栈帧中的本地变量表)中引用的对象。 2. 方法区中类静态属性引用的对象。 3. 方法区中常量引用的对象 4. 本地方法栈中 JNI(即一般说的 Native 方法)引用的对象。

另外,Java 还提供了软引用和弱引用,这两个引用是可以随时被虚拟机回收的对象,我们将一些比较占内存但是又可能后面用的对象,比如 Bitmap 对象,可以声明为软引用货弱引用。但是注意一点,每次使用这个对象时候,需要显示判断一下是否为null,以免出错。

三种常见的垃圾收集算法

第一

标记 - 清除算法 首先,通过可达性分析将可回收的对象进行标记,标记后再统一回收所有被标记的对象,标记过程其实就是可达性分析的过程。这种方法有 2 个不足点:效率问题,标记和清除两个过程的效率都不高;另一个是空间问题,标记清除之后会产生大量的不连续的内存碎片。

第二

复制算法 为了解决效率问题,复制算法是将内存分为大小相同的两块,每次只使用其中一块。当这块内存用完了,就将还存活的对象复制到另一块内存上面。然后再把已经使用过的内存一次清理掉。这使得每次只对半个区域进行垃圾回收,内存分配时也不用考虑内存碎片情况。

但是,这代价实在是让人无法接受,需要牺牲一般的内存空间。研究发现,大部分对象都是 “朝生夕死”,所以不需要安装 1:1 比例划分内存空间,而是将内存分为一块较大的 Eden 空间和两块较小的 Survivor 空间,每次使用 Eden 空间和一块 Survivor 空间,默认比例为 Eden:Survivor=8:1. 新生代区域就是这么划分,每次实例在 Eden 和一块 Survivor 中分配,回收时,将存活的对象复制到剩下的另一块 Survivor。这样只有 10% 的内存会被浪费,但是带来的效率却很高。当剩下的 Survivor 内存不足时,可以去老年代内存进行分配担保。如何理解分配担保呢,其实就是,内存不足时,去老年代内存空间分配,然后等新生代内存缓过来了之后,把内存归还给老年代,保持新生代中的 Eden:Survivor=8:1. 另外,两个 Survivor 分别有自己的名称:From Survivor、To Survivor。二者身份经常调换,即有时这块内存与 Eden 一起参与分配,有时是另一块。因为他们之间经常相互复制。

第三

标记 - 整理算法 标记整理算法很简单,就是先标记需要回收的对象,然后把所有存活的对象移动到内存的一端。这样的好处是避免了内存碎片。

类加载机制 类从被加载到虚拟机内存开始,到卸载出内存为止,整个生命周期包括:加载、验证、准备、解析、初始化、使用和卸载七个阶段。

其中加载、验证、准备、初始化、和卸载这 5 个阶段的顺序是确定的。而解析阶段不一定:它在某些情况下可以在初始化阶段之后再开始,这是为了支持 Java 的运行时绑定。

关于初始化:JVM 规范明确规定,有且只有 5 中情况必须执行对类的初始化(加载、验证、准备自然再此之前要发生): 1. 遇到 new、getstatic、putstatic、invokestatic,如果类没有初始化,则必须初始化,这几条指令分别是指:new 新对象、读取静态变量、设置静态变量,调用静态函数。 2. 使用 java.lang.reflect 包的方法对类进行反射调用时,如果类没初始化,则需要初始化 3. 当初始化一个类时,如果发现父类没有初始化,则需要先触发父类初始化。 4. 当虚拟机启动时,用户需要制定一个执行的主类(包含 main 函数的类),虚拟机会先初始化这个类。 5. 但是用 JDK1.7 启的动态语言支持时,如果一个 MethodHandle 实例最后解析的结果是REF_getStaticREF_putStaticRef_invokeStatic的方法句柄时,并且这个方法句柄所对应的类没有进行初始化,则要先触发其初始化。

另外要注意的是:通过子类来引用父类的静态字段,不会导致子类初始化

最后只会打印:SuperClass init! 对应静态变量,只有直接定义这个字段的类才会被初始化,因此通过子类类引用父类中定义的静态变量只会触发父类初始化而不会触发子类初始化。

通过数组定义来引用类,不会触发此类的初始化

常量会在编译阶段存入调用者的常量池,本质上并没有直接引用到定义常量的类,因此不会触发定义常量的类初始化,示例代码如下:

上面代码不会出现 ConstClass init!

加载 加载过程主要做以下 3 件事 1. 通过一个类的全限定名称来获取此类的二进制流 2. 强这个字节流所代表的静态存储结构转化为方法区的运行时数据结构 3. 在内存中生成一个代表这个类的 java.lang.Class 对象, 作为方法区这个类的各种数据访问入口。

验证 这个阶段主要是为了确保 Class 文件字节流中包含信息符合当前虚拟机的要求,并且不会出现危害虚拟机自身的安全。

准备 准备阶段是正式为类变量分配内存并设置类变量初始值的阶段,这些变量所使用的内存都在方法区中分配。首先,这个时候分配内存仅仅包括类变量(被 static 修饰的变量),而不包括实例变量。实例变量会在对象实例化时随着对象一起分配在 java 堆中。其次这里所说的初始值 “通常情况下” 是数据类型的零值,假设一个类变量定义为

public static int value=123;

那变量 value 在准备阶段后的初始值是 0,而不是 123,因为还没有执行任何 Java 方法,而把 value 赋值为 123 是在程序编译后,存放在类构造函数<clinit>()方法中。

解析 解析阶段是把虚拟机中常量池的符号引用替换为直接引用的过程。

初始化 类初始化时类加载的最后一步,前面类加载过程中,除了加载阶段用户可以通过自定义类加载器参与以外,其余动作都是虚拟机主导和控制。到了初始化阶段,才是真正执行类中定义 Java 程序代码。

准备阶段中,变量已经赋过一次系统要求的初始值,而在初始化阶段,根据程序员通过程序制定的主观计划初始化类变量。初始化过程其实是执行类构造器<clinit>()方法的过程。

<clinit>()方法是由编译器自动收集类中所有类变量的赋值动作和静态语句块中的语句合并产生的。收集的顺序是按照语句在源文件中出现的顺序。静态语句块中只能访问定义在静态语句块之前的变量,定义在它之后的变量可以赋值,但不能访问。如下所示:

<clinit>()方法与类构造函数(或者说实例构造器<init>())不同,他不需要显式地调用父类构造器,虚拟机会保证子类的<clinit>()方法执行之前,父类的<clinit>()已经执行完毕。

类加载器 关于自定义类加载器,和双亲委派模型,这里不再提,写了几个小时了,该洗洗睡了~

  • 作者:huachao1001 链接:https://www.jianshu.com/p/864fc0a49bbb

原文发布于微信公众号 - java思维导图(java-mindmap)

原文发表时间:2018-01-12

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏Jimoer

jvm学习记录-对象的创建、对象的内存布局、对象的访问定位

简述 今天继续写《深入理解java虚拟机》的对象创建的理解。这次和上次隔的时间有些长,是因为有些东西确实不好理解,就查阅各种资料,然后弄明白了才来做记录。 (此...

2787
来自专栏用户2442861的专栏

JSON 入门指南(IBM)

尽管有许多宣传关于 XML 如何拥有跨平台,跨语言的优势,然而,除非应用于 Web Services,否则,在普通的 Web 应用中,开发者经常为 XML 的...

991
来自专栏JAVA高级架构

Java常见面试题及答案 11-20(JVM)

11.JVM内存分哪几个区,每个区的作用是什么? java虚拟机主要分为以下一个区: 方法区: 1. 有时候也成为永久代,在该区内很少发生垃圾回收,但是并不代表...

5099
来自专栏技术博客

C#简单的面试题目(五)

61.数组有没有length()这个方法? String有没有length()这个方法?

1093
来自专栏恰童鞋骚年

黑马公开课——运行原理与GC学习笔记

.NET Framework的组成: (1)基础类库(BCL):使用线程的类来完成编程,对于不存在的类,就自己编写; (2)编译工具:将源文件,编译成“程序集”...

1014
来自专栏pydata

J2EE复习

JVM的两个内存:      运行时数据区 程序计数器 Java虚拟机栈 本地方法栈 Java堆 方法区...

802
来自专栏LuckQI

Java核心技术讲解学习二

1532
来自专栏Java架构师历程

JAVA内存学习总结

从最开始学习java的时候,老师就讲过,java主要分为堆和栈两个内存区域,随着不断的学习和深入,也对java的内存有了更细致的了解。本文是个人通过以前老师所讲...

1393
来自专栏Android常用基础

粗谈Java虚拟机之内存管理

线程私有,生命周期与线程相同。虚拟机栈描述的是Java方法执行的内存模型:每个方法在执行时都会创建一个栈帧用于存储局部变量表、操作数栈、动态链接、方法出口等信息...

992
来自专栏安恒网络空间安全讲武堂

​CTF逆向——常规逆向篇(下)

CTF逆向——常规逆向篇(下) 题目: CrackMe.exe(NSCTF reverse第一题) WHCTF2017 reverse HCTF reverse...

5115

扫码关注云+社区

领取腾讯云代金券