04.运行时数据区

JJge97

于 2024-05-17 13:50:28 发布

阅读量615

点赞数 12

分类专栏： jvm 文章标签： java jvm

本文链接：https://blog.csdn.net/weixin_42314827/article/details/139002610

版权

jvm 专栏收录该内容

6 篇文章 0 订阅

订阅专栏

1. 总览

java虚拟机在运行java程序过程中管理的内存区域，叫做运行时数据区
《java虚拟机规范》中规定了每一部分的作用

应用场景

Java的内存分为哪几个部分？详细介绍一下
Java内存中哪些部分会内存溢出？
jdk7和8中内存结构上的区别是什么？
实际工作中程序内存标高：OOM

2. 程序计数器

程序计数器也叫PC寄存器，每个线程会通过程序计数器记录下一次要执行的字节码指令的地址

在加载阶段，虚拟机将字节码文件中的指令读取到内存之后，会将原文件中的偏移量转换成内存地址。每一条字节码指令都会拥有一个内存地址
在代码执行过程中，程序计数器会记录下一行字节码指令的地址，执行完当前指令之后，虚拟机的执行引擎根据程序计数器执行下一行指令
程序计数器可以控制程序指令的进行，实现分支、跳转、异常等逻辑

在多线程执行情况下，Java虚拟机需要通过程序计数器记录CPU切换前解释执行到哪一句指令并继续解释运行

思考：程序计数器在运行过程中会出现内存溢出吗？

不会，因为程序计数器存储的是一个固定长度的内存地址。
程序员无需对程序计数器做任何处理。一切由虚拟机进行操作

3. 栈

3.1 Java虚拟机栈

java虚拟机栈（Java Virtual Machine Stack ）采用栈的数据结构来管理方法调用中的基本数据，先进后出（First In Last Out），每一个方法的调用使用一个栈帧（Stack Frame）来保存
java虚拟机栈随着线程的创建而创建，而回收则在线程的销毁时进行。由于方法可能会在不同线程进行，每个线程都会包含一个属于自己的虚拟机栈

3.2 栈帧的组成

3.2.1 局部变量表

局部变量表的作用是在运行过程中存放所有的局部变量

栈帧的局部变量表是一个数组，数组中的每一个位置称之为槽（slot），long和double类型占用两个槽，其他类型占用一个槽。

实例方法中的序号为0的位置存放的是this，指的是当前调用方法的对象，运行时会在内存中存放实例对象的地址
方法参数也会保存在局部变量表中，其顺序与方法中参数定义的顺序一致。
局部变量表中保存的内容有：实例方法this对象，方法的参数，方法中声明的局部变量

为了节省空间，局部变量表中的槽是可以复用的，一旦某个局部变量不在生效，当前槽就可以再次被使用

3.2.2 操作数栈

操作数栈是栈帧中虚拟机在执行指令过程中来存放中间数据的一块区域。它是一种栈式结构，如果一条指令给将一个之压入操作数栈，则后面的指令可以弹出并使用该值。
在编译期就可以确定操作数栈的最大深度，从而在执行时正确的分配内存大小
案例：加法运算中操作数栈的应用

3.2.3 帧数据

帧数据主要包括动态链表、方法出口、异常表的引用
动态链表：
- 当前类的字节码指令引用了其他类的属性或方法时，需要将符号引用转换成对应的运行时常量池中的内存地址。动态链表就保存了编号到运行时常量池的内存地址的映射关系

方法出口：
- 方法出口指的是方法在正确或者异常结束时，当前栈会被弹出，同时程序计数器应该指向上一个栈帧中的下一条指令的地址。所以在当前栈帧中，需要存储此方法出口的地址
异常表
- 异常表存放的是代码中的异常的处理信息，包含了异常捕获的生效范围以及异常发生后跳转到的字节码的指令位置

3.3 栈内存溢出

Java虚拟机栈如果栈帧过多，占用内存超过栈内存可以分配的最大大小就会出现内存溢出
Java虚拟机栈内存溢出时会出现StackOverflowError的错误
如果我们不指定栈的大小，jvm将创建一个具有默认大小的栈。大小取决于操作系统和计算机的体系结构。

3.3.1 栈内存溢出模拟

需求：使用递归让方法调用自身，但是不设置退出条件。定义调用次数的变量，每一次调用让变量加1，查看错误发生时的调用总数

3.3.2 设置栈内存大小

修改虚拟机栈内存的大小，可以设置参数-Xss
语法：-Xss栈大小
单位：字节（默认，必须是1024的倍数）、k或者K、m或者M、g或者G

注意事项：

与-Xss类似，也可以使用-XX:ThreadStackSize调整标志来配置堆栈大小
- 格式：-XX:ThreadStackSize=1024
HotSpot JVM对栈大小得到最大值和最小值有要求
- windows（64位）下的JDK8测试最小值为180k，最大值为1024m
局部变量过多、操作数栈深度过大都会影响栈内存大小

3.3.3 总结

一般情况下，工作中即使使用了递归进行操作，栈的深度最多也只能到几百，不会出现栈的溢出。所以此参数可以手动指定为-Xss256k节省内存

3.4 本地方法栈

Java虚拟机栈存储了java方法调用时的栈帧，而本地方法栈存储的是native本地方法的栈帧。
在Hotspot虚拟机中，Java虚拟机栈和本地方法栈实现上使用了同一个栈空间。本地方法栈会在栈内存上生成一个栈帧，临时保存方法的参数同时方便出现异常时也把本地方法的栈信息打印出来

4. 堆

一般java程序中堆内存是空间占用最大的一块内存区域，创建出来的对象都位于堆上。
栈上的局部变量表中，可以存放堆上对象的引用。静态变量也可以存放堆对象的引用，通过静态变量就可以实现对象在线程之间的共享。

需求：通过new关键字不停创建对象，放入集合中，模拟堆内存溢出，然后观察溢出情况。

现象：堆内存大小是有上限的，当对象一直向堆中存放对象达到上限之后，就会抛出OutOfMemoryError的错误

堆空间有三个需要关注的值：used、total、max
used指的是当前已使用的堆内存
total是java虚拟机已经分配的可用堆内存
max是java虚拟机可以分配的最大堆内存
堆内存的used total max可以通过arthas的dashboard -i 命令看到。

随着堆中的对象增多，当total可以使用的内存即将不足时，java虚拟机会继续分配内存给堆
如果堆内存不足，java虚拟机就会不断的分配内存，total会不断增大。堆内存溢出的判断条件比较复杂，利用率达不到百分之百

堆-设置大小i

要修改堆的大小，可以使用虚拟机参数-Xmx（max最大值）、-Xms（初始的total值）
- 语法：-Xmx值、-Xms值
- 单位：字节（默认，必须是1024的倍数）、k或者K、m或者M、g或者G
- 限制：-Xmx必须大于2MB ，-Xms必须大于1MB

思考：为什么arthas中显示的堆内存大小与设置的值不一样呢？

arthas中的heap堆内存使用了JMX技术中内存获取方式，这种方式与垃圾回收器有关，计算的是可以分配对象的内存，而不是整个内存。

java服务端程序开发时，建议将-Xmx与 -Xms设置为相同的值，这样在程序启动之后可使用的总内存就是最大内存，而无需向java虚拟机再次申请，减少了申请并分配内存时间上的开销，同时也不会出现内存过剩之后堆收缩的情况
-Xmx具体的设置的值与实际的应用程序运行环境有关。

5. 方法区

方法区时存放基础信息的位置，线程共享，主要包括三部分：类的元信息（保存了所有类的基本信息）、运行时常量池（保存了字节码文件中的常量池内容）、字符串常量池（保存了字符串）

5.1 类的元信息

方法区时用来存储每个类的基本信息（元信息），一般称之为InstanceKlass。在类的加载阶段完成

5.2运行时常量池

方法区除了存储类的元信息之外，还存放了运行时常量池。常量池中存放的是字节码中常量池的内容
字节码文件中通过编号查表的方式找到常量。这种常量池称为静态常量池。当常量池加载到内存之后，可以通过内存地址快速的定位到常量池中的内容，这种常量池称之为运行时常量池

5.3 方法区的实现

方法区是《Java虚拟机规范》中设计的虚拟概念，每款Java虚拟机在实现上都各有不同。Hotspot设计如下
- JDK7及以前的版本将方法区存放在堆区域中的永久代空间，堆的大小由虚拟机参数来控制
- JDK8及之后的版本将方法区存放在元空间中，元空间位于操作系统维护的直接内存中，默认情况下只要不超过操作系统承受的上线，可以一直分配

需求：通过ByteBuddy框架，动态生成字节码数据，加载到内存中。通过死循环不停的加载到方法区，观察方法区是否会内存溢出

5.3.1 ByteBuddy

ByteBuddy是一个基于java的开源库，哟关于生成和操作java字节码
引入依赖
创建ClassWrite对象
调用visit方法，创建字节码数据

经过bytebuddy实验发现，JDK7上运行大概几十万次，就会出现错误。在JDK8上运行百万次，程序都没有出现错误，但是内存会直线升高。这说明JDK7和JDK8在方法区上存放，采用了不同的设计

jdk7将方法区存放在堆区域的永久代空间，堆大小由虚拟机参数 -XX:MaxPermSize=值来控制
jdk8将方法区存放在元空间中，元空间位于操作系统维护的直接内存中，默认情况下只要不超过操作系统承受的上线，可以一直分分配，可以使用 -XX:MaxMetaspaceSize=值将元空间最大大小进行控制

5.4 字符串常量池

方法区除了保存类的元信息、运行时常量池之外，还有一块区域叫字符串常量池。
字符串常量池存储在代码中定义的常量字符内容。比如“123” 这个123 就会被放入字符串常量池

字符串常量池与运行时常量池之间的关系

早期设计时吗，字符串常量池是属于运行时常量池的一部分，他们的存储的位置也是一致的。后续做出了调整，将字符串常量池和运行时常量池做了拆分。

public static void main(String[] args){
    //将字符串通过变量的方式连接，构建新的字符串使用的是StringBuilder方法，
    //构建的新字符串d指向堆内存中的新生成的对象
    String a = "1";
    String b = "2";
    String c = "12";
    String d = a+b;
    System.out.println(c == d); // false
    
    //通过常量的方式构建的字符串，会在编译阶段直接进行连接
    String e = "12";
    String f = "1" + "2";
    System.out.println(e == f) //true;
}

String.intern()方法是可以手动将字符串添加到字符串常量池中，分别在jdk6和jdk8下执行代码，JDK6是false false JDK8中是 true false

public static void main(String[] args){
    String s1 = new StringBuilder().append("think").append("123").toString();
    System.out.println(s1.intern() == s1);
    String s2 = new StringBuilder().append("ja").append("va").toString();
    System.out.println(s2.intern() == s1);
}

JDK6版本中intern()方法会把第一次遇到的字符串实例复制到永久代的字符串常量池中，返回的也是永久代里面的这个字符串实例的引用。JVM启动时就会把java加入到常量池中。
JDK7及以后的版本由于字符串常量池在堆上，所以intern() 方法会把第一次遇到的字符串的引用放入字符串常量池。

5.5 静态变量到底存放在哪里？

jdk6及之前的版本中，静态变量存放在方法区中，也就是永久代
jdk7及之后的版本，静态变量的存放是放在堆中的Class对象中，脱离了永久代。

6. 直接内存

直接内存并不在java虚拟机规范中存在，所以并不属于java运行时的内存区域。在JDK1.4引入了NIO机制，使用了直接内存，主要是为了解决以下两个问题
- java堆中的对象如果不再使用要回收，回收时会影响对象的创建和使用
- IO操作比如读取文件，需要i先把文件读入内存，再把数据复制到java堆中。现在直接放入直接内存即可，同时Java堆上维护直接内存的引用，减少了数据复制的开销。写文件也是类似的思路

要创建直接内存上的数据，可以使用ByteBuffer
语法：ByteBuffer buffer = ByteBuffer.allocateDirect(size)
注意事项： arthas 的memory 可以查看直接内存的大小，书名direct

如果需要手动设置直接内存的大小，可以使用 -XX:MaxDirectMemorySiza=值。
- 如果需要k或K标识千字节，m或者M标识兆字节，g或者G表示千兆字节。默认不设置该参数情况下，JVM自动选择，最大分配的大小。
  - 以下示例以不同的单位说明如何将直接内存大小设置成 1024KB
    - -XX:MaxDirectMemorySiza=1m
    - -XX:MaxDirectMemorySiza=1024k
    - -XX:MaxDirectMemorySiza=1048576

7. 总结

7.1 运行时数据区主要分成了哪几部分，每一部分的作用是什么

运行时数据区主要分为程序计数器、java虚拟机栈、本地方法栈、堆、方法区
- 程序计数器是线程私有的，里面存放了下一次应当执行的字节码指令的内存地址，实现分支、跳转、异常的逻辑
- java虚拟机栈是线程私有的，随着线程的创建而创建，随着线程的销毁而销毁，主要是通过栈帧来实现操作的：其中包括局部变量表、操作数栈、栈数据
  - 局部变量表中存放了：实例方法的this对像，方法的参数，方法内的局部变量
  - 操作数栈：主要是记录了需要操作的临时数据
  - 栈数据主要包括了：动态链表，方法出口，异常表
- 本地方法栈主要的实现与java虚拟机栈类似，其中记录的是调用java虚拟机本地方法所需的栈空间
- 堆内主要存放了程序创建的对像，也是最容易产生内存溢出的位置，线程之间相互共享
- 方法区是线程共享的，主要存放：类的元信息、运行时常量池、字符串常量池