JVM由浅入深系列——JAVA内存区域与对象的创建过程

Durian_piza

已于 2022-07-13 14:34:28 修改

阅读量269

点赞数

分类专栏： JVM——由浅入深系列文章标签： jvm java

于 2022-07-13 11:44:40 首次发布

本文链接：https://blog.csdn.net/Durian_piza/article/details/125760254

版权

JVM——由浅入深系列专栏收录该内容

2 篇文章 0 订阅

订阅专栏

深入理解JAVA内存区域与对象的创建过程

一、JAVA内存区域

在这里插入图片描述

1.程序计数器
程序计数器在内存中占较少的空间,这块区域属于线程私有的，是当前所执行线程字节码的行号指示器，字节码解释器就是通过改变计数器的值来执行下一条的字节码指令，它是程序控制流的指示器（包括分支、循环、跳转、异常处理等功能）每条线程都有个独立的程序计数器，互不影响,程序计数器没有OOM异常。

2.Java虚拟机栈
是线程私有的,其生命周期与线程相同，Java虚拟机栈有OOM异常和StaackOverflowError异常，虚拟机栈里面包含有0到多个栈帧，每调用一个方法就会生成一个栈帧,方法从调用至结束分别对应着一个栈帧在虚拟机中入栈和出栈的过程，栈帧里面包含局部变量、操作数栈、动态连接、方法出口等信息。局部变量表包含着基本数据类型和对象引用类型（reference，不一定指向自己或是自己的类型，它可能是指向对象起始地址的引用指针，或者是句柄对象的地址），

这些数据类型在局部变量表中的存储空间用槽来表示,其中long和double占两个槽，其余的占一个槽。局部变量表所需的空间在编译器就完成了，换句话说，当有一个方法的时候，这个方法在栈帧中需要多大的局部变量空间就已经定下了，方法运行期间不会改变局部变量表的大小即槽的数量，当线程请求的栈深度大于虚拟机允许的深度，就会抛出StackOutOf异常;如果虚拟机栈容量允许动态扩展，栈扩展无法申请到足够的内存就会抛出OOM异常，不允许扩展就只会抛出SOF异常。

3.本地方法栈
是线程私有的,本质上来说和虚拟机栈一样，不过本地方法栈是为虚拟机使用的本地方法来服务的，而虚拟机栈是为虚拟机执行Java方法服务。也有OOM、SOF异常，与Java虚拟机一样。

4.Java堆
是虚拟机占用内存最大的区域，其空间是所有线程可以共享的。几乎所有new的对象都是在这里分配内存的。Java堆是垃圾收集器管理的内存区域。
从分配的内存上看，所有线程共享的Java堆中可以划分多个线程私有的分配缓冲区，以提升对象分配的效率，它的本质没有改变即（存储的是对象的实例），将Java堆划分是为了更好地垃圾回收。Java堆可以处于物理上不连续的内存空间。当Java堆中没有内存完成实例分配,将会抛出OOM异常。

5.方法区
也是所有线程所共享的,它用于存储虚拟机加载的类型信息,如常量、静态变量、及时编译器编译后的代码缓存数据。其和Java堆一样也不需要连续的内存，甚至可以选择不实现垃圾收集。这块区域的回收主要是针对常量池的回收和类型的卸载，但比较难回收，如果方法区无法满足新的内存分配将会抛出OOM异常。

6.运行时常量池
是方法区的一部分。常量池表用于存放编译期生成的各种字面量与符号引用，这部分内容将在类加载后放到方法区的运行常量池中。并非提前放入Class文件中常量池的内容才能进入方法区运行时常量池，运行期间产生新的常量也能放入池中，例如String类的intern（）方法。

7.直接内存
不是虚拟机运行时数据区的一部分，Jdk1.4中加入的NIO类，引入了一种基于通道与缓冲区的I/O方式，可以使用Native函数直接分配堆外内存,然后通过一个存储在Java堆里面的DirectByteBuffer对象作为这块内存的引用进行操作。这部分区域不会收Java堆大小的限制，但会收本机内存的限制。当各个内存区域总和大于系统的限制，动态扩展也是会抛出OOM异常。

二、对象在JVM中的创建过程

1.对象的创建

当Java虚拟机遇到一条字节码new指令时，会检查这个指令的参数在常量池中能不能找到一个类的符号应用，并检查这个符号引用代表的类有没有被加载、解析和初始化过，如果没有必须执行相应的类加载过程。

类加载检查后，会为虚拟机new出来的对象分配内存，所需要的内存的大小在类加载后就能确定，为对象分配空间就等于在Java堆中划分一块与对象大小相等内存。

指针碰撞:当堆得内存是有规律的，所有被使用的内存放在一边，没被使用过的内存放在一边，中间放着以指针作为分界点的指示器，分配内存就是把指针向空闲空间方向挪动与对象大小相等的距离称为指针碰撞。如果被使用的内存与使用的内存是相互交叉的，则虚拟机会维护一个表，这个表会记录Java堆中那一块内存是可用的的，分配的时候就会从列表中选一块足够大的空间划分给对象实例，这种分配方式称为“空闲列表”。

划分空间的时候还需要考虑一个问题，对象创建十分频繁，在并发条件下不一定是线程安全的，为了避免这种问题有两种方法，一种是对分配内存空间的动作进行同步处理，另一种是TLAB（哪个线程要分配内存，就在哪个线程的本地缓冲区中分配，只有本地缓冲区用完了，分配新的缓冲区时才需要同步锁定）。

内存分配完成之后，虚拟机必须将分配到的内存空间都初始化为零值（）,接着Java虚拟机还要对对象进行必要的设置，例如这个对象是哪个类的实例，对象的hashcode、GC年龄信息等，这些信息将会放在对象头中。

这些工作完成后，从虚拟机角度来看，一个新对象产生，然而从Java程序角度来看，对象创建才刚刚开始，Class文件中的 init() 方法还没有执行，所有的字段都为默认的零值，对象的资源和状态信息未准备好。执行完 init() 方法，按照程序员的代码对对象初始化后，才算完成对象的创建。

2.对象的布局

对象在堆中的布局构可分为三个部分对象头、实例数据和对齐填充构成。

对象的头包含着hashCode值、GC分代年龄、锁状态标志等，这部分数据在32和64位的虚拟机中分别占32个比特和64个比特，官方称它为MarkWord。对象头的另一部分是类型指针，Java虚拟机通过这个指针来确定该对象是哪个类的实例，如果对象是数组，对象头中还必须有一块用于记录数组长度的数据，因此虚拟机还可以通过普通Java对象元数据信息确定Java的大小（指在提前指定好的大小的情况下）。

实例数据就是对象真正存储下来的有效信息，即我们在代码中定义的个个类型的字段，无论父类还是子类的字段都得记录下来。

对象的第三部分是对齐填充，就是占位符。

3.对象访问定位

在这里插入图片描述直接通过指针访问对象

Java会通过reference数据来操作堆上的对象，reference本质是一个指向对象的引用，由JVM内部实现，用户无需管。对象访问方式有两种一种是句柄访问,如果是句柄访问reference中包含的就是句柄的地址，句柄中包含了对象实例数据与类型数据各自的地址信息。直接指针访问，reference存储的就是对象地址，如果只访问对象本身，不需要一次间接访问的开销。句柄访问的优点是,当对象被移动只需要修改句柄池中实例数据指针，直接访问的优点是速度快。