第九章 方法区

一、栈、堆、方法区之间的交互关系

 

二、方法区的理解

• 方法区和Java堆一样，是各个线程共享的内存区域
• 方法区在JVM启动的时候被创建，并且它的实际物理内存空间中，和Java堆一样，可以不是连续的。
• 方法区的大小，跟堆空间一样，可以选择固定大小或者可扩展
• 方法区的大小决定了系统可以保存多少个类，如果系统定义了太多的类，导致方法区溢出，虚拟机同样会抛出内存溢出错误：java.lang.OutOfMemoryError: PerGen Space 或 java.lang.OutOfMemoryError:Metaspace
• 关闭JVM就可以释放这个区域的内存。
• jdk7以前，习惯把方法区称为永久代，jdk8开始，使用元空间替代永久代。
• 元空间的本质和永久代类似，都是对JVM规范中方法区的实现，不过元空间和永久代最大的区别在于：元空间不在虚拟机设置的内存当中，而是使用本地内存。
• 永久代、元空间不只是名字变了，内部结构也调整了
• 根据《Java虚拟机规范》规定，如果方法区无法满足新的内存分配需求，将抛出OOM异常。

三、方法区的内部结构

方法区中存储什么？

《深入理解Java虚拟机》书中对方法区的存储内容是这样描述的：它用于存储已被虚拟机加载的类型信息、常量、静态变量、即时编译器编译后的代码缓存等。

1、类型信息（类class、接口interface、枚举enum、注解annotation）：

• 这个类型的完整有效名称
• 这个类型的父类的完整有效名称（对于接口interface和java.lang.Object，没有父类）
• 这个类型的修饰符（public、abstract、final等）
• 这个类型的直接接口的有序列表

2、域（Field）信息

• JVM必须在方法区中保存类型的的所有域的相关信息以及域的声明顺序
• 域的相关信息包括：域名称、域类型、域修饰符

3、方法（Method）信息

• 方法名称
• 方法的返回类型（或void）
• 参数的数量和类型（按顺序）
• 方法的修饰符
• 方法的字节码（bytecodes）、操作数栈、局部变量表及大小（abstract和native方法除外）
• 异常表（abstract和native除外）：每个异常处理的开始位置、结束位置、代码处理在程序计数器中的偏移地址、被捕获的异常类的常量池索引。

四、运行时常量池

首先理解字节码文件中的常量池：

1、一个有效的字节码文件中除了包含类的版本信息、字段、方法以及接口等描述信息外，还包含一项常量池表（Constant Pool Table），包括各种字面量和对类型、域和方法的引用。

2、为什么需要常量池？

一个Java源文件中的类、接口，编译后产生一个字节码文件。而Java中的字节码需要数据支持，通常这种数据很大以至于不能直接存到字节码里，换另一种方式，可以存到常量池，然后字节码中包含对常量池中数据的引用。

3、常量池中有哪些信息？

• 数量值
• 字符串值
• 类引用
• 字段引用
• 方法引用

常量池是一张表，虚拟机指令根据这张常量表找到要执行的类名、方法名、参数类型、字面量等信息。

接下来我们来理解理解运行时常量池：

• 运行时常量池（Runtime Constant Pool）是方法区的一部分
• 常量池表是class文件的一部分，用于存放编译期生成的各种字面量和符号引用，这部分内容将在类加载后放到方法区的运行时常量池中。
• 运行时常量池，在加载类和接口后，就会创建对应的运行时常量池
• JVM为每个已加载的类型（类或接口）都维护一个常量池。池中的数据项像数组项一样，是通过索引访问的。
• 运行时常量池中包含多种不同的常量，包括编译期就已经明确的数值字面量，也包括到运行期解析后才能够获得的方法或者字段引用。并且此时已经不是常量池中的符号引用了，而是真实地址。
  • 运行时常量池区别于class文件常量池的又一特性：动态性
• 如果在构造运行时常量池时，所需内存空间超过了方法区所能提供的最大值，JVM会报OOM异常。