【八股】JVM（Java内存区域、垃圾回收、对象的创建）

---

JVM

一、Java内存区域

Java内存区域分为线程共享部分和线程私有部分。线程共享部分包括堆、方法区；线程私有部分包括程序计数器本地方法栈、虚拟机栈。

1.堆

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

2.方法区

方法区存放编译好的类信息、常量、静态变量。JDK1.8以前是永久代，1.8以后称为元空间。

3.程序计数器

记录当前线程字节码执行的位置。

作用：
（1）线程切换后能回到上次运行的位置。
（2）实现代码的流程控制，如：顺序执行、选择、循环、异常处理。
注意：程序计数器是唯一一个不会出现 OutOfMemoryError 的内存区域，它的生命周期随着线程的创建而创建，随着线程的结束而死亡。

4.本地方法栈和虚拟机栈

Native方法的调用通过本地方法栈实现，除Native方法以外的方法的调用通过虚拟机栈实现。生命周期和线程相同，随着线程的创建而创建，随着线程的死亡而死亡。
每一个方法调用压入栈帧，调用结束弹出栈帧。栈帧包括：局部变量表、操作数栈、动态链接、方法返回。

（1） 局部变量表：存放方法中的局部变量和对象引用（reference类型）。

Java 程序通过栈上的 reference 数据来操作堆上的具体对象。目前主流的访问方式有：使用句柄、直接指针。

• 句柄：在堆上分出一块内存作为句柄池存放句柄，reference指向句柄地址，句柄指向对象实例数据和类型数据的实际地址。
• 直接指针：reference直接指向对象实例数据和类型数据的地址。
  
  

（2） 操作数栈：存放方法执行过程中的中间结果和临时变量。
（3） 动态链接：将调用的方法从符号转换为引用。将常量池中指向方法的符号引用转化为其在内存地址中的直接引用。
（4） 方法返回：方法返回有两种，正常return返回，抛出异常。

程序运行中栈可能会出现两种错误：

（1）StackOverFlowError： 若栈的内存大小不允许动态扩展，那么当线程请求栈的深度超过当前 Java 虚拟机栈的最大深度的时候，就抛出 StackOverFlowError 错误。函数调用陷入无限循环的话，就会导致栈中被压入太多栈帧而占用太多空间，导致栈空间过深。那么当线程请求栈的深度超过当前 Java 虚拟机栈的最大深度的时候，就抛出 StackOverFlowError 错误。
（2）OutOfMemoryError： 如果栈的内存大小允许动态扩展， 如果虚拟机在动态扩展栈时无法申请到足够的内存空间，则抛出OutOfMemoryError异常。

二、垃圾回收

Java 的自动内存管理主要是针对对象内存的回收和对象内存的分配。同时，Java 自动内存管理最核心的功能是堆内存中对象的分配与回收。

Java 堆是垃圾收集器管理的主要区域，因此也被称作 GC 堆（Garbage Collected Heap）。

1.内存分配和回收

堆通常分为：新生代、老年代、永久代（JDK1.8以后为元空间）。

大对象（需要大量连续内存空间的对象，如数组、字符串）、长期存活的对象分配到老年代。

新对象分配到新生代，新生代分为Eden区、Survivor区（s0区、s1区）。新对象先分配到Eden区，Eden区没有足够内存进行分配时进行一次Minor GC，仍然存活的对象移动到s0区，对象的年龄设为1。当s0区内存不足时，进行Minor GC，存活对象移动到s1区，对象年龄加1，s1区内存不足时，进行Minor GC，存活对象移动到s0区，对象年龄加1，循环。当对象年龄达到15时，移动到老年代。

• 部分收集 (Partial GC)：
  • 新生代收集（Minor GC / Young GC）：只对新生代进行垃圾收集；
  • 老年代收集（Major GC / Old GC）：只对老年代进行垃圾收集。需要注意的是 Major GC 在有的语境中也用于指代整堆收集；
• 混合收集（Mixed GC）：对整个新生代和部分老年代进行垃圾收集。整堆收集 (Full GC)：收集整个 Java 堆和方法区。

2.死亡对象判断方法

（1）引用计数法

给每个对象添加引用计数器，每当有一个地方引用该对象，引用计数器加1，引用失效则减1，引用计数器为0时，该对象不再被使用。

优点：简单，效率高
缺点：很难解决对象间的循环引用问题

（2）可达性算法

以GC Root为起点，向下搜索，走过的路径为引用链。当一个对象没有任何引用链到达GC Root，则为不可用对象，需要被回收。

GC Root：本地方法栈、虚拟机栈、方法区中引用的对象；所有被同步锁持有的对象、JNI（Java Native Interface）引用的对象

** 如何判断一个常量是废弃常量呢？** 假如在字符串常量池中存在字符串 “abc”，如果当前没有任何 String 对象引用该字符串常量的话，就说明常量 “abc” 就是废弃常量，如果这时发生内存回收的话而且有必要的话，“abc” 就会被系统清理出常量池了。如何判断一个类是无用的类？

**如何判断一个类是无用的类？**方法区主要回收的是无用的类，类需要同时满足下面 3 个条件才能算是 “无用的类”：

• 该类所有的实例都已经被回收，也就是 Java 堆中不存在该类的任何实例。
• 加载该类的 ClassLoader 已经被回收。
• 该类对应的java.lang.Class 对象没有在任何地方被引用，无法在任何地方通过反射访问该类的方法。

虚拟机可以对满足上述 3 个条件的无用类进行回收，这里说的仅仅是“可以”，而并不是和对象一样不使用了就会必然被回收。

3.引用类型

• 强引用：必不可少的生活用品，垃圾回收器绝不会回收它。当内存空间不足，Java 虚拟机宁愿抛出 OutOfMemoryError 错误，使程序异常终止，也不会靠随意回收具有强引用的对象来解决内存不足问题。
• 弱引用：可有可无的生活用品。如果内存空间足够，垃圾回收器就不会回收它，如果内存空间不足了，就会回收这些对象的内存。只要垃圾回收器没有回收它，该对象就可以被程序使用。弱引用可用来实现内存敏感的高速缓存。
• 软引用：可有可无的生活用品。在垃圾回收器线程扫描它所管辖的内存区域的过程中，一旦发现了只具有弱引用的对象，不管当前内存空间足够与否，都会回收它的内存。不过，由于垃圾回收器是一个优先级很低的线程， 因此不一定会很快发现那些只具有弱引用的对象。
• 虚引用：形同虚设，虚引用主要用来跟踪对象被垃圾回收的活动，在任何时候都可能被垃圾回收。

弱引用与软引用的区别在于：只具有弱引用的对象拥有更短暂的生命周期。

虚引用与软引用和弱引用的区别在于： 虚引用必须和引用队列（ReferenceQueue）联合使用。当垃圾回收器准备回收一个对象时，如果发现它还有虚引用，就会在回收对象的内存之前，把这个虚引用加入到与之关联的引用队列中。程序可以通过判断引用队列中是否已经加入了虚引用，来了解被引用的对象是否将要被垃圾回收。程序如果发现某个虚引用已经被加入到引用队列，那么就可以在所引用的对象的内存被回收之前采取必要的行动。

在程序设计中一般很少使用弱引用与虚引用，使用软引用的情况较多，这是因为软引用可以加速 JVM 对垃圾内存的回收速度，可以维护系统的运行安全，防止内存溢出（OutOfMemory）等问题的产生。

4.垃圾收集算法

三、对象的创建

1.对象的内存布局

对象分为三部分：对象头、实例数据、对齐填充

（1）对象头包括两部分信息：

• 标记字段（Mark Word）：用于存储对象自身的运行时数据， 如哈希码（HashCode）、GC 分代年龄、锁状态标志、线程持有的锁、偏向线程 ID、偏向时间戳等等。
• 类型指针（Klass Word）：对象指向它的类元数据的指针，虚拟机通过这个指针来确定这个对象是哪个类的实例。

（2）实例数据部分是对象真正存储的有效信息，也是在程序中所定义的各种类型的字段内容。
（3）对齐填充部分不是必然存在的，也没有什么特别的含义，仅仅起占位作用。 因为 Hotspot 虚拟机的自动内存管理系统要求对象起始地址必须是 8 字节的整数倍，换句话说就是对象的大小必须是 8 字节的整数倍。而对象头部分正好是 8 字节的倍数（1 倍或 2 倍），因此，当对象实例数据部分没有对齐时，就需要通过对齐填充来补全。

2.创建对象过程

（1）加载类信息：JVM找到对应的类字节码文件，加载到方法区。
（2）分配内存：有指针碰撞和空闲列表两种方式，选择哪种方式取决于堆内存是否规整，若垃圾回收算法是标记清除，内存不规整则选择空闲列表，维护一个列表记录空闲内存，若垃圾回收算法是标记整理，内存规整则选择指针碰撞，指针指向已用内存末尾。
（3）初始化零值：将分配的内存，除对象头部分初始化为0，使对象的数据未赋值就可以直接使用。
（4）设置对象头：初始化零值完成之后，虚拟机要对对象进行必要的设置，例如这个对象是哪个类的实例、如何才能找到类的元数据信息、对象的哈希码、对象的 GC 分代年龄等信息。 这些信息存放在对象头中。 另外，根据虚拟机当前运行状态的不同，如是否启用偏向锁等，对象头会有不同的设置方式。
（5）执行init方法，初始化对象。