Java运行时数据区

细说Java运行时数据区

Java虚拟机在执行Java程序的过程中会把他所管理的内存划分为若干个不同的数据区域，每个区域的用处各不相同，以及有各自的创建和销毁的时间，同时有的区域依赖的是虚拟机进程，而有的区域依赖的是用户的线程，Java虚拟机所管理的内存会包括以下几个运行时数据区

程序计数器 (Program Counter Register)

程序计数器是一块较小的内存空间，是属于由线程隔离的数据区，可以看作是当前线程所执行的字节码的行号指示器。因为字节码解释器的工作就是通过改变这个计数器的值来选取下一条需要执行的字节码指令，而程序计数器即可代表字节码的行号，对应着相应的字节码指令。 分支、循环、跳转、异常处理、线程恢复等基础功能都需要依赖这个计数器来完成。

Java虚拟机的多线程是通过线程轮流切换，分配处理器执行时间的方式来实现的，所以在任何时刻，一个处理器只会执行一条线程中的指令，用于不同线程会进行切回，而为了在切换线程之后，能够使该条线程恢复到正确的执行指令位置，每条线程都需要一个程序计数器，且各条线程之间的程序计数器相互独立，互不影响，独立存储，我们称这类内存区域为"线程私有"的内存，也就是上图所示的线程隔离的数据区。

Java虚拟机栈 (Java Virtual Machine Stack)

​Java虚拟机栈也是属于线程私有的，处于线程隔离的数据区，其生命周期与线程同步。虚拟机栈描述的是Java方法执行的线程内存模型：每个方法被执行的时候，Java虚拟机都会同步创建一个栈帧用于存储局部变量表，操作数栈，动态链接，方法出口等信息。每一个方法被调用直至执行完毕的过程，就对应着一个栈帧在虚拟机栈中从入栈到出栈的过程。

​Java内存区不能笼统地划分为堆内存和栈内存，不过这种划分方式间接的说明了程序员最关注的，与对象分配关系最密切的区域是’堆(heap)‘和’栈(stack)’，而这里的栈通常指的就是虚拟机栈，或者更多的情况下只是指虚拟机栈中局部变量表部分。
局部变量表里存放了编译期可知的各种Java虚拟机的基本数据类型 (boolean、byte、char、short、int、 float、long、double）、对象引用（reference类型，它并不等同于对象本身，可能是一个指向对象起始地址的引用指针，也可能是指向一个代表对象的句柄或者其他与此对象相关的位置）和returnAddress 类型（指向了一条字节码指令的地址)

​这些数据类型在局部变量表中的存储空间以局部变量槽(Slot)来表示，其中64位长度的long和double类型会占用2个变量槽，其余只占用1个变量槽(一个槽位占32位)。局部变量表所需的内存空间在编译期间完成分配，当进入一个方法时，这个方法需要在栈帧中分配多大的局部变量空间是完全确定的，在方法运行期间不改变局部变量表的大小。(大小指的是局部变量槽的槽位数量，而虚拟机使用多大的内存空间，也就是1个变量槽位占用多少比特，是由虚拟机自行决定的)。

本地方法栈 (Native Method Stacks)

本地方法栈与虚拟机栈所发挥的作用非常相似，其区别只是虚拟机栈为虚拟机执行Java方法(也就是字节码)服务，而本地方法栈则是为虚拟机使用到的本地(Native)方法服务。

《Java虚拟机规范》对本地方法栈中方法使用的语言、使用方式与数据结构并没有任何强制规 定，因此具体的虚拟机可以根据需要自由实现它，甚至有的Java虚拟机（譬如Hot-Spot虚拟机）直接就把本地方法栈和虚拟机栈合二为一。与虚拟机栈一样，本地方法栈也会在栈深度溢出或者栈扩展失 败时分别抛出StackOverflowError和OutOfMemoryError异常。

Java堆

​对于Java应用程序来说，Java堆(Java Heap)是虚拟机所管理的内存中最大的一块。Java堆是被所有线程共享的一块内存区域，在虚拟机启动时创建。此内存区域的唯一目的就是存放对象的实例，Java中’几乎’所有的对象实例都在这里分配内存。

Java堆是垃圾收集器管理的内存区域，一些资料中将它成为’GC堆’(Garbage Collected Heap)。从回收内存的角度上看，由于现代垃圾收集器大部分都是基于分代收集理论设计的，所以Java堆中经常会出现 ‘新生代’ ‘老年代’ ‘永久代’ ‘Eden空间’ ‘From Survivor空间’ 'To Survivor空间’等名词，这些区域的划分仅仅是一部分垃圾收集器的共同特性或者说是设计风格而已，而并非某个Java虚拟机具体的实现固有布局，在G1收集器出现之后，打破了这个特性，不再基于’经典分代’来设计。

如果从分配内存的角度看，所有线程共享的Java堆中可以划分出多个线程私有的分配缓冲区，提升对象分配时的效率。不过不论从什么角度，无论如何划分，都不会改变Java堆中存储内容的共性，无论是哪个区域，存储的都只能是对象的实例，将Java堆细分的目的只是为了更好的回收内存，或者更快的分配内存。

​根据《Java虚拟机规范》的规定，Java堆可以处于物理上不连续的内存空间中，但在逻辑上它应该被视为连续的，这点就像我们用磁盘空间去存储文件一样，并不要求每个文件都连续存放。但对于大对象（典型的如数组对象），多数虚拟机实现出于实现简单、存储高效的考虑，很可能会要求连续的内存空间 。

​Java堆既可以被实现成固定大小的，也可以是可扩展的，不过当前主流的Java虚拟机都是按照可扩展来实现的（通过参数-Xmx和-Xms设定）。如果在Java堆中没有内存完成实例分配，并且堆也无法再扩展时，Java虚拟机将会抛出OutOfMemoryError异常。

方法区

​方法区(Method Area)与Java堆一样，是所有线程共享的内存区域，它用于存储已被虚拟机加载的类型信息，常量，静态变量，即时编译器编译后的代码缓存等数据。虽然《Java虚拟机规范》中把方法区描述为堆的一个逻辑部分，但是它却有一个别名叫作"非堆"（Non-Heap），目的是与Java堆区分开来。

​堆区是用来存储对象实例及数组对象的内存空间，它是Java程序中最大的一块内存区域。当我们使用new关键字创建一个对象时，这个对象就会被存储在堆区中。每个对象都有自己独立的成员变量值、对象头信息和一些额外信息。

​方法区是用来存储类信息、常量、静态变量等数据的内存空间。它是不同于堆区的另一个内存区域，方法区是被所有线程共享的，在JVM启动时即被创建，并分配了足够的内存空间。方法区中存储的内容包括类的完整信息、静态变量、常量以及编译器编译后的代码等。

​在使用一个类创建对象实例的时候，JVM会首先从方法区中加载该类的相关信息。这些信息包括类的定义、常量池、静态变量、类方法等。
​当我们使用关键字“new”创建一个对象时，JVM会在堆内存中分配一块内存空间，并调用合适的构造函数完成对象的初始化工作。在进行对象初始化之前，JVM会检查该类是否已经被加载和链接过，如果没有，则会先从磁盘或网络中加载类的字节码文件，并将其存储在方法区中。然后，JVM会对类进行链接和初始化操作，包括验证类的合法性、为静态变量赋初值、解析符号引用等。

​因此，在使用一个类创建对象实例的过程中，JVM需要从方法区中加载并初始化该类的相关信息。只有当类的信息准备完毕后，才能够创建出相应的对象实例并执行相应的操作。

运行时常量池

​运行时常量池（Runtime Constant Pool）是方法区的一部分。Class文件中除了有类的版本，字段，方法，接口等描述信息外，还有一项信息是常量池表(Constant Pool Table)，用于存放编译期生成的各种字面量与符号引用，这部分内容在类加载后存放到方法区的运行时常量池中。

​Java虚拟机对于Class文件的每一部分的格式都有严格的规定， 如每一个字节用于存储哪种数据都必须符合规范上的要求才会被虚拟机认可、加载和执行，但对于运行时常量池，《Java虚拟机规范》并没有做任何细节的要求，不同提供商实现的虚拟机可以按照自己的需要来实现这个内存区域，不过一般来说，除了保存Class文件中描述的符号引用外，还会把由符号引用翻译出来的直接引用也存储在运行时常量池中。

​运行时常量池相对于Class文件常量池的另外一个重要特征是具备动态性，Java语言并不要求常量一定只有编译期才能产生，也就是说，并非预置入Class文件中常量池的内容才能进入方法区运行时常量池，运行期间也可以将新的常量放入池中。

直接内存

直接内存（Direct Memory）并不是虚拟机运行时数据区的一部分，也不是《Java虚拟机规范》中定义的内存区域。但是这部分内存也被频繁地使用，而且也可能导致OutOfMemoryError异常出现，本机直接内存的分配不会受到Java堆大小的限制，但是，既然是内存，则肯定还是会受到本机总内存（包括物理内存、SWAP分区或者分页文件）大小以及处理器寻址空间的限制，一般服务器管理员配置虚拟机参数时，会根据实际内存去设置-Xmx等参数信息，但经常忽略掉直接内存，使得各个内存区域总和大于物理内存限制（包括物理的和操作系统级的限制），从而导致动态扩展时出现 OutOfMemoryError异常。

​直接内存是一种特殊的内存区域，它不受Java虚拟机（JVM）管理。与JVM管理的堆内存不同，直接内存由操作系统管理，并且可以通过Java NIO（New I/O）库访问。直接内存通常用于需要快速、高效地读写大量数据的应用程序中。这是因为直接内存可以使用零拷贝（zero-copy）技术，即数据可以在CPU和I/O设备之间直接传输，而不需要复制到堆内存中。