深刻理解java虚拟机之java内存区域

　　java虚拟机在执行java程序的时候会把它所管理的内存分为多个不一样的区域，每一个区域都有不一样的做用，以及由各自的生命周期，有些随着虚拟机进行的启动而存在，有些区域则依赖于用户线程的启动或结束而创建或销毁等。在《java虚拟机规范（Java SE7版）》中规定，java内存分为如下一种，如图所示：

　　一、程序计数器

　　程序计数器（Program Counter Register）是一个内存较小的区域，它能够被看做是当前线程所执行到的字节码的行号的指示器，字节码解释器在执行下一条指令，好比分支，跳转，循环，异常处理等都须要依赖这个计数器来完成的。

　　因为java多线程是经过不断的切换分配处理器时间片的方式来实现的，在任何一个肯定的时刻，一个处理器都只会执行一条指令。也就是说，在多线程中每一个线程均可以抢到cpu的时间片，那么别抢去的线程会当即中止下来，直到它再一次得到cpu的时间片。那么，java虚拟机是如何确保再一次得到处理器时间片的时候可以在正确的位置上继续执行指令？java虚拟机就是经过当前线程的程序计数器保证的，由于保存了当前线程上次执行结束的位置，所以，程序计数器是每一个线程独有的，各线程以前的程序计数器互不影响，独立存储，咱们称这类内存区域为“线程私有”的内存。

　　若是线程正在执行java方法，这个计数器记录的是正在执行的虚拟机字节码指令的地址，若是正在执行的是native方法，那么这个计数器值则为空（Undefined）；

　　由于程序计数器记录的是当前线程字节码执行指令的地址，因此它的内存大小是不会随着线程的执行而发生变化，所以，该内存区域是惟一一个在java虚拟机规范中没有规定任何OutOfMemeryError(内存溢出)的状况的区域。

　　2.java虚拟机栈

　　Java虚拟机栈与程序计数器同样都是线程私有的，它的生命周期与线程一致，每当建立一个新的线程时都会产生一个新的的虚拟机栈，线程销毁时虚拟机栈也随即销毁。每一个方法的执行都会建立一个栈帧用于存储局部变量、操做数栈、动态链表，方法的出口等信息。每一个方法的执行到结束就对应着一个栈帧在虚拟机中入栈和出栈的过程。

　　咱们在平常开发的过程的中常常会把java内存分为堆内存和栈内存，这个说法是不许确的，由于java内存区域的划分远比这个复杂的多，这种划分的方法只能说明程序员最关注的，与对象内存分配关系最密切的内存区域这两块，这里所说的栈其实指的是虚拟机中的局部变量表。局部变量表中存放了编译期可知的基本数据类型（char，byte，int,boolean,short,float,long,double）、对象的引用（reference类型，指的是对象地址的引用指针或是句柄）、returnAddress类型（指向字节码指令的地址）。

　　局部变量表所需的内存空间在编译期完成分配，当进入一个方法时，这个方法所须要的栈帧的大小就已经肯定了，在运行期间不会改变局部变量表的大小。其中64位长度的long和double类型的数据会占用两个局部变量空间（Slot），其他的数据类型只能占用1个。

　　在java虚拟机规范中，对虚拟机栈定义了两种异常：第一，若是线程请求的深度大于虚拟机栈所容许的最大深度，将抛出StackoverflowError异常，第二，若是虚拟机栈能够动态的扩展，当扩展时没法申请到足够的内存，则会抛出OutOfMemoryError异常。

　　2.一、运行时栈帧

　　栈帧是Java虚拟机用来进行方法的调用和方法的指定的数据结构，它是虚拟机运行时数据库的Java虚拟机栈的栈元素。每个栈帧都包含局部变量表、操做数栈、动态连接、方法返回地址和一些额外的附加信息。

　　局部变量：方法的参数和方法中声明的局部变量都存储在局部变量中。在Class编译的时候就已经肯定了的局部变量表的最大容量，声明在方法的Code属性的max_locals数据项中。变量槽（Slot）是局部变量表的最小单位，能够存储32位和64位的数据，64位的数据则须要两个连续的变量槽来表示。

　　操做数栈：也成为操做栈，是一个后进先出的结构。方法执行过程当中的算术运算或者调用其它方法的参数传递的时候都是在操做数栈中进行的。

　　动态连接：Class 文件中存放了大量的符号引用，字节码中的方法调用指令就是以常量池中指向方法的符号引用做为参数。这些符号引用一部分会类第一次加载或第一次引用的时候转化为直接引用，这种转化称为静态解析。另外一部分将在每一次运行期转化为直接引用，这部分称为动态链接。

　　返回地址：当一个方法执行完成后的出口，有两个状况：一是正常状况退出，会将返回值传递给上一个方法的调用者，另外一种是异常状况，此时是没有返回值的。

　　3.本地方法栈

　　本地方法栈和java虚拟机栈的做用是差很少的，他们的惟一区别在于：java虚拟机栈为虚拟机执行java方法（字节码）服务，而本地方法栈则为虚拟机中Native方法服务。在虚拟机规范中并无明确的规定本地方法栈使用何种语言与数据结构，可有具体的虚拟机去实现它。本地方法栈和java虚拟机栈同样，也会抛出StackoverflowError和OutOfMemoryError两个异常。

　　4.java堆

　　java堆是java内存管理区域中最大的一块，java堆是全部线程共享的一块内存区域，在虚拟机启动时建立。java堆是用来存放对象，几乎全部的java对象和数组都存放在java队中，都在堆中分配空间。

　　java堆是当即回收器管理的主要区域，所以有人也会把java堆称为“GC堆”。从垃圾回收的角度来看，因为如今大多数的收集器都是采用分代收集算法，因此java堆还能够细分为：新生代和老年代；再细致一点有能够分为Eden空间，From Survivor空间、To Survivor空间等；从内存分配的角度来看，线程共享的java堆中可能划分为多个线程私有的分配缓冲区（TLAB）。这样分配是为了更好的回收内存和建立内存等，与存放的区域无关，都是存放java对象。

　　根据java虚拟机规范的规定，java堆能够是物理上不连续的内存空间，只要逻辑上连续就能够了。在实现时能够设置固定大小的空，也能够动态扩展的，不过当前流程的虚拟机都是能够动态来扩展的。若是在堆中没有足够的空间来分配实例对象，或者没法扩展堆空间，那么就会抛出OutOfMemoryError异常。

　　5.方法区

　　方法区和java堆同样，都是线程共享的内存区域，它主要用于存储已被虚拟机加载的类信息，常量，静态变量，即时编译器编译后的代码等数据。虽然java虚拟机规范把方法区描述为java堆的一部分，可是它却有一个别名叫作Non-Heap（非堆），目的是与java堆分开。

　　java虚拟机规范对方法区的限制很是的宽松，除了和java堆同样不须要物理上连续的内存和能够选择固定大小空间或动态扩展为，还能够选择不实现垃圾回收。相对而言，垃圾回收是比较少在这个区域中出现的，但并不是进入到方法区的数据都能永久的存在的。这块区域的的内存回收目标主要是针对常量池的回收和对类型的卸载，可是回收的效果并非很是明显，特别是对类型的卸载，条件很是的苛刻，但这块内存的回收是很是必要的。在SUN公司的BUG列表中，曾经出现过若干个很是严重的BUG，就是因为低版本中Hotspot虚拟机没有对此内存区域进行回收形成的。

　　根据java虚拟机规范的规定，当方法区没法知足内存分配的需求时，将抛出OutOfMemoryError异常。

　　6.运行时常量池

　　运行时常量池是属于方法区的一部分。Class文件中除了有类的版本、字段、方法、接口等描述信息外，还有一项信息是常量池，用于存放编译期生成的各类字面量和符号引用，这部分的内容将在类加载完成 后进入到方法区的运行时常量池中存放。

　　运行时常量池相对于Class文件常量池的另外一个特征是具有动态性，java语言并不要求常量必定只有编译期才能产生，也就是并不是预置入Class文件中的常量池的内容才能够进入方法区的运行时常量池，运行期间也能够将新的常量放入到池中，好比String类的intern方法。

　　既然运行时常量池是存在于方法区中的，那么在没法分配到足够的内存是也会抛出OutOfMemoryError异常。

　　

　　参考书籍： 《深刻理解Java虚拟机》

 

　　欢迎你们关注公众号： 【java解忧杂货铺】，里面会不定时发布一些技术博客；关注便可免费领取大量最新，最流行的技术教学视频：