2.JVM之内存管理机制

JVM内存区域划分

• JVM执行Java程序的过程：Java源代码文件(.java)会被Java编译器编译为字节码文件(.class)，然后由JVM中的类加载器加载各个类的字节码文件，加载完毕之后，交由JVM执行引擎执行

运行时数据区被分为线程私有数据区和线程共享数据区两大类:

• 线程私有数据区包含：虚拟机栈,本地方法栈,程序计数器
• 线程共享数据区包含：Java堆,方法区（内部包含常量池）

程序计数器

• 是当前线程所执行的字节码的行号指示器。
  • 如果线程正在执行的是一个Java方法，那么计数器记录的是正在执行的虚拟机字节码指令的地址；
  • 如果线程正在执行的是一个Native方法，那么计数器的值则为空。
• 为了线程切换后能恢复到正确的执行位置，每条线程都需要有一个独立的程序计数器，各条线程之间计数器互不影响，独立存储，因此它是线程私有的内存。
• 在Java虚拟机规范中，是唯一一个没有规定任何OutOfMemoryError情况的区域。

Java虚拟机栈

• 是Java方法执行的内存模型。
  • 每个方法在执行的同时都会创建一个栈帧，用于存储局部变量表、操作数栈、动态链接、方法出口等信息。
  • 每一个方法从调用直至执行完成的过程，就对应着一个栈帧在虚拟机栈中入栈到出栈的过程。
• 是线程私有的内存，与线程生命周期相同。
• 一般把Java内存区分为堆内存（Heap）和栈内存（Stack），其中『栈』指的是虚拟机栈，『堆』指的是Java堆。
• 在Java虚拟机规范中，对这个区域规定了两种异常状况：
  • 如果线程请求的栈深度大于虚拟机所允许的深度，将抛出StackOverflowError异常；
  • 如果虚拟机栈可动态扩展且扩展时无法申请到足够的内存，将抛出OutOfMemoryError异常。

局部变量表

存放了编译期可知的各种基本数据类型、对象引用类型和returnAddress类型，它所需的内存空间在编译期间完成分配。

本地方法栈（Native Method Stack）

• 是虚拟机使用到的Native方法服务。
• 在虚拟机规范中，对这个区域无强制规定，由具体的虚拟机自由实现。与虚拟机栈一样，本地方法栈区域也会抛出StackOverflowError和OutOfMemoryError异常

Java堆

• 用于存放几乎所有的对象实例和数组,成员变量。
• 被所有线程共享的一块内存区域，在虚拟机启动时创建。
• 是垃圾收集器管理的主要区域，也被称做“GC堆”。
• 是Java虚拟机所管理的内存中最大的一块。
• 可处于物理上不连续的内存空间中，只要逻辑上是连续的即可。
• 在Java虚拟机规范中，如果在堆中没有内存完成实例分配，且堆也无法再扩展时，将会抛出OutOfMemoryError异常。

深堆和浅堆

浅堆指对象本身占用的内存，不包括其内部引用对象的大小。一个对象的深堆指只能通过该对象访问到的（直接或间接）所有对象的浅堆之和，即对象被回收后，可以释放的真实空间

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-z4GGU7eM-1600239729711)(https://pics4.baidu.com/feed/dcc451da81cb39dbcb4937c8377f1822aa183016.jpeg?token=2f96da9e497f4b4aa8b77a15c592cf75&s=69253072A29F45EB5E55254A0000C0B2)]

A引用了对象C,D，对象B引用了对象C,E。

对象A引用了C和D，对象B引用了C和E。那么对象A的浅堆大小只是A本身，不含C和D，而A的实际大小为A、C、D三者之和。

而A的深堆大小为A与D之和，由于对象C还可以通过对象B访问到，因此不在对象A的深堆范围内。

方法区（Method Area）

• 用于存储已被虚拟机加载 的类型信息、常量、静态变量、静态方法、成员方法、即时编译器编译后的代码等数据还有运行时常量池。
• 与Java堆一样，是各个线程共享的内存区域。
• 和Java堆一样不需要连续的内存和可以选择固定大小或可扩展外，还可选择不实现GC。
• 在Java虚拟机规范中，当方法区无法满足内存分配需求时，将抛出OutOfMemoryError异常

运行时常量池

• 是方法区的一部分，会受到方法区内存的限制。
• 相对于Class文件常量池的一个重要特征是具备动态性，体现在并非只有预置入Class文件中常量池的内容才能进入方法区运行时常量池，运行期间也可能将新的常量放入池中。
• 在Java虚拟机规范中，当常量池无法再申请到内存时会抛出OutOfMemoryError异常。
• 常量池主要用于存放两大类常量：
  • 字面量 : 相当于Java语言层面常量的概念，如文本字符串，声明为final的常量值等,包括基本类型包装类（包装类不管理浮点型，整形只会管理-128到127）和String（也可以通过String.intern()方法可以强制将String放入常量池）
  • 符号引用 :
    • 类和接口的全限定名
    • 字段名称和描述符
    • 方法名称和描述符

全限定名

类全名、二进制名、全限定名其实都是一样的。

• 类全名：java.lang.Thread（用于日常的沟通表达）
• 二进制名：java.lang.Thread（Java 语言规范中的定义）
• 全限定名：java/lang/Thread（class 文件结构中的二进制名格式，在描述符中使用，只有非数组引用类型有）

由于历史原因，class 文件结构中的二进制名格式，跟 java 语言规范中定义的二进制名格式有所不同。

• Java 语言规范中定义的二进制名格式，使用 . 作为分隔符。
• class 文件结构中的二进制名格式，使用 / 作为分隔符。

描述符

在java中的描述符通常指的是修饰符例如 public,private,protected,但在.class文件中的运行时常量池中的符号引用,其修饰符定义如下:

Java 类型符号	描述符
Boolean	Z
Byte	B
Char	C
Short	S
Int	I
Long	J
Float	F
Double	D
Void	V

注:与之不能与首字母对应的只有Boolean类型是Z,Long类型是J

描述符的三个方面

1. 类描述符

• 如果以一个L开头的描述符，就是类描述符，它后紧跟着类的字符串，然后分号“；”结束

示例:

1. "Ljava/lang/String;"就是表示类型String；

2. 方法描述符

• 在括号里的就是方法形参描述符，在括号后面的就是方法返回类型描述符

示例 :

1. "()Ljava/lang/String;"就是表示String f();
2. "(ILjava/lang/Class;)J"就是表示long f(int i, Class c);
3. "([B)V"就是表示void String(byte[] bytes);
4. "[Ljava/lang/Object;"就是表示Object[]。
5. Thread[][][] 的描述符：[[[Ljava/lang/Thread;（是几维数组，就有几个 [）

3. 字段描述符

就是上面画的那个表

---

符号引用和字面量

字面量就是比如说int a = 1; 这个1就是字面量。又比如String a = “abc”,这个abc就是字面量。在java中，一个java类将会编译成一个class文件。在编译时，java类并不知道引用类的实际内存地址，因此只能使用符号引用来代替。比如org.simple.People类要引用org.simple.Tool类，在编译时People类并不知道Tool类的实际内存地址，因此只能使用符号org.simple.Tool(假设)来表示Tool类的地址。而在类装载器装载People类时，此时可以通过虚拟机获取Tool类 的实际内存地址，因此便可以既将符号org.simple.Tool替换为Tool类的实际内存地址，及直接引用地址。

---

资料参考:

java虚拟机：运行时常量池