Java内存区域

Java内存区域

运行时数据区

程序计数器

​ 指向当前线程所执行的字节码的行号，记录着当前程序运行到了哪。字节码解释器就是通过这个计数器的值来选取下一条需要执行的字节码指令，代码中的分支、循环、跳转、异常处理等基础功能都需要依赖这个计数器。

​ Java的多线程是通过轮流切换线程来使用处理器处理任务的方式实现的。因此一个处理器在同一时刻只能执行一个线程，为了确保线程在切换的时候能恢复到正确的执行位置，每一个线程都需要一个独立的程序计数器，独立存储，互补影响。因此，这块较小的的内存是"线程私有"的内存。

​ 状态：执行Java方法，计数器记录虚拟机字节码指令的地址；执行native方法，计数器的值为空(Undefined)。

​ native方法是java通过JNI直接调用本地C/C++库，可以近似的认为native方法相当于C/C++暴露给java的一个接口，java通过调用这个接口从而调用到C/C++方法。由于该方法是通过C/C++而不是java进行实现。那么自然无法产生相应的字节码，并且C/C++执行时的内存分配是由自己语言决定的，而不是由JVM决定的。

​ 此内存区域是唯一一个在Java虚拟机规范中没有规定任何OutOfMemoryError情况的区域。

Java虚拟机栈

​ 虚拟机栈描述的是Java方法执行的内存模型：每个方法在执行的同时都会穿件一个栈帧用来存储局部变量表、操作数栈、方法出口和动态链接等信息。每个方法从调用到执行完成，其实就是栈帧在虚拟机栈中从入栈到出栈的过程。和程序计数器一样，虚拟机栈也是线程私有的内存区域，它的生命周期和线程相同。

​ 通常所说的堆内存(Heap)和栈内存(Stack)，其中"栈"是指Java虚拟机栈或者Java虚拟机栈中局部变量表的部分。局部变量表存放了在编译过程中已知的基本数据类型、对象引用(仅限局部变量的，不包含成员变量的)和returnAddress类型(只想了一条字节码执行的地址)。局部变量表所需的内存空间在编译的时候完成分配，这个方法需要在帧中非配多大的局部变量空间是完全确定的，在方法运行的期间不会改变局部变量表的大小。

​ 操作数栈则存储方法内一些进行了运算操作后的结果。

​ 动态链接，在方法内调用接口，通过字面量链接到具体的实现类，实现Java的动态特性。

​ 方法出口，return或者发生Exception等。

​ 如果MethodA调用了MethodB(假定除此之外没有别等方法)，那么MethodA先创建一个栈帧入栈，成为栈顶元素；然后是MethodB创建一个栈帧入栈成为栈顶。当MethodB执行完成，MethodB的栈帧就出栈，接着执行MethodA，等MethodA执行完成，MethodA的栈帧出栈。

​ 在Java虚拟机规范中，虚拟机栈有两种异常情况：1>如果线程请求的栈深度大于虚拟机运行的深度(栈空间不够)，抛出StackOverflowError异常；2>如果虚拟机栈运行动态扩展，且扩展时无法申请到足够的内存，抛出OutOfMemoryError异常。

溢出

​ 栈容量只有-Xss参数设定。

在HotSpot虚拟机中并不区分虚拟机栈和本地方法栈，因此HotSpot中-Xoss(设定本地方法栈大小)参数是无效的。

本地方法栈

​ 与Java虚拟机栈相似，区别在于Java虚拟机栈为虚拟机执行Java方法服务，而本地方法栈则为虚拟机使用的Native方法服务。和Java虚拟机栈一样，本地方法栈也会抛出StackOverflowError和OutOfMemoryError异常。

Java堆

​ Java堆是虚拟机管理的内存中最大的一块，被所以线程共享，在虚拟机启动的时候就创建。几乎所有对象实例以及数组内存都要在堆上分配。

​ Java堆也是垃圾回收GC的主要区域。从JVM的垃圾回收机制角度来看，Java堆可细分为：新生代(Young Generation)和老年代(Old Generation)。其中新生代还可划分为：Eden空间、From Survivor空间、To Survivor空间。不论划分的策略和结果如何，存储的都还是实例，只是为了更好的进行垃圾回收和分配。

JDK 1.8以后 不在用永久代，而是Meta Space已经不在堆内存中。

​ Java堆在物理上可以是不连续的内存空间，就像磁盘一样，在物理上可以是不连续的，逻辑上连续即可。可以通过-Xmx和-Xms(前者表示初始堆大小，后者表示最大堆大小)来控制堆内存的大小。如果堆中没有内存空间分配给实例，且不能扩展，将抛出OutOfMemoryError异常。

​ 对象实例以及数组内存都要在堆上分配

溢出

​ Java堆用来存储对象实例，只需要不断的创建对象，并保证GC Roots到对象之间有可达路径来变美垃圾回收机制清楚这些对象即可。

​ -XX:HeapDumpOnOutOfMemoryError参数可以让虚拟机在出现内存溢出时，Dump出当前的内存堆转储快照以便分析。

​ 堆没吃溢出信息"java.lang.OutOfMemoryError"会有进一步提示"Java heap space".

方法区

​ 和Java堆一样，所有线程共享的内存区域，运行存储以及被虚拟机加载的类信息、常量(final)、静态变量(static)、即时编译器(JIT)编译后的代码等数据。

​ 方法区是一个相对固定的内存区，因为它存储的是类的信息，类的信息被加载到方法区之后，除了必要的连接和初始化，一般不会有改动，JVM也不会卸载类的信息。根据Java虚拟机规范，当方法区无法满足内存分配的需求时，将抛出OutOfMemoryError异常。

运行时常量池

​ 运行时常量池时方法区的一部分。Class文件中除了有类的版本、字段、方法、接口等描述信息外，还有常量池，用于存放编译期生产的各种字面量和符号引用。

虚拟机中的对象

对象的创建

​ 当虚拟机遇Java代码中创建对象(普通的Java对象，不包括数字和Class对象等)的new指令时：

1>检查这个指令的参数是否能在常量池中定位到一个类的符号引用，并且检查这个符号引用指代的类是否已经被加载、解析和初始化过。

2>如果已经完成加载等过程，到下一步。如果没有，先进行加载、解析等过程。

3>检查通过之后，虚拟机为新创建的对象分配内存，为对象分配内存空间的任务等同于把一块确定大小的内存从Java堆中划分出来。

4>内存分配完成之后，虚拟机需要将分配得到的内存空间都初始化为零值（不包括对象头）。

5>虚拟机对对象进行必要的设置。比如这个对象是哪个类的实例、如何才能找到类的元数据信息、对象的哈希码等。这些数据存放在对象的对象头(Object Header)中。

6>到此，从虚拟机的角度老看，一个对象已经产生了，但从Java程序的视角来看，对象创建才刚刚开始，方法还没有执行，所有字段都没有初始化。执行完new指令之后按照开发人员的意愿进行初始化，这样才算完成对象的创建。

内存分配

​ 如果Java堆中内存是绝对规整的，所有用过的内存都放在一边，空间的内存在另一边，中间有一个指针作为分界点的指示器，那分配内存就仅仅是把指针向空闲空间那边挪动一段与对象大小相等的距离，这种方式称为"指针碰撞"。

​ 如果Java堆中的内存是不规整的，已使用的内存和空闲的内存相互交错，虚拟机就必须维护一个列表，记录哪些内存块是可用的，在分配的时候从列表中找到一个足够大的空间划分给对象实例，并更新列表上的记录，这种方式成为"空闲列表"。

​ Java堆堆规整与否由所采用的垃圾回收器是否带有压缩整理功能决定。

对象的内存布局

​ 对象在内存中的存储可以分为3个区域：对象头(Header)、实例数据(Instance Data)和对齐数据(Padding)。

​ 对象头中包含两部分：1>存储对象自身的运行时数据，如哈希码、GC分代年龄、锁状态标志、偏向时间戳等。2>类型指针，即对象指向它的类元数据的指针，虚拟机通过这个指针确定这个对象是哪个类的实例。

​ 实例数据存储对象的有效信息，在程序代码中所定义的各种类型的字段内容。不论是父类继承而来还是子类定义而来的，都需要记录。

​ 对齐数据不是必须的，没有特殊含义，仅为占位符的作用。

对象的访问定位

​ 目前主流的访问方式由使用句柄和直接指针两种。

​ 使用句柄的方式，Java堆中将会划分一块内存用来作为句柄池，Reference中存储的就是对象的句柄地址，而句柄中包含了对象实例数据与类型各自的具体地址信息。

​ 优势：当对象移动的时候（垃圾回收的时候移动很普遍）只需要改变句柄中的指针，但是栈中的指针不需要变化，因为栈中存储的是句柄的地址。

​ 直接指针访问，那么Java堆对象的布局就必须考虑如果放置访问类型数据的相关信息，而Reference中存储的直接就是对象地址。

​ 优势：速度更快，它节省了一次指针定位的时间开销。