JVM学习笔记（运行时数据区——＞方法区）

1、栈、堆、方法区的交互关系

线程共享与否

关系：

User user = new User();

• 其中前边的User放在.class文件，放在方法区
• user放在java栈的局部变量表中
• new User（）放在java堆中，与前两节最后一个问题呼应，解答在上一节最后

2、方法区的理解

一个进程就有一个Jvm实例，一个实例就有多个线程，多个线程共享方法区还有堆空间，每个线程各自拥有一套（程序计数器、本地方法栈、虚拟机栈）。类加载器加载后的东西就放在方法区里。

方法区在哪里？

《java虚拟机规范》中明确说明“尽管所有的方法区在逻辑上是属于堆的一部分，但一些简单的实现可能不会选择去进行垃圾收集或者进行压缩。”但对于HotSpotJVM而言，方法区还有一个别名叫做Non-Heap（非堆），目的就是要和堆分开。

所以，方法区看作是一个块独立的java堆的内存空间。

• 方法区（Method Area）与java堆一样，是多个线程共享的内存区域
• 方法区在jvm启动的时候被创建，
• 方法区的大小和堆空间一样，可以选择拓展或者固定大小
• 在jdk8及之后
  The following exceptional condition is associated with the method area:
  • If memory in the method area cannot be made available to satisfy an allocation request, the Java Virtual Machine throws an OutOfMemoryError.
    
• 关闭jvm就会释放方法区内存

元空间

• 元空间的本质和永久代类似，都是堆jvm规范中的方法区的实现。不过元空间与永久代最大的区别在于；元空间不在虚拟机设置的内存中，而是使用本地内存。
• 永久代、元空间二者并不只是名字变了，内部结构也调整了。
• 根据《java虚拟机规范》的规定，如果方法区无法满足新的内存分配需求时，将抛出OO异常。

3、方法区大小与OOM

方法区的大小不必是固定的，jvm可以根据需要动态调整。

• jdk7及之前的版本
  • 通过-XX:PermSize设置初始分配空间，默认是22.75M
  • -XX:MaxPermSize设置永久代最大分配空间，32位机器默认是64M，64位机器默认是82M。
  • 当超过这个默认值，会报OutOfMemoryError:PermGenspace
  • jdk1. 8的版本不含有Permsize，既不含有永久代
    
• jdk8及之后版本
  • 用-XX:MatespaceSize和-XX:MaxMatespaceSize替换上边的两个
  • 初始化大小默认约是21M，最大是没有限制，当耗尽所有系统可用内存之后，就会报OutOfMemoryError:Matespace

4、方法区的内部结构

方法区（Method Area）存储什么？

它用于存储已被虚拟机加载的类型信息、常量、静态变量、即时编译器编译后的代码缓存等。

方法区的内部结构

类型信息

对每个加载的类型（类class、接口interface、枚举enum、注解annotation），jvm必须在方法区内存储以下内容。

• 这个类型的有效完整名称（全名=包名.类名）
• 这个类型直接父类的完整有效名（对于interface或者java.lang.Object都没有父类名）
• 这个类型的修饰符（abstract、public、final的某个子集）
• 这个类型的直接接口的一个有序列表

域（Field）信息

• jvm必须在方法区内保存类型的所有域的相关信息以及域的声明顺序。
• 域的相关信息包括：域名称、域类型、域修饰符（public、protected、private、static、fianl、volatile、transient）

方法（Method）信息

jvm必须保存所有方法的以下信息，同域信息一样包括声明顺序：

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

static 和 final两者在类加载时的区别

 static在类加载的时候不会被赋值，final在类加载的时候会被赋值

public class MethodAreaTest {
    public static int a = 1;
    private final int b = 2;
}

对class反编译后，观察字节码文件

  public static int a;
    descriptor: I
    flags: ACC_PUBLIC, ACC_STATIC
  private final int b;
    descriptor: I
    flags: ACC_PRIVATE, ACC_FINAL
    ConstantValue: int 2

运行时常量池（Runtime Constant Pool）是方法区的一部分

• 方法区内部包含运行时常量池。
• 字节码文件包含常量池。
• 要弄清楚方法区，需要理解清楚ClassFile，因为加载类的信息都在方法区。
• 要弄清楚方法区的运行时常量池，需要理解ClassFile中的常量池。
• 常量池表（Constant Pool Table）是Class文件的一部分，用于存放编译期生成的各种字面量与符号引用，这部分内容将在类加载后存放到方法区的运行时常量池中。

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

经过反编译后的Constant pool就是常量池

5、方法区的演进细节

首先声明，只有HotSpot才有永久代，对于BEA Rockit、IBM J9等来说，不存在永久代的概念。原则上如何实现方法区属于虚拟机实现细节，不受《java虚拟机规范》约束，并不要求统一。

HotSpot中方法区的变化

jdk版本	变化	图
jdk1.6及之前	有永久代（permanent generation），静态变量存放在永久代上
jdk1.7	有永久代，但已经初步“去永久代”，字符串常量池、静态变量移除，保存在堆中
jdk1.8及之后	无永久代，类型信息、字段、方法、常量保存在本地内存的元空间，但字符串常量池、静态变量仍在堆中

 永久代为什么要被元空间替换？

• java8之后，在HotSpot VM中再也见不到永久代了。但是这不意味着类的元数据信息也消失了，这些数据被移到了一个与堆不相连的本地内存区域，这个区域交元空间（MetaSpace）
• 由于类的元数据分配在本地内存中，元空间的最大可分配空间就是系统可用内存空间
• 这项改动是很有必要的，原因有：
  • 永久代设置空间大小很难确定
    在某些场景下，如果动态加载类过多，容易产生Perm区的OOM。比如某个实际Web工程中，因为功能点比较多，在运行过程中，要不断动态加载很多类，经常出现致命错误。而元空间和永久代最大的区别在于：元空间并不在虚拟机中，而是使用本地内存，因此，默认情况下，元空间大小仅受本地内存限制（元空间大小默认是-1，既与本机内存相关）。
  • 对永久代进行调优是很困难的。

6、方法区的垃圾回收

方法区的垃圾收集主要回收两部分内容：常量池中废弃的常量和不再使用的类型

• 常量池主要存放两大类常量：字面量和符号引用。字面量比较接近于java语言层次的常量概念，如文本字符串、被声明为final的常量值等。符号引用则属于编译原理方面的概念，包括下面三种常量：
  • 1、类和接口的全限定名
  • 2、字段的名称和描述符
  • 3、方法的名称和描述符
• HotSpot虚拟机对常量池的回收策略是很明确的，只要常量池中的常量没有被任何地方引用，就可以被回收。
• 回收废弃常量与回收java堆中的对象非常相似。

判断一个类型是否属于“不再被使用的类”

• 所有实例都被回收，也就是java堆中不存在该类及其任何派生子类的实例
• 加载该类的类加载器被回收
• 该类对应的java.lang.Class对象没有在任何地方被引用，无法在任何地方通过反射访问该类的方法。

7、总结

《尚硅谷jvm》

面试问题