Java内存区域与内存溢出异常

最新推荐文章于 2024-08-09 07:15:00 发布

小锴的学习笔记

最新推荐文章于 2024-08-09 07:15:00 发布

阅读量392

点赞数

分类专栏： JVM 文章标签： JVM

本文链接：https://blog.csdn.net/qq_40925525/article/details/102933311

版权

JVM 专栏收录该内容

13 篇文章 0 订阅

订阅专栏

Java内存区域与内存溢出异常

Java与C++之间有一堵由内存动态分配和垃圾收集技术所围成的"高墙",墙外面的人想进去,墙里面的人却想出来.

Java内存区域与内存溢出异常

JVM运行时数据区

HotSpot虚拟机中对象的创建过程:

为对象分配内存有两种分配方式:指针碰撞和空闲列表

HotSpot虚拟机中对象的内存布局

对象在内存中存储的布局可以分为3块区域:对象头,实例数据,和对齐填充.

JVM运行时数据区

程序计数器(线程私有):它可以看作是当前线程所执行的字节码的行号指示器.功能:取字节码指令,分支,循环,跳转,异常处理,线程恢复等基本功能都要依赖于它.此区域无OutOfMemoryError异常.

虚拟机栈(线程私有):它的生命周期和线程相同,每个java方法执行时都会创建一个栈帧用于存储局部变量表,操作数栈,动态链接,方法出口等信息. 局部变量表存放了编译期可知的各种基本数据类型,对象引用和返回地址.如果虚拟机栈长度固定,在线程请求的栈深度大于虚拟机所允许的深度,将抛出StackOverflowError异常.如果虚拟机栈可以动态扩展,那么在扩展时无法申请到足够的内存,就会抛出OutOfMemoryError异常.

本地方法栈(线程私有):作用和虚拟机栈类似,只不过本地方法栈为虚拟机使用到的Native方法服务.在Sun HotSpot虚拟机中直接将本地方法栈和虚拟机栈合二为一,和虚拟机栈一样,本地方法栈也会抛出StackOverflowError和OutOfMemoryError异常.

Java堆(线程共享):作用就是存放对象实例及数组(随着基于逃逸分析技术的栈上分配,标量替换优化技术的作用,所有对象分配在堆上也不绝对了.)大部分垃圾收集器现在基本都采用分代收集算法,所以java堆中还可以细分为:新生代(Eden空间,From Survivor空间,To Survivor空间)和老年代,如果在堆中没有内存完成实例分配,并且堆也无法再扩展时,将会抛出OutOfMemoryError异常.

方法区(线程共享):用于存储已被虚拟机加载的类信息,常量,静态变量,即时编译器编译后的代码等数据.很久以前也称方法区为永久代,在JDK1.8后,采用了本地内存来实现方法区,因此只有在当方法区无法满足内存分配需求时,将抛出OutOfMemoryError异常,1.8后也称方法区为元空间.

运行时常量池(方法区的一部分,线程共享):用于存放编译期生成的各种字面量和符号引用,一般来说,除了保存Class文件中描述的符号引用外,还会把翻译出来的直接引用也存储在运行时常量池中.此区域具备动态性,运行期间也可能将新的常量放入池中.它也受到方法区内存的限制,当常量池无法再申请到内存时会抛出OutOfMemoryError异常.jdk1.8后,字符串常量放入堆中.

直接内存(并不是虚拟机运行时数据区的一部分):JDK1.4后新加入了NIO,引入了一种基于通道与Buffer的IO方式,它可以使用Native函数库直接分配堆外内存,然后通过一个存储在java堆中的DirectByteBuffer对象作为这块内存的引用进行操作,能够提高性能,因为避免了在java堆和Native堆中来回复制数据.此区域会受到本机总内存大小及处理器寻址空间的限制,如果设置虚拟机参数时忽略直接内存,使得各个内存区域总和大于物理内存限制(包括物理的和操作系统级的限制),从而导致动态扩展时出现OutOfMemoryError异常.

HotSpot虚拟机中对象的创建过程:

限于普通Java对象,不包括数组和Class对象等.

类加载检查--类加载--分配内存--初始化零值--对对象进行必要设置--按意愿初始化.

虚拟机遇到一条new指令时,先去检查这个指令的参数能否在常量池中定位到一个类的符号引用,并且检查这个符号引用代表的类是否已被加载,解析和初始化过.如果没有,则执行相应的类加载过程.
在类加载检查通过后,虚拟机将为新生对象分配内存,对象所需内存空间的大小在类加载完成后便可完全确定.
内存分配完成后,虚拟机需要将分配到的内存空间都初始化为零值(不包括对象头).
接下来,虚拟机要对对象进行必要的设置,例如这个对象是哪个类的实例,如何才能找到类的元数据信息,对象的哈希码,对象的GC分代年龄等信息,这些信息存放在对象的对象头中,是否启用偏向锁等.
最后把对象按照程序员的意愿进行初始化,这样一个真正可用的对象才算完全生产出来.

为对象分配内存有两种分配方式:指针碰撞和空闲列表

假设Java堆中内存是绝对规整的,已使用的内存都放在一遍,空闲的内存放在另一边,中间放着一个指针作为分界点的指示器.那所谓分配内存就仅仅是把那个指针向空闲那边挪动一段与对象大小相等的距离,这种分配方式称为指针碰撞.
如果Java堆中的内存并不是规整的,就必须维护一个列表,记录上哪些内存块是可用的,在分配的时候从列表中找到一块足够大的空间划分给对象实例,并更新列表上的记录,这种分配方式称为空闲列表.

对象创建在虚拟机中是非常频繁的行为,即使是仅仅修改一个指针所指向的位置,在并发环境下也并不是线程安全的,比如正在给对象A分配内存,指针还没来得及修改,对象B又同时使用了原来的指针来分配内存.

解决这个问题有两种方案,一种是对分配内存空间的动作进行同步处理------实际上虚拟机采用CAS配上失败重试的方式保证更新操作的原子性;另一种是把内存分配的动作按照线程划分在不同的空间之中进行.即每个线程在Java堆中预先分配一小块内存,称为本地线程分配缓冲(TLAB,私有)哪个线程要分配内存,就在哪个线程的TLAB上分配,只有TLAB用完并分配新的TLAB时,才需要同步锁定.虚拟机是否使用TLAB,可以通过-XX:+/-UseTLAB参数来设定.

使用哪种内存分配方式由Java堆内存是否规整决定,而Java堆是否规整又由所采用的的垃圾收集器是否带有压缩整理功能决定.

HotSpot虚拟机中对象的内存布局

对象在内存中存储的布局可以分为3块区域:对象头,实例数据,和对齐填充.

对象头包括两部分信息:第一部分用于存储对象自身的运行时数据(哈希码,GC分代年龄,锁状态标志,线程持有的锁,偏向线程ID,偏向时间戳等),第二部分是类型指针,即对象指向它的类元数据的指针.如果对象是一个java数组,那在对象头中还必须有一块用于记录数组长度的数据,因为虚拟机可以通过普通java对象的元数据信息确定java对象的大小,但是从数组的元数据中却无法确定数组的大小.
实例数据中是对象真正存储的有效信息,也是在程序代码中所定义的各种类型的字段内容.
对齐填充并不是必然存在的,只是为了满足HotSpot VM的自动内存管理系统的规则(对象起始地址必须是8字节的整数倍,即对象的大小必须是8字节的整数倍),起着占位符的作用.