JVM的组成分为整体组成部分和运行时数据区组成部分。

JVM的整体组成

JVM的整体组成可以分为4个部分：类加载器（Classloader）、运行时数据区（Runtime Data Area）、执行引擎（Execution Engine）和本地库接口（Native Interface）。

程序在执行之前，先要把Java代码编译成字节码（.class文件），JVM首先需要把字节码通过类加载器把文件加载到内存中的运行时数据区中。因为字节码文件是JVM的一套指令集规范，并不能直接交给底层操作系统去执行，因此需要执行引擎将字节码翻译成底层系统指令再交由CPU去执行，而这个过程中需要调用本地库接口来实现整个程序的功能。

我们通常所说的JVM组成指的是运行时数据区，因为通常需要程序员调试分析的区域就是运行时数据区，或者更具体地说是运行时数据区里面的堆（Heqp）模块。

JVM的运行时数据区组成

JVM的运行时数据区，不同虚拟机实现可能略微有所不同，但都会遵从Java虚拟机规范。Java8的虚拟机规范规定，Java虚拟机所管理的内存将会包括以下几个运行时数据区域：程序计数器（Program Counter Register）、Java虚拟机栈（Java Virtual Machine Stacks）、本地方法栈（Native Method Stack）、Java堆（Java Heap）和方法区（Method Area）。

程序计数器（Program Counter Register）

程序计数器是一块较小的内存空间，它可以看作是当前线程所执行的字节码的行号指示器。在虚拟机的概念模型里，字节码解析器的工作是通过改变这个计数器的值来选取下一条需要执行的字节码指令，比如分支、循环、跳转、异常处理、线程恢复等基础功能都需要依赖这个计数器来完成。

程序计数器的特性是内存私有。由于JVM的多线程是通过线程轮流切换并分配处理器执行时间的方式来实现的，也就是说在任何时刻，一个处理器（或者说一个内核）都只会执行一条线程中的指令。为了线程切换后额能够恢复到正确的执行位置，每个线程都有独立的程序计数器。

程序计数器是没有异常规定的。如果线程正在执行Java中的方法，程序计数器记录的就是正在执行虚拟机字节码指令的地址，但如果是Naive方法，这个计数器就为空（undefined）。因此该内存区域是唯一一个在Java虚拟机规范中没有规定OutOfMemoryError的区域。

Java虚拟机栈（Java Virtual Machine Stacks）

Java虚拟机栈描述的是Java方法执行的内存模型，每个方法在执行的同时都会创建一个线帧（Stack Frame）用来存储局部变量表、操作数栈、动态链接、方法出口等信息，每个方法从调用直至执行完成的过程，都对应着一个线帧在虚拟机栈中入栈到出栈的过程。

Java虚拟机栈的特性是内存私有，生命周期和线程相同。

Java虚拟机栈的异常规定是StackOverflowError和OutOfMemeoryError。如果线程请求的栈深度大于虚拟机所允许的栈深度，就会抛出StackOverflowError异常；如果虚拟机是可以动态扩展的，当扩展时无法申请到足够的内存就会抛出OutOfMemoryError异常。

本地方法栈（Native Method Stack）

本地方法栈与虚拟机栈的作用是一样的，只不过虚拟机栈是服务于Java方法的，而本地方法栈是虚拟机调用Native方法服务的。在Java虚拟机规范中对于本地方法栈没有特殊的要求，虚拟机可以自由实现它，因此在Sun HotSpot虚拟机实现中直接把本地方法栈和虚拟机栈合二为一了。

本地方法栈的特性和异常规定和Java虚拟机栈相同。

Java堆（Java Heap）

Java堆是Java虚拟机中内存最大的一块，是被所有线程共享的，在虚拟机启动时创建。Java堆唯一的目的就是存放对象实例，几乎所有的对象实例都在这里分配内存，随着JIT编译器的发展和逃逸分析技术的逐渐成熟，栈上分配、标量替换优化的技术将会导致一些微妙的变化，所有的对象都分配在堆上渐渐变得不那么绝对了。

Java堆的特性是内存共享，即所有线程共享Java堆的内存。

Java堆的异常规定是OutOfMemoryError。如果在堆中没有内存完成实例分配，并且堆不可以再扩展时，将会抛出OutOfMemoryError。

方法区（Method Area）

方法区用于存储已被虚拟机加载的类信息、常量、静态变量、即时编译后的代码等数据。

很多人把方法区称为永生代，实际上是错误的，本质上两者并不等价。会产生这样的理解误区只是因为HotSpot虚拟机垃圾回收器团队把GC分代收集扩展到了方法区，或者说是用永生代来实现方法区而已，这样做是为了省去专门为方法区编写内存管理的代码。但是再JDK8中也移除了永生代的概念，使用Native Memory来实现方法区。

方法区的特性是内存共享。

方法区的异常规定是OutOfMemoryError。当方法无法满足内存分配需求的时候会抛出OutOfMemoryError异常。

JVM的其它内存分配知识

运行时常量池

运行时常量池是方法区的一部分，Class文件中除了有类的版本、字段、方法、接口等描述信息外，还有一项信息是常量池（Constant Pool Table），是用来存放编译器生成的各种字面量和符号引用的。这部分在类加载后进入方法区的运行时常量池中，如String的intern()方法。

直接内存（Direct Memory）

直接内存并不是虚拟机运行时数据区的一部分，但是这部分内存也会被频繁使用，而且可能会导致OutOfMemoryError。在JDK1.4中新加入了一个NIO类，引入了一种基于Channel与缓冲区Buffer的IO方式，它通过一个存储在Java堆中的DirectByteBuffer对象作为这块内存的引用操作，它因此更高效，它避免了Java堆和Native堆来回交换数据的时间。

要注意的是，直接内存的分配虽然不会受到Java堆大小的限制，但是会受到本机总内存大小的限制。在设置虚拟机参数的时候，不能忽略直接内存，如果把实际内存设置为-Xmx，使得内存区域的总和大于物理内存的限制，会导致动态扩展时出现OutOfMemoryError异常。

总结

程序计数器、虚拟机栈和本地方法都是私有内存，会随着线程而生，随着线程而灭，通常情况下开发人员不需要关心，Java虚拟机也没有开放让你关系的权力。而Java堆作为最大的内存区域，则是开发人员需要重点关心的内存区域。还有方法区和运行时常量区与永生代的关系也是开发人员该侧重关心的重点。

"你在哪里呢，做着什么事情，是怎样的心情。如果可以，你愿意和我说说嘛。"