掌握了本篇知识之后,简历上就可以多加一条个人技能了:
熟悉 JVM 相关知识,包括内存区域、内存模型、GC、类加载机制、编译优化等
下面就是正文了,欢迎讨论~:
目录
- 内存区域
- 内存模型
- 内存分配回收策略
- Java 对象的创建、内存布局和访问定位
- GC
1)引用计数及可达性分析
2)垃圾回收算法
3)G1 及 ZGC - 类加载机制
- 双亲委派模型
- 编译器优化
1)方法内联
2)逃逸分析 - 虚拟机相关
1)HotSpot 及 JIT
2)Dalvik
3)ART 及 AOT - JVM 是如何执行方法调用的?
- JVM 是如何实现反射的?
- JVM 是如何实现泛型的?
- JVM 是如何实现异常的?
- JVM 是如何实现注解的?
内存区域
Java 中的运行时数据可以划分为两部分,一部分是线程私有的,包括虚拟机栈、本地方法栈、程序计数器,另一部分是线程共享的,包括方法区和堆。
程序计数器是一块较小的内存空间,它可以看作是当前线程所执行的字节码的行号指示器。虚拟机栈描述的是 Java 方法执行的内存模型,每个方法在执行的同时都会创建一个栈帧用于存储局部变量表、操作数栈、动态链接地址、方法出口等信息。每一个方法从调用直至执行完成的过程,就对应着一个栈桢在虚拟机中入栈和出栈的过程。本地方法栈和虚拟机栈所发挥的作用是非常相似的,只不过本地方法栈描述的是 Native 方法执行的内存模型。
Java 堆是所有线程共享的一块数据区域,主要用来存放对象实例。它也是垃圾收集器管理的主要区域,从内存回收的角度来看,由于现代收集器基本上都采用分代回收,所以 Java 堆还可以细分为新生代和老年代。再细致一点还可以把新生代划分为 Eden 区、From Survivor 区和 To Survivor 区。从内存分配的角度来看,线程共享的 Java 堆中可能划分为多个线程私有的分配缓冲区 TLAB。不过不论如何划分,都与存放内容无关,无论哪个区域,存放的都是对象实例,进一步划分的目的是为了更好的回收内存或者更快的分配内存。方法区是用于存储已被虚拟机加载的类信息、常量、静态变量、即使编译器编译后的代码等数据。JVM 对方法区的限制比较宽松,除了和 Java 堆一样不需要连续的内存和可以选择固定大小或者可扩展外,还可以选择不实现垃圾回收。相对而言,垃圾回收在这个区域是比较少出现的。运行时常量池是方法区的一部分,它用来存储编译期生成的各种字面量和符号引用。运行时常量池相比 Class 文件常量池一个重要的特点是具备动态性,也就是在运行期间也可能将新的常量放入池中,比如 String 的 intern 方法。
在 Java 6 版本中,永久代在非堆内存区;到了 Java 7 版本,永久代的静态变量和运行时常量池被合并到了堆中;而到了 Java 8,永久代被元空间取代了。很多开发者都习惯将方法区称为 “永久代”,其实两者并不是等价的。HotSpot 虚拟机只是使用永久代来实现方法区,但是在 Java 8 已经将方法区中实现的永久代去掉了,并用元空间替换,元空间的存储位置是本地内存。那么 Java 8 为什么使用元空间替换永久代呢?这样做有什么好处嘛?
官方给出的解释是:移除永久代是为了融合 HotSpot JVM 和 JRockit VM 而做出的努力,因为 JRockit 没有永久代,所以不需要配置永久代;其次,永久代内存经常不够用,易 OOM。这是因为在 Java 7 中,指定的 PermGen 区大小为 8M,由于 PermGen 中类的元数据信息在每次 FullGC 的时候回收率都偏低,而且为 PermGen 分配多大的空间很难确定,PermSize 的大小依赖于很多因素,比如 JVM 加载的 class 总数、常量池的大小和方法的大小等等。
内存模型
JMM 内存模型是用来屏蔽掉各种硬件和操作系统的内存访问差异,以实现让 Java 程序在各个平台下都能达到一致的内存访问效果。
Java 内存模型规定了所有的共享变量都是存储在主内存,每个线程还有自己的工作内存,线程的工作内存保存了该线程使用到的共享变量的主内存副本拷贝,线程对变量的操作都必须在工作内存中进行,而不能直接读写主内存中的变量,不同的线程之间也无法直接访问对方工作内存中的数据,线程间变量值的传递均需要主内存来完成。
那么为什么要这么做呢?
其实就要讲到一些硬件知识了,我们知道 CPU 执行的速度是远超于内存访问速度,为了中和这种速度差异,在 CPU 和内存之间会加入多个 CPU 缓存,比如 L1、L2、L3。CPU 在处理数据时会先把内存中的数据读到自己的 CPU 缓存中,然后在缓存中进行操作数据,最后再把数据同步到内存中。这里,就可以把 CPU 的缓存看成是线程的工作内存,而把内存看成是主内存,虽然这个说法并不严谨,但是易于理解。
内存分配回收策略
内存分配回收策略包含三点:
-
对象优先在 Eden 区分配
准确的来说,是优先在 Eden 区的 TLAB 上分配,如果 Eden 区没有足够的空间进行分配时,就会触发一次 Minor GC。
-
大对象直接进入老年代
所谓的大对象是指需要连续大量内存空间的 Java 对象,比如数组,一般来说,超过 3M 的对象会直接在老年代进行分配。
-
长期存活的对象进入老年代
既然虚拟机采用了分代收集的思想来管理内存,那么内存回收就必须得识别哪些对象应放在新生代还是老年代。为了做到这一点,虚拟机给每个对象定义了一个对象年龄计数器。如果对象在 Eden 出生并经过一次 Minor GC 后仍然存活,并且能被 Survivor 容纳的话,将会被移到 Survivor 空间中,并且对象年龄设置为 1.对象每在 Survivor 区熬过一次 Minor GC,年龄就会增加 1。当年龄增加到一定程度,默认是 15,就将会晋升到老年代中。
最后讲一下 Minor GC 和 Full GC。
Minor GC 是指发生在新生代的垃圾回收动作,因为 Java 对象大多都是朝生夕死的,所以 Minor GC 比较频繁,回收速度也比较快。
Full GC/Major GC 指发生在老年代的 GC,出现 Full GC 经常会伴随着至少一次的 Minor GC,Full GC 一般会比 Minor GC 慢十倍以上。
Java 对象的创建、内存布局和访问定位
先说对象创建,在虚拟机遇到一条 new 指令时,首先将去检查这个指令的参数是否能在常量池中定位到一个类的符号引用,并且检查这个符号引用代表的类是否已经被加载过了,如果没有就走类加载流程。在类加载检查通过之后,虚拟机就会为新生对象分配内存,对象所需内存在类加载完成之后就确定了。为对象分配内存空间就等同于把一块确