方法区概述
-
方法区是属于运行时数据区的一部分
-
从线程共享的角度来看,方法区依然被所有线程所共享
栈 堆 方法区的交互关系
- Person.class 通过类加载子系统加载到JVM中
- Person的类信息保存在方法区中
- new Person() 实际的对象数据保存在堆中
- Person p = new Person(); p变量保存在java虚拟栈中占一个slot 指向了堆空间中实际的实例数据
- 堆空间中的实例数据中也保存了方法区中对象类型信息
方法区理解
在Java虚拟机规范中说明,尽管所有方法区逻辑上是属于堆的一部分,但一些简单的虚拟机实现可能不会选择去进行垃圾回收或者压缩.对于HotSpot虚拟机而言,方法区还有一个别名Non-Heap非堆,目的就是为了和堆分开,方法区可以看做一个独立为堆的内存空间.JDK8中之后方法区独立使用物理内存
方法区主要存放的class,堆中主要存放实例化之后的对象
- 方法区Method Area 和Heap一样,属于多个线程共享的内存区域
- 方法区在JVM启动的时候被创建,物理内存空间也可以是不连续的,逻辑上连续
- 方法区的大小跟堆一样可以固定大小也可以动态扩展
- 方法区的大小决定系统了可以保存了多少类,如果定义了太多类,会导致方法区溢出.JVM也会报出OOM异常java.lang.OutofMemoryError:PermGen space 或者java.lang.OutOfMemoryError:Metaspace
- 出现OOM 方法区溢出主要以下几种情况
- 加载了大量第三方jar包
- Tomcat部署过多工程 30-50
- 大量动态生成的反射类
- 关闭JVM就会释放方法区的内存.方法区的生命周期与JVM相同
HotSpot方法区的演进
在JDK7以前习惯把方法区称为永久代Perm JDK8之后元空间metaSpace取代了永久代,并且JDK8之后元空间存放在了堆外空间中
本质上,方法区和永久代并不等价.java虚拟机规范中对如何实现方法区,没有统一要求,比如JRokckit/J9都没有永久代的概念
因为JDK7中方法区实际还是使用的堆空间,所以方法区存在OOM的风险就更高
JDK8开始,完全放弃了永久代改用跟JRockit、J9一样使用本地物理内存实现的元空间meta space
元空间和永久代类似,都是JVM中方法区的实现.元空间和永久代最大的区别在于 元空间不存在虚拟机是设置的内存,而是使用本地内存,内部结构也做了调整
根据《Java虚拟机规范》的规定,如果方法区无法满足新的内存分配需求时,将抛出OOM异常
方法区不等同于元空间或永久代,方法区是一种规范,元空间或者永久代是一种实现,类似接口和实现类
设置方法区大小与OOM
- 方法区大小不一定是固定的,JVM也可以根据需要动态调整
- JDK7以前
- -XX:PermSize来设置永久代的初始分配空间 默认为20.75M
- -XX:MaxPermSize 来设置永久代最大可分配空间 默认为82M
- JDK8之后
- -XX:MetaspaceSize= 来设置元空间大小 默认20.79… 约等于21M
- -XX:MaxMetaspaceSize 来设置元空间最大可分配空间 默认不限制
- 与永久代不同,如果不指定大小,默认情况下,虚拟机会耗尽所有的可用系统内存。如果元数据区发生溢出,虚拟机一样会抛出异常OutOfMemoryError:Metaspace
- -XX:MetaspaceSize: 设置初始原空间大小.对于一个64位的服务器JVM来说,其默认的-XX:MetaspaceSize的值为21MB.这就是初始的高水位线,一旦触及这个水位线,FullGC将会触发,然后这个高水位线将会被重置.新的高水位线的值取决于GC后释放了多少元空间.如果释放的元空间不足,那么不超过MaxMetaspaceSize时,适当提高该值.如果释放的空间过多,则适当降低该值
如何解决OOM
- 要解决OOM或者Heap Space异常,一般的手段是首先通过内存映射分析工具 如(Ecplise Memory Analyzer) 对dump出来的堆转储快照进行分析,重点是确定内存中的对象是否是必要的,也就是先分析清楚是出现了内存泄漏(Memory Leak)还是内存溢出(Memory Overflow)
- 内存泄漏就是有大量的引用指向某一个对象,但是这个对象以后已经不会使用了,但是因为他还和GC ROOT有关联,所以导致这些对象也不会被回收
- 如果是内存泄漏,可进一步通过工具查看泄漏对象到GC ROOTS的引用链,于是就能找到泄漏对象是通过怎样的路径与GC ROOTS相关联并导致GC无法自动回收.掌握了泄漏对象的类型信息,以及GC ROOTS引用链的信息,就可以比较准确的定位出泄漏代码的位置
- 如果不存在内存泄漏,意思就是内存中的对象确实有用需要存活,此时应该检测JVM的堆参数(-Xms和-Xmx),与机器的物理内存是否还可以调大,从代码上检查是否存在某些对象生命周期过长,持有状态时间过长的情况,尝试减少程序运行期的内存消耗
方法区的内部结构
《深入理解Java虚拟机》书中对方法区Method Area 存储内存描述如下,它用于存储已被虚拟机加载的类型信息.常量.静态变量.即是编译后的代码缓存
类信息 Class
对每个加载类型class interface enum anntation JVM必须在方法区中存储以下类型信息
- 类的全类名 包名.类名
- 直接父类的全类名 对于接口和Object没有父类
- 类的修饰符 public abstract final
- 这个类的直接接口的有序列表 列表是因为类可以实现多个接口
域信息 Field
JVM必须在方法区中保存类型的所有域的相关信息以及域的声明顺序
域相关信息包括,域名,域类型,域修饰符(private public protected static final volatile transient)
方法信息 Method
- 方法名称
- 返回类型 或 void
- 参数数量和类型 按顺序
- 方法修饰符 public private protected final static synchronized native abstract
- 方法字节码 bytecodes 操作数栈 局部变量表及大小 abstract native方法除外
- 异常表 abstract native方法除外
- 每个异常处理的开始位置,结束位置,代码处理在程序计数器中偏移地址,被铺货异常的常量是索引
non-final 类变量
静态变量和类关联在一起,随着类的加载而加载,他们成为类数据在逻辑上的一部分
类变量被类所有实例共享,即使没有类实例也可以访问
public class NonFinalClassTest {
public static void main(String[] args) {
// 类成员被所有实例共享,即使他并没有初始化
// 即使是null也不会出现NPE
Test test = null;
System.out.println(test.a);
test.test();
}
}
class Test {
static int a = 6;
public static void test() {
System.out.println("test");
}
}
全局常量
全局常量就是使用static final 进行修改,被声明为final类变量的处理方法则不同,每个去全局常量在编译的时候就会被分配