文章目录
方法区
栈、堆、方法区的交互关系
方法区的理解
尽管所有的方法区在逻辑上是属于堆的一部分,但一些简单的实现可能不会选择进行垃圾回收或者进行压缩,但对于HotSpot JVM而言,方法区还有一个别名叫做非堆(no-heap),目的就是要和堆分开
所以,方法区看作是一块独立于Java堆的内存空间
方法区的基本理解
- 方法区与Java堆一样,是各个线程共享的内存区域
- 方法区在JVM启动时创建,并且它的实际物理内存空间和Java堆一样都是可以不连续的
- 方法区和堆一样其空间大小可以是固定的也可以是扩展的
- 方法区的大小可以决定系统可以保存多少个类,如果系统定义了太多的类,导致方法区溢出,虚拟机同样会抛出内存溢出错误:java.lang.OutOfMemoryError:PerGen space或者java.lang.OutOfMemoryError:Metaspace
- 加载的第三方jar包太多
- Tomcat上部署的工程太多
- 大量动态的生成反射
- 关闭JVM就会释放这个区域的内存
HotSpot中方法区的演进
- JDK7以前,习惯上把方法区称为永久代。JDK8开始,使用元空间取代了永久代
- 本质上,方法区和永久代并不等价,仅是对HotSpot而言的。对如何实现方法区,不做统一要求:例如JRocket/J9 中不存在永久代的概念
- 现在看来当年使用永久代是不好的,导致程序更容易OOM(超过-XX:MaxpermSize上限)
- 而到了JDK 8,终于将永久代的概念废除了,而改用与JRocket,J9一样本地内存中实现元空间(metaspace)来替代
- 元空间的本质和永久代类似,都是对JVM规范中的方法区的实现。不过元空间与永久代最大的区别在于:元空间不在虚拟机设置的内存中,而是使用本地内存
- 元空间与永久代不仅是名字发生了变化,内部结构也发生了变化
- 当方法区的内存无法满足分配时,将抛出OOM
方法区概述
JDK 7
JDK 8
设置方法区大小与OOM
- 方法区的大小不是固定的,jvm可以根据应用的需要动态的调整
- JDK7及以前
- 通过-XX:PermSize来设置永久代初始分配空间。默认是20.75M
- 通过-XX:MaxPermSize来设置永久代最大分配空间。32位默认是64M,64位默认是84M
- 当JVM加载的类信息容量超过了这个值,会报OutOfMemoryError:PermGen space
- JDK8以后
- 通过-XX:MetaspaceSize和-XX:MaxMetaspaceSize来替换以上两个数据
- 默认情况下,windows,-XX:MetaspaceSize是21M,-XX:MaxMetaspaceSize的值是-1,及没有限制
- 与永久代不同,如果不指定大小,默认情况下虚拟机会耗尽所有可用的系统内存,如果元数据区发生溢出,虚拟机一样会报OutOfMemoryError:Metaspace
- -XX:MetaspaceSize默认是21M,这是初始高水位线,一旦触及这个水位线,Full GC将会被触发并卸载没用的类(即这些类的类加载器不再存活),然后这个高水位线会重置。新的高水位线的值取决于释放了多少元空间。如果释放的元空间不足,那么在不超过-XX:MaxMetaspaceSize时,适当提高。如果空间过多,则适当降低
- 如果初始的高水位线设置过低,上述高水位线调整情况会发生很多次,通过垃圾回收器的日志可以观察Full GC多次调用。为避免频繁GC,建议将-XX:MetaspaceSize设置在一个较高的值
如何解决这些OOM?
- 要解决OOM或者heap space的异常,一般手段是先通过内存映像分析工具对dump出来的堆转储快照进行分析,重点是确认内存中的对象是否是必要的,也就是要先分清楚到底是内存泄漏还是内存溢出
- 如果是内存泄漏,可以通过工具进一步查看泄漏对象到GC Roots的引用链。于是找到泄漏对象是通过怎样的路径与GC Roots相关联并导致垃圾收集器无法自动回收。掌握泄漏对象的类型信息,以及GC Roots引用链的信息,就可以比较准确地定位出泄漏代码的位置
- 如果不存在内存泄漏,换句话就是说对象确实都还必须活着,那就应当检查虚拟机的堆参数(-Xmx与-Xms),与机器物理内存对比看是否还可以调大,从代码上检查是否存在某些对象生命周期过长、持有时间状态过长的情况,尝试减少程序运行期间的内存消耗
方法区的内部结构
方法区存储什么?
用于存储已被虚拟机加载的类型信息(域信息、方法信息)、常量(运行时常量池)、静态变量、即时编译器后的代码缓存等
类型信息
对每个加载的类型(类,接口,枚举,注解),JVM必须在方法区中存储以下类型 信息
- 这个类的完整有效名称(全名=包名.类名)
- 这个类的直接父类的完整有效名(对于interface或Object都没有父类)
- 这个类型的修饰符(public,abstract,final的某个子集)
- 这个类型直接接口的一个有序列表
域信息
- JVM必须在方法区中保存类型的所有域的相关信息以及域的声明顺序
- 域的相关信息包括:域名称,域类型、域修饰符(public、private、protected、default、static、final、volatile、transient的某个子集)
方法信息
JVM必须保存所有的方法信息,同域信息一样包括声明顺序:
- 方法名称
- 方法的返回类型(或void)
- 方法参数的数量和类型(按顺序)
- 方法的修饰符(public、private、protected、default、static、final、volatile、transient的某个子集)
- 方法的字节码(bytecodes)、操作数栈、局部变量表以及大小(abstract和native方法除外)
- 异常表(abstract和native方法除外)
- 每个异常处理的开始位置、结束位置、代码处理在程序计数器中的偏移地址、被捕获的异常类的常量池索引
non-final的类变量
-
静态变量和类关联在一起,随着类的加载而加载,它们成为类数据在逻辑上的一部分
-
类变量被类的所有实例共享,即使没有类实例时也可以访问
public class StaticVar { public static void main(String[] args) { Lei lei = null; lei.run(); System.out.println(lei.count); }}class Lei { public static int count = 3; public static void run() { System.out.println("run"); }}
全局常量 static final
被声明为final的类变量的处理方法则不同,每个全局常量在编译的时候就会被分配了
常量池和运行时常量池
常量池VS运行时常量池
- 方法区,内部包含了运行时常量池
- 字节码文件,内部包含了常量池
- 要弄清楚方法区,需要理解清除ClassFile,因为加载类的信息都放在方法区
- 要弄清楚方法区的运行时常量池,需要理解清楚ClassFile中的常量池
为什么要使用常量池?
一个Java源文件中的类、接口,编译后产生一个字节码文件。而Java中的字节码需要数据支持,通常这种数据会很大以至于不能直接存到字节码文件中,换另一种方式,可以存到常量池中,这个字节码包含了指向常量池的引用。在动态链接的时候会用到运行时常量池
常量池中有什么?
- 数量值
- 字符串值
- 类引用
- 字段引用
- 方法引用
小结
常量池,可以看做一张表,虚拟机指令根据这张常量表找到要执行的类名、方法名、参数类型、字面量等类型
运行时常量池
- 运行时常量池是方法区的一部分
- 常量池表是字节码文件的一部分,用于存放编译期间生成的各种字面量与符号引用,这部分内容将在类加载后存放到方法区的运行时常量池中
- 运行时常量池,在加载类和接口到虚拟机后,就会创建对应的运行时常量池
- JVM为每个已加载的类型(类或接口)都维护一个常量池。池中的数据项就像数组一样,是通过索引访问的
- 运行时常量池中包含多种不同的常量,包括编译器就以及明确的数值字面量,也包括到运行期间解析后才能获得的方法或者字段引用,此时不再是常量池中的符号地址了,这里换为真实地址
- 运行时常量池,相对于class文件常量池的另一重要特征,具备动态性
- 运行时常量池类似于传统编程语言中的符号表,但是它所包含的数据却比符号表要更加丰富些
- 当创建类或接口的运行时常量池时,如果构造运行时常量池所需的内存空间超过了方法区所能提供的最大值,则JVM会抛出OOM异常
方法区使用举例
public class MethodAreaDemo { public static void main(String[] args) { int x = 10; int y = 20; int a = x / y; int b = 50; System.out.println(a + b); }}
- 类
- 全限定类名
- 类的修饰符
- 参数的类型
- 参数的数量
- 方法
- 全限定方法名
- 方法的返回值类型
- 方法的修饰符
- 程序计数器,操作数栈
//字节码文件的存储位置Classfile
/E:/holiday/JVM/jvmVedio/jvm/out/production/jvm01/com/wjq/method/MethodAreaDemo.class
//最后一次修改时间 大小
Last modified 2021-5-3; size 633 bytes
//MD5加密
MD5 checksum e8175d16ad25dde628e80f517d2c6570
//编译的源文件
Compiled from "MethodAreaDemo.java"
//全限定类名
public class com.wjq.method.MethodAreaDemo
//副版本号
minor version: 0
//主版本号
major version: 52
//类的修饰符
flags: ACC_PUBLIC, ACC_SUPER
//常量池Constant pool:
#1 = Methodref #5.#24 // java/lang/Object."<init>":()V
#2 = Fieldref #25.#26 // java/lang/System.out:Ljava/io/PrintStream;
#3 = Methodref #27.#28 // java/io/PrintStream.println:(I)V
#4 = Class #29 // com/wjq/method/MethodAreaDemo
#5 = Class #30 // java/lang/Object
#6 = Utf8 <init>
#7 = Utf8 ()V
#8 = Utf8 Code
#9 = Utf8 LineNumberTable
#10 = Utf8 LocalVariableTable
#11 = Utf8 this
#12 = Utf8 Lcom/wjq/method/MethodAreaDemo;
#13 = Utf8 main #14 = Utf8 ([Ljava/lang/String;)V
#15 = Utf8 args
#16 = Utf8 [Ljava/lang/String;
#17 = Utf8 x
#18 = Utf8 I
#19 = Utf8 y
#20 = Utf8 a
#21 = Utf8 b
#22 = Utf8 SourceFile
#23 = Utf8 MethodAreaDemo.java
#24 = NameAndType #6:#7 // "<init>":()V
#25 = Class #31 // java/lang/System
#26 = NameAndType #32:#33 // out:Ljava/io/PrintStream;
#27 = Class #34 // java/io/PrintStream
#28 = NameAndType #35:#36 // println:(I)V
#29 = Utf8 com/wjq/method/MethodAreaDemo
#30 = Utf8 java/lang/Object
#31 = Utf8 java/lang/System
#32 = Utf8 out
#33 = Utf8 Ljava/io/PrintStream;
#34 = Utf8 java/io/PrintStream
#35 = Utf8 println
#36 = Utf8 (I)V
{
//全限定方法名[构造器]
public com.wjq.method.MethodAreaDemo();
//void
descriptor: ()V
//public
flags: ACC_PUBLIC Code:
//栈深 局部变量表 参数大小
stack=1, locals=1, args_size=1
0: aload_0
1: invokespecial #1 // Method java/lang/Object."<init>":()V
4: return
LineNumberTable:
line 7: 0
LocalVariableTable:
Start Length Slot Name Signature 0 5 0 this Lcom/wjq/method/MethodAreaDemo;
//main()
public static void main(java.lang.String[]);
//void
descriptor: ([Ljava/lang/String;)V
//public static
flags: ACC_PUBLIC, ACC_STATIC Code:
//栈深 局部变量表 参数大小
stack=3, locals=5, args_size=1
//执行的这些方法的操作实际也是在方法区中存放的
//pc指向0,将10压入操作数栈
0: bipush 10
//pc指向2,10出栈,将10存入局部变量表中1的位置,槽0的位置存放形参,如果是非静态方法,槽0的位置存放的是this
2: istore_1
//pc指向3,入栈20
3: bipush 20
//pc指向5,20出栈,存入局部变量表2的位置
5: istore_2
//pc指向6,从局部变量表中1的位置取数据,压栈
6: iload_1
//pc指向7,从局部变量表中2的位置取数据,压栈
7: iload_2
//pc指向8,将栈顶的两个int类型相除,将结果压栈(注意顺序)
8: idiv
//pc指向9,将结果存入局部变量表中3的位置
9: istore_3
//pc指向10,将50压栈
10: bipush 50
//pc指向12,存入到局部变量表中位置4
12: istore 4
//pc指向14,获取类或接口字段的值压栈,调用常量池中#2,将#2压栈
14: getstatic #2 // Field java/lang/System.out:Ljava/io/PrintStream;
//pc指向17,将局部变量表中位置3压栈(结果1/2)
17: iload_3//pc指向18,将局部变量表中位置4即50压栈
18: iload 4
//pc指向20,位置3和位置4相加,再入栈
20: iadd
//pc指向21,再执行main()对应的栈帧
21: invokevirtual #3 // Method java/io/PrintStream.println:(I)V
//pc指向24,main()执行结束
24: return
LineNumberTable:
line 9: 0
line 10: 3
line 11: 6
line 12: 10
line 13: 14
line 14: 24
LocalVariableTable:
Start Length Slot Name Signature 0 25 0 args [Ljava/lang/String; 3 22 1 x I 6 19 2 y I 10 15 3 a I 14 11 4 b I
}
SourceFile: "MethodAreaDemo.java"
方法区的演进细节
-
首先明确:只有HotSpot才有永久代
-
JRocket以及J9是不存在永久代的概念。原则上如何实现方法区属于虚拟机实现细节,不受《Java虚拟机规范》管束,并不统一要求
-
HotSpot中方法区的变化
版本 特征 jdk1.6及之前 有永久代,静态变量存在永久代上 jdk1.7 有永久代,但已经逐步”去永久代“,字符串常量池、静态变量移除,保存在堆中 jdk1.8及之后 无永久代,类型信息、字段、方法、常量保存早本地的元空间,但字符串常量池、静态变量仍在堆中
永久代为什么要被元空间替换?
-
随着Java8的导到来,HotSpot VM中再也见不到永久代了。但是者并不意味着类的元数据信息也消失了。这些数据被移到了一个与堆不相连的本地内存区域,这个区域叫做元空间
-
由于类的元数据分配在本地内存中,元空间的最大可分配空间就是系统可用内存空间
-
这项改动很有必要,原因有:
-
永久代设置的空间大小是很难确定的
如果动态加载的类过多,很容易产生OOM,元空间与永久代最大的区别在于:元空间并不在虚拟机中,而是使用本地内存,因此,元空间的大小仅受本地内存的限制
-
对永久代进行调优是很困难的
-
StringTable为什么要调整?
jdk7中将stringTable放到了堆空间。因为永久代的回收效率很低,在full gc的时候才会触发。而full gc是老年代、永久代不足时才会触发。这就导致stringTable回收效率不高。而我们开发中会有大量的字符串被创建,回收效率低,导致永久代内存不足。放到堆里,能即使回收内存
只要是对象实例必然会在Java堆中分配
从《Java虚拟机规范》所定义的概念模型来看,所有Class相关的信息都应该存放在方法区之中,但方法区该如何实现,《Java虚拟机规范》并未做出规定,这就成了一件允许不同虚拟机自己灵活把握的事情。jdk7及其以后版本的hotspot虚拟机选择把静态变量与类型在Java语言一端的映射Class对象存放在一起,存储于Java堆之中
方法区的垃圾回收
《Java虚拟机规范》对方法区的约束是十分宽松的,提到过可以不要求虚拟机在方法区中实现垃圾回收。事实上也确实有未实现或未能完整实现方法区类型卸载的收集器存在
一般来说这个区域的回收效果比较难令人满意,尤其是类型的卸载,条件相当苛刻。但是这部分区域的回收有时又确实是必要的
方法区的垃圾收集主要回收两部分内容:常量池中废弃的常量和不再使用的类型
常量池中主要存放的两大常量
- 字面量
- 文本字符串
- 被声明为final的常量
- 符号引用
- 类和接口的全限定名
- 字段的名称和描述
- 方法的名称和描述
Hotspot虚拟机对常量池的回收策略是很明确的,只要常量池中的常量没有被任何地方引用,就可以回收
判断一个类型是否属于不再被使用的类的三个条件
- 该类所有的实例已经被回收,也就是Java堆中不存在该类及其任何派生子类的实例
- 加载该类的类加载器已经被回收
- 该类对应的java.lang.Class对象没有在任何地方被引用,无法在任何地方通过反射访问该类的方法