Connor学JVM - Java内存区域

ConnorYan

已于 2022-06-20 10:14:26 修改

阅读量155

点赞数

分类专栏： Connor学JVM 文章标签： java 开发语言

于 2022-06-14 20:38:41 首次发布

本文链接：https://blog.csdn.net/scottb/article/details/125285688

版权

Connor学JVM 专栏收录该内容

9 篇文章 0 订阅

订阅专栏

在这里插入图片描述

Learn && Live
虚度年华浮萍于世，勤学善思至死不渝

前言

本文主要参考了周志明老师所著《深入理解Java虚拟机》，如有纰漏偏差，欢迎各位大佬指正！原创不易，转载请注明出处：http://t.csdn.cn/UORhr

JVM体系结构

相信在简历中赫然列出“熟悉Java编程语言”的你对下面这幅图一定不会感到陌生吧，JVM体系结构作为各大面经文章的常客，即将带领我们进入深入理解JVM的崭新世界。
在这里插入图片描述
由上图可见，JVM的体系结构包含以下五大部分：

类加载器子系统(Class Loader SubSystem)
运行时数据区(Runtime Data Area)
执行引擎(Execution Engine)
本地库接口(Java Native Interface)
本地方法库(Native Method Libraries)

那么上述这五大部分各自发挥着怎样的作用呢？我们平时写出的代码又是怎么跑起来的呢？

五大部分各自的作用会在后续的学习中逐步细化，这里只给出简述。

我们平时写代码得到的java文件，经过编译器编译生成字节码文件
通过类加载器(Class Loader)加载到JVM中
由运行时数据区(Runtime Data Area)将字节码加载到内存中
字节码文件只是针对JVM的一套指令集规范，并不能直接交给底层操作系统去执行，需要将字节码文件经执行引擎(Execute Engine，实际是执行引擎中的即时编译器)编译成具体的机器码
根据生成的机器码找到对应的本地接口，调用操作系统的本地方法库完成具体的指令操作

如此这般，我们的代码历经五道关卡，就可以顺利地跑起来了。

JVM线程

在多核操作系统上，JVM允许在一个进程内并发执行多个线程。
JVM中的线程与底层操作系统中的线程是相互对应的，在JVM线程的本地存储、缓冲区分配、同步对象、栈、程序计数器等准备工作完成后，JVM会调用操作系统的接口创建一个与之对应的操作系统原生线程；在JVM线程运行结束时，原生线程也会被回收
JVM后台运行的线程主要有：虚拟机线程、周期性任务线程、GC线程、编译器线程、信号分发线程。

JVM运行时数据区

在这里插入图片描述

首先明确下面几个JVM线程的相关概念，方便我们之后对各个区域的展开学习：

运行时数据区可分为线程私有区域（程序计数器、虚拟机栈、本地方法区）、线程共享区域（堆、方法区）。
线程私有区域的生命周期与线程相同，与JVM线程“同生共死”，每个线程与操作系统的原生线程直接映射。
线程共享区域则是与JVM“同生共死”，即随虚拟机的启动而创建，随虚拟机的关闭而销毁。

明确了JVM线程的相关概念后，我们就可以继续深入运行时数据区的各个子区域了

程序计数器

有一定计算机基础的小伙伴对这个名字一定不会陌生，事实上它的作用也是与操作系统中的类似。

线程私有
可以看作当前线程所执行的字节码的行号指示器。字节码解释器工作时就是通过改变这个计数器的值来执行下一条字节码指令，可以完成程序中分支、循环、跳转、异常处理、线程恢复等基础功能
保存线程执行状态。由于JVM的多线程是通过线程轮流切换、分配处理器执行时间来实现的，因此在任一时刻，一个处理器都只会执行一条线程中的指令，当当前线程暂停执行时，线程私有的程序计数器会停留在正在执行的位置，从而保存当前线程的执行状态
计数器记录内容视线程正在执行的方法而定。若线程正在执行Java方法，计数器记录的是正在执行的字节码指令的地址；若正在执行的是本地(Native)方法，这个计数器则应为空(Undefined)
异常情况：唯一一个没有规定任何OutOfMemoryError情况的区域

Java虚拟机栈

相信之前在学习Java的基础内容是你一定了解过这样一个概念：在Java代码中定义的局部变量（方法内定义的变量）被存储到JVM中的栈中，按照栈后进先出(FILO)的方式进行维护。但你同时可能也会有这样一个疑问：既然局部变量是定义在方法内的，那如果我们不对这些变量做一定的区分，一股脑地塞到栈中，那么在被所在的方法调用时会是怎样“壮观”的景象呢？相信下面的解释会让你豁然开朗。

JVM栈的特点概念：

线程私有
栈帧(Stack Frame)模型。每个方法被执行时，JVM都会同步创建一个栈帧，用于存储局部变量表、操作数栈、动态链接、方法出口等信息。每一个方法被调用直至执行完毕的过程，就对应着一个栈帧在JVM栈中从入栈到出栈的过程
局部变量表存放了编译期可知的基本数据类型数据(boolean，byte，char，short，int，float，long，double)、对象引用类型数据（注意是引用，存储的是地址信息，真正的对象存储在堆中，之后会涉及到）和returnAddress类型（指向一条字节码指令的地址）；这些数据在局部变量表中所占的内存以**局部变量槽(Slot)**表示，64位类型数据(double，long)占两个变量槽，其他类型数据占一个变量槽
局部变量表的内存空间在编译期间即完成分配，在方法运行期间不会改变局部变量表中变量槽的数量
异常情况：
- JVM栈的深度大于JVM所允许的深度，抛出StackOverflowError
- 若JVM栈容量可以动态扩展，当栈扩展到无法申请到足够的内存会抛出OutOfMemoryError

本地方法区

又名本地方法栈(Native Method Stack)。

线程私有
与JVM栈相对应，JVM栈提供执行Java方法的服务，而本地方法区提供执行Native方法的服务
与JVM栈相同，涉及到栈的深度限制和申请内存限制时可能会抛出StackOverflowError和OutOfMemoryError

Java堆

线程共享
JVM中最大的一块内存区域，用于存放对象实例
Java堆可以处于物理上不连续的内存空间，但逻辑上应当被视为连续的
可根据不同的逻辑对堆区域进行划分，但应注意，划分只是为了更好的进行管理（回收内存或分配内存角度），堆内存储的内容并不会发生变化
- 从回收内存的角度来看，此时堆也可称作“GC堆”，经典的划分设计分代设计，即划分为新生代、老生代（之后会详细介绍）
- 从分配内存的角度来看，可以将线程共享的堆划分为多个线程私有的分配缓冲区(Thread Local Allocation Buffer，TLAB)，提升对象分配时的效率
异常情况：当堆空间不足以完成示例分配，或无法再扩展时，抛出OutOfMemoryError

方法区

线程共享
存放已被JVM加载的类信息、final常量、static静态变量、即时编译器编译后的代码等数据
不需要连续的内存空间，可选择固定大小或可扩展，可以选择不实现垃圾回收

方法区的垃圾回收主要涉及：（这里会在之后垃圾回收算法部分详细介绍）
- 常量池回收
- 类型卸载
异常情况：方法区不足以分配新的内存空间，抛出OutOfMemoryError

说到GC机制和经典分代的设计方法，你一定听到过**“永久代”**这一概念，甚至会在很多前辈的文章中看到将方法区等同于永久代，而事实真的如此吗？事实上两者是不等价的，下面以JDK版本作为时间轴解释

JDK8之前，“永久代”仅作为HotSpot虚拟机设计团队的一种实现方法区的实现方式，即参考堆的分代设计，方便管理内存
JDK7，HotSpot设计团队逐渐体会到这一设计的缺陷，将永久代中的字符串常量池、静态变量等移至堆中
JDK8，HotSpot彻底放弃永久代设计，改为在本地内存实现的元空间(Meta-space)，存放JDK7之后永久代中的内容(主要是类信息)

运行时常量池

方法区的一部分

存放常量池表(Constant Pool Table)，包含编译期生成的各种字面量、符号引用及符号引用翻译得到的直接引用

字面量：int a = 1;中的1，String = “abc”;中的“abc”

符号引用：一组由任意形式的字面量组成的符号，唯一标记一个不清楚所引用目标实际地址的类，如在A类中引用的B类，与JVM内存布局无关，所引用的类不一定加载到内存中

直接引用：与符号引用相对应，与JVM布局相关，所引用的目标会加载到内存中，不同的JVM翻译所得结果不同。实现方式包括指针/地址、相对偏移量(下标)、间接定位句柄(这里先mark一下，需要后续了解学习)

**动态性。**常量不一定只有编译期才能产生，运行期间也可以加入新的常量（intern()方法）

异常情况：方法区内存OutOfMemoryError