JVM优化入门(2)

• • • 引用计数算法

• 可达性分析算法

• 堆的分代

• 堆的GC机制

• JVM参数

• JVM加载类的过程

• • • 类加载的具体过程

• 类加载器

• 双亲委派模型

JVM的内存模型

---

要更好的使用Java进行开发，我们需要理解JVM是如何分配内存的，这些内存都用来做什么，如何回收不用的内存。

下面我们来了解JVM的内存分配，根据JVM的规范，JVM的内存分为5个区域：

1. 堆区

2. 虚拟机栈

3. 方法区

4. 本地方法区

5. 程序计数器

下面我们具体了解下每个区域的区别

程序计数器

程序计数器（Program Counter Register）是一块较小的内存空间，它的作用可以看做是当前线程所执行的字节码的行号指示器。

在虚拟机的概念模型里，字节码解释器工作时就是通过改变这个计数器的值来选取下一条需要执行的字节码指令，分支、循环、跳转、异常处理、线程恢复等基础功能都需要依赖这个计数器来完成。

由于Java 虚拟机的多线程是通过线程轮流切换并分配处理器执行时间的方式来实现的，在任何一个确定的时刻，一个处理器（对于多核处理器来说是一个内核）只会执行一条线程中的指令。因此，为了线程切换后能恢复到正确的执行位置，每条线程都需要有一个独立的程序计数器，各条线程之间的计数器互不影响，独立存储，我们称这类内存区域为“线程私有”的内存。

如果线程正在执行的是一个Java 方法，这个计数器记录的是正在执行的虚拟机字节码指令的地址；如果正在执行的是Natvie方法，这个计数器值则为空（Undefined）。

此内存区域是唯一一个在Java 虚拟机规范中没有规定任何OutOfMemoryError 情况的区域。

Java 虚拟机栈

与程序计数器一样，Java 虚拟机栈（Java Virtual Machine Stacks）也是线程私有的，它的生命周期与线程相同。虚拟机栈描述的是Java 方法执行的内存模型：每个方法被执行的时候都会同时创建一个栈帧（Stack Frame ）用于存储局部变量表、操作数栈、动态链接、方法出口等信息。

每一个方法被调用直至执行完成的过程，就对应着一个栈帧在虚拟机栈中从入栈到出栈的过程。

在Java 虚拟机规范中，对这个区域规定了两种异常状况：如果线程请求的栈深度大于虚拟机所允许的深度，将抛出StackOverflowError异常；如果虚拟机栈可以动态扩展，当扩展时无法申请到足够的内存时会抛出OutOfMemoryError 异常。

代码案例：

package com.jvmtest;

public class Math {

public int add(){

int n = 10;

int m = 20;

int x = n + m;

return x;

}

public static void main(String[] args) {

Math math = new Math();

int rs = math.add();

System.out.println(rs);

}

}

以上面代码为例，程序执行后，栈中压入两个栈帧：main和add

再深入看看底层的实现，先编译出字节码

再使用 javap -c Math ， 反编译Math.class为汇编代码

可以看到局部变量表和操作数栈的具体运行过程

本地方法栈

本地方法栈（Native Method Stacks）与虚拟机栈所发挥的作用是非常相似的，其区别不过是虚拟机栈为虚拟机执行Java方法（也就是字节码）服务，而本地方法栈则是为虚拟机使用到的Native方法服务。

本地方法栈区域也会抛出StackOverflowError 和OutOfMemoryError异常。

堆区

Java 堆（Java Heap）是Java 虚拟机所管理的内存中最大的一块。

Java 堆是被所有线程共享的一块内存区域，在虚拟机启动时创建。此内存区域的唯一目的就是存放对象实例，几乎所有的对象实例都在这里分配内存。

根据Java 虚拟机规范的规定，Java 堆可以处于物理上不连续的内存空间中，只要逻辑上是连续的即可，就像我们的磁盘空间一样。在实现时，既可以实现成固定大小的，也可以是可扩展的，不过当前主流的虚拟机都是按照可扩展来实现的（通过-Xmx和-Xms 控制）。

如果在堆中没有内存完成实例分配，并且堆也无法再扩展时，将会抛出OutOfMemoryError 异常。

方法区

方法区（Method Area）与Java 堆一样，是各个线程共享的内存区域，它用于存储已被虚拟机加载的类信息、常量、静态变量、即时编译器编译后的代码等数据。

虽然Java 虚拟机规范把方法区描述为堆的一个逻辑部分，但是它却有一个别名叫做Non-Heap（非堆），目的应该是与Java 堆区分开来。

Java 虚拟机规范对这个区域的限制非常宽松，除了和Java 堆一样不需要连续的内存和可以选择固定大小或者可扩展外，还可以选择不实现垃圾收集。相对而言，垃圾收集行为在这个区域是比较少出现的，但并非数据进入了方法区就如永久代的名字一样“永久”存在了。

这个区域的内存回收目标主要是针对常量池的回收和对类型的卸载，一般来说这个区域的回收“成绩”比较难以令人满意，尤其是类型的卸载，条件相当苛刻，但是这部分区域的回收确实是有必要的。在Sun 公司的BUG 列表中，曾出现过的若干个严重的BUG 就是由于低版本的HotSpot 虚拟机对此区域未完全回收而导致内存泄漏。

根据Java 虚拟机规范的规定，当方法区无法满足内存分配需求时，将抛出OutOfMemoryError 异常。

Java对象的内存分配

上面我们了解的JVM的内存模型，那么当我们创建一个对象时，内存是如何分配的呢？

Math math = new Math();

上面这行代码可以看做是两个部分：

Math math这部分会在虚拟机栈的局部变量表中创建一个引用（reference）类型的变量；而 new Math()则会在堆区创建一个Math的实例。而这个reference类型的变量中就保存了这个Math实例的内存地址。

同时在Java对象中还保存了对象的类型数据，这个类型数据保存在方法区。

对象回收的算法

---

GC（Garbage Collection）垃圾收集机制是Java一个重要特性。不同于C/C++语言需要程序员自己管理内存的回收，而且这样做往往容易出错，导致内存泄漏等严重问题。

Java程序员不用编写回收内存的代码，因为Java有GC机制，它是一个特殊的后台线程，该线程对JVM中的内存进行标记，并确定哪些需要回收，再通过一定的回收策略自动回收内存，它在后台一直运行，保证JVM不会出现内存溢出的问题。

那么GC是如何判断某个对象的内存需要回收呢？

GC需要判断该对象已死，也就是不再被调用

如何判断对象不再被调用呢？

这里有两种算法：

1、引用计数算法

2、可达性分析算法

引用计数算法

该算法给每个对象分配一个计数器，当有引用指向这个对象时，计数器加1，当指向该对象的引用失效时，计数器减一。最后如果该对象的计数器为0时，java垃圾回收器会认为该对象是可回收的。

优点：

1、实时性高，只要对象计数器为0就进行回收，不用等到内存不足的时候。

2、在垃圾回收过程中，应用无需挂起。

3、更新对象的计数器时，只是影响到该对象，不会扫描全部对象。

缺点：

1、每次引用对象时，都会更新计数器，有时间消耗

2、不能解决循环引用问题

那什么是循环引用问题呢?我们看下面这段代码：

1. class ClassA{

2. ClassB b;

3. }

4. class ClassB{

5. ClassA a;

6. }

7. public static void main(String[] args){

8. ClassA a = new ClassA(); 1

9. ClassB b = new ClassB(); 1

10. a.b = b; 2

11. b.a = a; 2

12. a = null; 1

13. b = null; 1

14. }

上面的a、b两个对象虽然都赋值为null，但是都不能回收，因为存在循环引用，它们的计数器不为0.

可达性分析算法

该算法通过一种被称作“GC Root”的对象作为起始点，从这些节点开始向下搜索，搜索所走过的路径称为引用链，当一个对象到GC Roots没有任何引用链相连时，则证明此对象时不可用的。

如下图：

在Java语言中，可作为GC Roots对象包括下面几种：

1）虚拟机栈中引用的对象

2）方法区中类静态属性引用的对象

3）方法区常量池中引用的对象

3）本地方法栈中JNI引用的对象

再回头看前面这段代码，虽然a和b对象的引用计数都不为0，但是它们作为GC Root对象，最后都赋值为null，导致引用不可达，这样两个对象都是可以被回收的。

堆的分代

---

Java的堆是JVM中最大的一块内存区域，主要保存Java中各种类的实例。为了更好的管理堆中各个对象的内存，包括分配内存和回收内存。

JVM将堆分成了几块区域：

• 新生代（Young）

• 新生代又分为：

• Eden 伊甸区

• From Survivor 幸存区1

• To Survivor 幸存区2

• 老年代（Old）

其中新生代占堆的1/3空间，老年代占堆的2/3空间。

而新生代中的Eden占新生代的8/10,From Survivor和To Survivor各占新生代的1/10。

堆模型如图：

从上图中我们可以看出：堆是由新生代和老年代组成，默认情况下，新生代 ( Young ) 与老年代 ( Old ) 的比例为 1:2 。

其中，新生代 ( Young ) 又分为 Eden 和 From Survivor 、To Survivor区域。 默认情况下，Eden 和from、to的比例为 ：8 : 1 : 1 。

JVM 每次只会使用 Eden 和其中的一块 Survivor 区域来为对象服务，所以无论什么时候，总是有一块 Survivor 区域是空闲着的。

因此，新生代实际可用的内存空间为 9/10 ( 即90% )的新生代空间。

堆的GC机制

---

堆中的GC分为两种：

• Minor GC

• Full GC

Minor GC发生在新生代，采用的算法是复制算法。

Java中新创建的对象都在新生代中，当对象被判定为死亡时（也就是无法访问），就会被GC回收内存，发生Minor GC时，会将Eden和From Survivor区域中的存活的对象复制到To Survivor区域中，然后将Eden和From survivor区域进行清理。

当一个对象活过了一次Minor GC后，它的年龄就加1，当对象的年龄达到了15时，对象就会被放入老年代。

对象进入老年代的情况

1. 年龄达到15

2. 对象大小超过配置 -XX:PretenureSizeThreshold=???

3. 年龄相同的一批对象，大小超过Survivor区的1/2

Full GC发生在老年代，采用的是标记-清除算法。

标记：标记的过程其实就是，遍历所有的GC Roots，然后将所有GC Roots可达的对象标记为存活的对象。

清除：清除的过程将遍历堆中所有的对象，将没有标记的对象全部清除掉。

总结

我个人认为，如果你想靠着背面试题来获得心仪的offer，用癞蛤蟆想吃天鹅肉形容完全不过分。想必大家能感受到面试越来越难，想找到心仪的工作也是越来越难，高薪工作羡慕不来，却又对自己目前的薪资不太满意，工作几年甚至连一个应届生的薪资都比不上，终究是错付了，错付了自己没有去提升技术。

这些面试题分享给大家的目的，其实是希望大家通过大厂面试题分析自己的技术栈，给自己梳理一个更加明确的学习方向，当你准备好去面试大厂，你心里有底，大概知道面试官会问多广，多深，避免面试的时候一问三不知。

大家可以把Java基础，JVM，并发编程，MySQL，Redis，Spring，Spring cloud等等做一个知识总结以及延伸，再去进行操作，不然光记是学不会的，这里我也提供一些脑图分享给大家：

希望你看完这篇文章后，不要犹豫，抓紧学习，复习知识，准备在明年的金三银四拿到心仪的offer，加油，打工人！

题来获得心仪的offer，用癞蛤蟆想吃天鹅肉形容完全不过分。想必大家能感受到面试越来越难，想找到心仪的工作也是越来越难，高薪工作羡慕不来，却又对自己目前的薪资不太满意，工作几年甚至连一个应届生的薪资都比不上，终究是错付了，错付了自己没有去提升技术。

这些面试题分享给大家的目的，其实是希望大家通过大厂面试题分析自己的技术栈，给自己梳理一个更加明确的学习方向，当你准备好去面试大厂，你心里有底，大概知道面试官会问多广，多深，避免面试的时候一问三不知。

大家可以把Java基础，JVM，并发编程，MySQL，Redis，Spring，Spring cloud等等做一个知识总结以及延伸，再去进行操作，不然光记是学不会的，这里我也提供一些脑图分享给大家：

[外链图片转存中…(img-DMMWaXnD-1714408588850)]

[外链图片转存中…(img-GV0rhcj5-1714408588851)]

[外链图片转存中…(img-pJwywyIl-1714408588851)]

希望你看完这篇文章后，不要犹豫，抓紧学习，复习知识，准备在明年的金三银四拿到心仪的offer，加油，打工人！

本文已被CODING开源项目：【一线大厂Java面试题解析+核心总结学习笔记+最新讲解视频+实战项目源码】收录