JVM优化入门，java面试题百度文库

深入了解JVM

• • [JVM的内存模型](about:blan

《一线大厂Java面试题解析+后端开发学习笔记+最新架构讲解视频+实战项目源码讲义》

【docs.qq.com/doc/DSmxTbFJ1cmN1R2dB】 完整内容开源分享

k#JVM_4)

• • • 程序计数器

• Java 虚拟机栈

• 本地方法栈

• 堆区

• 方法区

• Java对象的内存分配

• 对象回收的算法

• • • 引用计数算法

• 可达性分析算法

• 堆的分代

• 堆的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可达的对象标记为存活的对象。

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

当程序运行期间，若可以使用的内存被耗尽的时候，GC线程就会被触发并将程序暂停，随后将依旧存活的对象标记一遍，最终再将堆中所有没被标记的对象全部清除掉，接下来便让程序恢复运行。

标记-清除算法存在比较大的缺点：

1）进行GC时需要暂停应用程序，所以导致用户体验变差

2）会产生许多不连续的内存空间

所以我们一般会避免出现Full GC。

JVM参数

---

JVM的优化可以通过参数配置来实现。

堆的初始大小、新生代、老年代的大小都可以通过JVM的参数进行配置。

下面是一些常用的JVM参数:

| 参数 | 说明 |

| — | — |

| -Xms | 初始堆大小。如：-Xms256m |

| -Xmx | 最大堆大小。如：-Xmx512m |

| -Xmn | 新生代大小。通常为 Xmx 的 1/3 或 1/4。新生代 = Eden + 2 个 Survivor 空间。实际可用空间为 = Eden + 1 个 Survivor，即 90% |

| -Xss | 线程的堆栈大小 |

| -XX:NewRatio | 新生代与老年代的比例，如 –XX:NewRatio=2，则新生代占整个堆空间的1/3，老年代占2/3 |

| -XX:SurvivorRatio | 新生代中 Eden 与 Survivor 的比值。默认值为 8。即 Eden 占新生代空间的 8/10，另外两个 Survivor 各占 1/10 |

| -XX:PermSize | 永久代(方法区)的初始大小 |

| -XX:MaxPermSize | 永久代(方法区)的最大值 |

| -XX:+PrintGCDetails | 打印 GC 信息 |

| -XX:PretenureSizeThreshold | 超过该值的对象直接进入老年代 |