运行时数据区

概览

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

《Java虚拟机规范》中规定了每一部分的作用。

把整个运行时数据区划分为两大类，一类是线程不共享，另一类时线程共享。

线程不共享：每当创建一个线程之后，每一个线程里面都会有程序计数器、Java虚拟机栈、本地方法栈对应的数据。(我的数据由我自己来维护,别的线程无法访问我当前这个线程的数据的。数据无法共享，但安全性相对高。当线程结束之后，线程回收掉，这块内存区域也就释放。)

应用场景

Java的内存分成哪几部分？详细介绍一下吧

Java内存中那些部分会内存溢出？

JDK7和JDK8中在内存结构上的区别是什么？

程序计数器

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

程序计数器案例

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

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

在多个线程情况下，CPU在执行过程中，会在多个线程之间来回切换反复横跳，若CPU从线程A切换到线程B，要知道之前线程B的解释器解释到哪一条指令，这时程序计数器就起到了很大作用。

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

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

• 内存溢出指的是程序在使用某一块内存区域时，存放的数据需要占用的内存大小超过了虚拟机能提供的内存上限。
• 因为每个线程只存储一个固定长度的内存地址，程序计数器是不会发生内存移除的。
• 程序员无需对程序计数器做任何处理。

栈

• Java虚拟机栈用来保存在Java中实现的方法，每次执行方法都会把方法的信息往栈里保存。
• 本地方法栈就是在方法加上native用C++实现的方法。

不管是Java实现还是C++实现本质上都是方法，所以在Hotspot只使用一个栈来保存方法的信息。

Java虚拟机栈

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

通过idea的debug工具查看栈帧的内容。

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

栈帧的组成

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

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

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

局部变量表

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

起始PC保存从哪一行字节码指令开始可以去访问这个局部变量(对i来说，在1号指令赋值成功从2开始访问到4，所以起始PC就是2，长度就是3(2、3、4指令)，对j是从3赋值成功的，所以从4开始访问，所以起始PC就是4，长度为1)。

Java虚拟机通过局部变量表来控制当前每一个局部变量能访问的范围，如果超过生效范围的字节码指令中去访问这个局部变量，那么当前这个指令就会被判断有问题拒绝去执行，提高了安全性。

上面的局部变量表只是字节码文件中的局部变量表。作用主要是做一些安全性的校验。

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

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

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

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

思考以下代码局部变量表会占用几个槽？（6个）

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

操作数栈

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

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

操作数栈中最多有两个数据(0和1)，所以最大深度就为2。

帧数据

动态链接

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

getstatic：获取某一个类的静态变量。

由于访问了其他类的属性或方法符号引用不会在连接阶段变成直接引用的，那么Java虚拟机在执行这个字节码指令之前，在栈帧中保存一个#10这个符号引用到运行时常量池System这个类引用关系，这个关系就保存在动态链接中。

当我们执行到这行字节码指令时，需要从动态链接把对应的内存地址获取出来，根据这个内存地址找到System这个类，从而获取到里面的静态变量。

方法出口

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

sleep方法的栈帧存放了study方法指令的地址，在sleep栈帧弹出之前会把地址交给程序计数器。

异常表

如果代码中出现了异常捕获，编译器就会在源代码编译成字节码文件过程中为方法生成一个异常表。

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

栈内存溢出

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

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

不同windows系统默认栈的大小是不同的。

设置栈的大小

要修改Java虚拟机栈的大小，可以使用虚拟机参数-Xss。

注意事项

1、与-Xss类似，也可以使用-XX:ThreadStackSize 调整标志来配置堆栈大小格式为:

-XX:ThreadStackSize=1024

2、HotspotJVM对栈大小的最大值和最小值有要求:

Windows(64位)下的JDK8测试最小值为180k，最大值为1024m。

3、局部变量过多、操作数栈深度过大也会影响栈内存的大小。(每一个栈帧包含的数据量变大占用的内存也就变大，但总占空间不变，所以栈帧数量就会变小 )

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

本地方法栈

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

堆

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

模拟堆区的溢出

通过new关键字不停创建对象，放入集合中，模拟堆内存的溢出，观察堆溢出之后的异常信息。

堆空间有三个需要关注的值，used total max。
used指的是当前已使用的堆内存，total是java虚拟机已经分配的可用堆内存，max是java虚拟机可以分配的最大堆内存。

• 堆内存used total max三个值可以通过dashboard命令看到。
• 手动指定刷新频率(不指定默认5秒一次):   dashboard -i 刷新频率(毫秒)。

Arthas展示结果

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

如果堆内存不足，java虚拟机就会不断的分配内存，total值会变大。total最多只能与max相等。

是不是当used = max=total的时候，堆内存就溢出了呢?

不是，堆内存溢出的判断条件比较复杂，在《垃圾回收器》中会详细介绍。

如果不设置任何的虚拟机参数，max默认是系统内存的1/4，total默认是系统内存的1/64。在实际应用中一般都需要设置total和max的值。

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

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

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

方法区

方法区是存放基础信息的位置，线程共享，主要包含三部分内容：

• 类的元信息：保存了所有类的基本信息。
• 运行时常量池：保存了字节码文件中的常量池内容。
• 字符串常量池：保存了字符串常量。

类的元信息

方法区是用来存储每个类的基本信息(元信息)，一般称之为InstanceKlass对象。在类的加载阶段完成。

运行时常量池

方法区除了存储类的元信息之外，还存放了运行时常量池。常量池中存放的是字节码中的常量池内容。

字节码文件中通过编号查表的方式找到常量，这种常量池称为静态常量池。当常量池加载到内存中之后，可以通过内存地址快速的定位到常量池中的内容，这种常量池称为运行时常量池。

方法区是《Java虚拟机规范》中设计的虚拟概念，每款Java虚拟机在实现上都各不相同。Hotspot设计如下:

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

JDK8及之后的版本将方法区存放在元空间中，元空间位于操作系统维护的直接内存中，默认情况下只要不超过操作系统承受的上限，可以一直分配。

使用memory打印出内存情况，JDK7及之前的版本查看ps_perm_gen属性。
JDK8及之后的版本查看metaspace属性。

模拟方法区的溢出

通过ByteBuddy框架，动态生成字节码数据，加载到内存中。通过死循环不停地加载到方法区，观察方法区是否会出现内存溢出的情况。分别在JDK7和JDK8上运行上述代码。

ByteBuddy框架的基本使用方法

ByteBuddy是一个基于Java的开源库，用于生成和操作Java字节码。

1、引入依赖

2、创建ClassWriter对象

3、调用visit方法，创建字节码数据

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

JDK7将方法区存放在堆区域中的永久代空间，堆的大小由虚拟机参数-XX:MaxPermSize=值来控制。

JDK8将方法区存放在元空间中，元空间位于操作系统维护的直接内存中，默认情况下只要不超过操作系统承受的上限，可以一直分配。可以使用-XX:MaxMetaspaceSize=值将元空间最大大小进行限制。

字符串常量池

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

当字节码信息读取到内存之后，“abc”字符串会自动加载到字符串常量池中，由于字符串对象是new关键字创建出来的，这个对象会放在堆内存中，在栈内存中s1保存堆内存对象的地址。

s2并没有通过new关键字来创建对象，所以s2这个局部变量保存的是字符串常量池中“abc”的地址。

字符串常量池和运行时常量池有什么关系?

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

String.intern()方法是可以手动将字符串放入字符串常量池中，分别在JDK6、JDK8下执行代码，JDK6 中结果是false false，JDK8中是true false

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

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

java是在启动过程中直接方到字符串常量池中的，所以s2.intern直接返回字符串常量池中的地址。

运行时数据区都学完了，静态变量存储在哪里呢?

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

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

直接内存

直接内存(Direct Memory)并不在《Java虚拟机规范》中存在，所以并不属于Java运行时的内存区域。

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

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

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

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

语法:ByteBuffer directBuffer = ByteBuffer.allocateDirect(size);

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

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