03.Java内存区域（运行时数据区）

Java虚拟机在运行Java程序过程中管理的内存区域，称之为 运行时数据区

1.程序计数器

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

⚫ 在加载阶段，虚拟机将字节码文件中的指令读取到内存之后，会将原文件中的偏移量转换成内存地址。每一条字节码指令都会拥有一个内存地址

⚫ 在代码执行过程中，程序计数器会记录下一行字节码指令的地址。执行完当前指令之后，虚拟机的执行引擎根据程序计数器执行下一行指令

⚫ 程序计数器可以控制程序指令的进行，实现分支、跳转、异常等逻辑

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

程序计数器的作用

1.用来控制解释器，解释执行的顺序。

2.在多线程的情况下用来记录线程切换后需要继续执行的指令，方便线程继续执行。

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

⚫ 内存溢出 指的是程序在使用某一块内存区域时，存放的数据需要占用的内存大小超过了虚拟机能提供的内存上限。

⚫ 因为每个线程只存储一个固定长度的内存地址， 程序计数器是不会发生内存溢出的 。

⚫ 程序员无需对程序计数器做任何处理。

2.Java虚拟机栈

Java 虚拟机栈（ Java Virtual Machine Stack ）采用栈的数据结构来管理方法调用中的基本数据，先进后出（First In Last Out ） , 每一个方法的调用使用一个栈帧（ Stack Frame ）来保存。

⚫ Java虚拟机栈随着线程的创建而创建，而回收则会在线程的销毁时进行。由于方法可能会在不同线程中执行，每个线程都会包含一个自己的虚拟机栈。

2.1栈帧的组成

1.局部变量表

局部变量表的作用是在运行过程中存放所有的局部变量。编译成字节码文件时就可以确定局部变量表的内容。

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

⚫ 实例方法中的序号为0的位置存放的是this，指的是当前调用方法的对象，运行时会在内存中存放实例对象的地址。

⚫ 方法参数也会保存在局部变量表中，其顺序与方法中参数定义的顺序一致。

⚫ 局部变量表保存的内容有：实例方法的this对象，方法的参数，方法体中声明的局部变量。

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

2.操作数栈

操作数栈是栈帧中虚拟机在执 行指令过程中用来存放临时数 据的一块区域

⚫ 操作数栈是栈帧中虚拟机在执行指令过程中用来存放中间数据的一块区域。他是一种栈式的数据结构，如果一条指令将一个值压入操作数栈，则后面的指令可以弹出并使用该值。

⚫ 在 编译期 就可以确定操作数栈的最大深度，从而在执行时正确的分配内存大小。

3.帧数据

帧数据主要包含动态链接、方 法出口、异常表的引用

⚫ 当前类的字节码指令引用了其他类的属性或者方法时，需要将符号引用（编号）转换成对应的运行时常量池 中的内存地址。 动态链接 就保存了编号到运行时常量池的内存地址的映射关系。

⚫ 方法出口 指的是方法在正确或者异常结束时，当前栈帧会被弹出，同时程序计数器应该指向上一个栈帧中的 下一条指令的地址。所以在当前栈帧中，需要存储此方法出口的地址。

⚫ 异常表 存放的是代码中异常的处理信息，包含了异常捕获的生效范围以及异常发生后跳转到的字节码指令位置。

2.2栈内存溢出

⚫ Java虚拟机栈如果栈帧过多，占用内存超过栈内存可以分配的最大大小就会出现 内存溢出 。

⚫ Java虚拟机栈内存溢出时会出现StackOverflowError的错误

如果我们不指定栈的大小， JVM 将创建一个具有 默认大小的栈 。大小取决于操作系统和计算机的体系结构

HotSpot JVM对栈大小的最大值和最小值有要求 ： Windows（64位）下的JDK8测试最小值为180k，最大值为1024m。

局部变量过多、操作数栈深度过大也会影响栈内存的大小。

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

3.本地方法栈

⚫ Java 虚拟机栈存储了 Java 方法调用时的栈帧，而本地方法栈存储的是 native 本地方法的栈帧。

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

4.堆

⚫ 一般Java程序中堆内存是空间最大的一块内存区域。创建出来的对象都存在于堆上。

⚫ 栈上的局部变量表 中，可以存放堆上对象的引用。 静态变量 也可以存放堆对象的引用，通过静态变量就可以实现对象在线程之间共享

堆内存大小是有上限的，当对象一直向堆中放入对象达到上限之后，就会抛出 OutOfMemory

错误。

⚫ 堆空间有三个需要关注的值，used total max。

⚫ used指的是当前已使用的堆内存，total是java虚拟机已经分配的可用堆内存，max是java虚拟机可以分配的最大堆内存。

⚫ 随着堆中的对象增多，当total可以使用的内存即将不足时，java虚拟机会继续分配内存给堆。

问题： 是不是当used = max = total的时候，堆内存就溢出了呢？

答： 不是，堆内存溢出的判断条件比较复杂

问题： 为什么arthas中显示的heap堆大小与设置的值不一样呢？

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

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

5.方法区

⚫ 方法区是存放基础信息的位置，线程共享，主要包含三部分内容：类的元信息 ， 运行时常量池，字符串常量池

Hotspot设计如下：

⚫ JDK7及之前的版本 将方法区存放在 堆区域中的永久代空间 ，堆的大小由虚拟机参数来控制。

⚫ JDK8及之后的版本 将方法区存放在 元空间 中，元空间位于操作系统维护的直接内存中，默认情况下只要不

超过操作系统承受的上限，可以一直分配。

5.1类的元信息

保存了所有类的基本信息。一般称之为 InstanceKlass对象。 在类的 加载阶段 完成。

5.2运行时常量池

保存了字节码文件中的常量池内容

⚫ 字节码文件中通过编号查表的方式找到常量，这种常量池称为 静态常量池 。当常量池加载到内存中之后，可以通

过内存地址快速的定位到常量池中的内容，这种常量池称为 运行时常量池

5.3字符串常量池

保存了字符串常量

⚫ 字符串常量池存储在代码中定义的常量字符串内容。比如“123” 这个123就会被放入字符串常量池。

⚫问题：字符串常量池和运行时常量池有什么关系？

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

⚫连接：变量连接不相等（一个在堆一个在字符串常量池），常量连接相等（都在字符串常量池）

⚫intern

⚫JDK6版本中intern () 方法会把第一次遇到的字符串实例复制到永久代的字符串常量池中，返回

的也是永久代里面这个字符串实例的引用。JVM启动时就会把java加入到常量池中。

⚫JDK7及之后版本中由于字符串常量池在堆上，所以intern () 方法会把第一次遇到的 字符串的引

用 放入字符串常量池。

⚫静态变量存储在哪里？

JDK6及之前的版本中，静态变量是存放在方法区中的，也就是永久代。

  JDK7及之后的版本中，静态变量是存放在堆中的Class对象中，脱离了永久代。

6.直接内存

不属于Java运行时的内存区域

在 JDK 1.4 中引入了 NIO 机制，使用了直接内存，主要为了解决以下两个问题:

1、Java堆中的对象如果不再使用要回收，回收时会影响对象的创建和使用。

2、IO操作比如读文件，需要先把文件读入直接内存（缓冲区）再把数据复制到Java堆中。 现在直接放入直接内存即可，同时Java堆上维护直接内存的引用，减少了数据复制的开销。写文件也是类似的思路。

⚫ 要创建直接内存上的数据，可以使用ByteBuffer。

⚫ 语法： ByteBuffer directBuffer = ByteBuffer.allocateDirect(size);

⚫ 注意事项： arthas 的 memory 命令可以查看直接内存大小，属性名 direct 。

⚫ 如果需要手动调整直接内存的大小，可以使用-XX:MaxDirectMemorySize=大小

7.总结

1、运行时数据区分成哪几部分，每一部分的作用是什么？

程序计数器：每个线程会通过程序计数器记录当前要执行的的字节码指令的地址程序计数器可以控制

Java虚拟机栈 ：虚拟机栈采用栈的数据结构来管理方法调用中的基本数据（局部变量、操作数等），每一个方法的调用使用一个栈帧来保存。

本地方法栈：存储的是native本地方法的栈帧。

方法区：方法区中主要存放的是类的元信息，同时还保存了常量池

堆 ：堆中存放的是创建出来的对象，这也是最容易产生内存溢出的位置

2、不同JDK版本之间运行时数据区域的区别是什么？