JVM(java虚拟机)

JVM在执行Java程序的过程中会把它所管理的内存划分为若干个不同的数据区域。这些区域都有各自的用途、创建和销毁的时间。本文以Sun公司HotSpot虚拟机为例进行说明，JRockit和IBM J9会有所不同。HotSpot运行时数据区分为堆和栈两种类型，堆空间为线程共享，栈空间为线程私有。堆空间又分为方法区和堆，栈细分为虚拟机栈、本地方法栈和程序计数器，但HotSpot栈的实现将本地方法栈中的内容放入虚拟机栈空间进行存储，所以HotSpot中不存在本地方法栈，下面展开说明图1各区域具体作用：

图1

方法区 (Method Area or Permanent Generation)：

线程共享的内存区域，用于存储以被虚拟机加载的类信息、常量、静态变量、即时编译器编译后的代码等数据。虽然这个区域被虚拟机规范把方法区描述为堆的一个逻辑部分，但是它的别名叫NonHeap，用来与堆做区别，通过-XX:permSize和-XX:MaxPermSize设置该空间大小。当方法区无法满足内存分配需求时就会抛OutOfMemoryError。

运行时常量池（Runtime Constant Pool）：

它是方法区的一部分。Class文件中除了有类的版本、字段、方法、接口等描述信息外，还有一项信息是常量池（ConstantPool Table），用于存放编译期生成的各种字面量和符号引用，这部分内容将在类加载后存放到方法区的运行时常量池中。Java虚拟机对Class文件的每一部分（自然也包括常量池）的格式都有严格的规定，每一个字节用于存储哪种数据都必须符合规范上的要求，这样才会被虚拟机认可、装载和执行。但对于运行时常量池，Java虚拟机规范没有做任何细节的要求，不同的提供商实现的虚拟机可以按照自己的需要来实现这个内存区域。不过，一般来说，除了保存Class文件中描述的符号引用外，还会把翻译出来的直接引用也存储在运行时常量池中。运行时常量池相对于Class文件常量池的另外一个重要特征是具备动态性，Java语言并不要求常量一定只能在编译期产生，也就是并非预置入Class文件中常量池的内容才能进入方法区运行时常量池，运行期间也可能将新的常量放入池中，这种特性被开发人员利用得比较多的便是String类的intern()方法。既然运行时常量池是方法区的一部分，自然会受到方法区内存的限制，当常量池无法再申请到内存时会抛出OutOfMemoryError异常。

 

堆(Heap):

虚拟机管理的最大的一块内存，同时也是被所有线程所共享的，它在虚拟机启动时创建，存在的意义就是存放对象实例，几乎所有的对象实例以及数组都要在这里分配内存。这里存放的对象被自动管理，也就是俗称的GC（GarbageCollector）所管理。Java堆的容量可以通过-Xmx和-Xms参数调整空间大小。堆所使用的内存不需要保证是物理连续的，只要逻辑上是连续的即可。如果堆中没有可用内存完成实例分配并且堆也无法扩展，这时就会抛OutOfMemoryError。

 

虚拟机栈(Virtual Machine Stack)：

每一个线程都有自己的虚拟机栈，这个栈与线程同时创建，它的生命周期与线程相同。虚拟机栈描述的是Java方法执行的内存模型：每个方法被执行的时候都会同时创建一个栈帧（StackFrame）用于存储局部变量表、操作数栈、动态链接、方法出口等信息。每一个方法被调用直至执行完成的过程就对应着一个栈帧在虚拟机栈中从入栈到出栈的过程。JVM Stack可以被实现成固定大小，也可以根据计算动态扩展。如果采用固定大小的JVM Stack设计，那么每一条线程的JVM Stack容量应该在线程创建时独立地选定。JVM实现应该提供调节JVMStack初始容量的手段；如果采用动态扩展和收缩的JVM Stack方式，应该提供调节最大、最小容量的手段。如果线程请求的栈深度大于虚拟机所允许的深度将抛出StackOverflowError；如果JVMStack可以动态扩展，但是在尝试扩展时无法申请到足够的内存时抛出OutOfMemoryError，通过-Xss参数可设置栈大小。

 

本地方法栈（Native Method Stack）：

本地方法栈与虚拟机栈作用相似，后者为虚拟机执行Java方法服务，而前者为虚拟机用到的Native方法服务。虚拟机规范对于本地方法栈中方法使用的语言，使用方式和数据结构没有强制规定，甚至有的虚拟机（比如HotSpot）直接把二者合二为一。

 

程序计数器(Program Counter Register):

它是一块较小的内存空间，它的作用是记录当先线程所执行的字节码的信号指示器。每一条JVM线程都有自己的PC寄存器，各条线程之间互不影响，独立存储，这类内存区域被称为“线程私有”内存在任意时刻，一条JVM线程只会执行一个方法的代码。该方法称为该线程的当前方法（Current Method）如果该方法是java方法，那PC寄存器保存JVM正在执行的字节码指令的地址。如果该方法是native，那PC寄存器的值是undefined。此内存区域是在Java虚拟机规范中唯一没有规定OutOfMemoryError情况出现的区域。

 

直接内存（Direct Memory）：

直接内存（DirectMemory）并不是虚拟机运行时数据区的一部分，也不是Java虚拟机规范中定义的内存区域，但是这部分内存也被频繁地使用，而且也可能导致OutOfMemoryError异常出现。JDK1.4加的NIO中，ByteBuffer有个方法是allocateDirect(intcapacity) ，这是一种基于通道（Channel）与缓冲区（Buffer）的I/O方式，它可以使用Native函数库直接分配堆外内存，然后通过一个存储在Java堆里面的DirectByteBuffer对象作为这块内存的引用进行操作。这样能在一些场景中显著提高性能，因为避免了在Java堆和Native堆中来回复制数据。显然，本机直接内存的分配不会受到Java堆大小的限制，但是，既然是内存，则肯定还是会受到本机总内存（包括RAM及SWAP区或者分页文件）的大小及处理器寻址空间的限制。服务器管理员配置虚拟机参数时，一般会根据实际内存设置-Xmx等参数信息，但经常会忽略掉直接内存，使得各个内存区域的总和大于物理内存限制（包括物理上的和操作系统级的限制），从而导致动态扩展时出现OutOfMemoryError异常。

JVM栈
JVM栈是运行时的单位，而JVM堆是存储的单位。JVM栈解决程序的运行问题，即程序如何执行，或者说如何处理数据;JVM堆解决的是数据存储的问题，即数据怎么放、放在哪儿。在Java中一个线程就会相应有一个线程JVM栈与之对应，这点很容易理解，因为不同的线程执行逻辑有所不同，因此需要一个独立的线程JVM栈。而JVM堆则是所有线程共享的。JVM栈因为是运行单位，因此里面存储的信息都是跟当前线程(或程序)相关信息的。包括局部变量、程序运行状态、方法返回值等等;而JVM堆只负责存储对象信息。

为什么要把JVM堆和JVM栈区分出来呢?JVM栈中不是也可以存储数据吗?

第一，从软件设计的角度看，JVM栈代表了处理逻辑，而JVM堆代表了数据。这样分开，使得处理逻辑更为清晰。分而治之的思想。这种隔离、模块化的思想在软件设计的方方面面都有体现。

第二，JVM堆与JVM栈的分离，使得JVM堆中的内容可以被多个JVM栈共享(也可以理解为多个线程访问同一个对象)。这种共享的收益是很多的。一方面这种共享提供了一种有效的数据交互方式(如：共享内存)，另一方面，JVM堆中的共享常量和缓存可以被所有JVM栈访问，节省了空间。

第三，JVM栈因为运行时的需要，比如保存系统运行的上下文，需要进行地址段的划分。由于JVM栈只能向上增长，因此就会限制住JVM栈存储内容的能力。而JVM堆不同，JVM堆中的对象是可以根据需要动态增长的，因此JVM栈和JVM堆的拆分，使得动态增长成为可能，相应JVM栈中只需记录JVM堆中的一个地址即可。

第四，JVM堆和JVM栈的完美结合就是面向对象的一个实例。其实，面向对象方式的程序与以前结构化的程序在执行上没有任何区别。但是，面向对象的引入，使得对待问题的思考方式发生了改变，而更接近于自然方式的思考。当我们把对象拆开，你会发现，对象的属性其实就是数据，存放在JVM堆中;而对象的行为(方法)，就是运行逻辑，放在JVM栈中。我们在编写对象的时候，其实即编写了数据结构，也编写的处理数据的逻辑。不得不承认，面向对象的设计，确实很美。

JVM栈是程序运行的根本，JVM堆是为JVM栈进行数据存储的服务，简单讲JVM堆就是一块共享的内存。不过，正是因为JVM堆和JVM栈的分离的思想，才使得Java的垃圾回收成为可能。

JVM栈的组成元素——栈帧

栈帧由三部分组成：局部变量区、操作数栈、帧数据区。局部变量区和操作数栈的大小要视对应的方法而定，他们是按字长计算的。但调用一个方法时，它从类型信息中得到此方法局部变量区和操作数栈大小，并据此分配栈内存，然后压入JVM栈。

局部变量区:局部变量区被组织为以一个字长为单位、从0开始计数的数组，类型为short、byte和char的值在存入数组前要被转换成int值，而long和double在数组中占据连续的两项，在访问局部变量中的long或double时，只需取出连续两项的第一项的索引值即可,如某个long值在局部变量区中占据的索引是3、4项，取值时，指令只需取索引为3的long值即可。