深入理解java虚拟机01--jvm内存结构

jvm主要三个子系统：类加载子系统，运行时数据区（jvm内存结构），执行引擎。（为避免开始就枯燥乏味，第一节先从内存结构开始）

jvm内存结构图：

                                             

其中，java栈，本地方法栈，程序计数器属于线程私有部分，方法区和堆为线程共享部分。

接下来我们挨个来解释：

一、java栈：Java线程执行方法的内存模型，一个线程对应一个栈，每个方法在执行的同时都会创建一个栈帧（用于存储局部变量表，操作数栈，动态链接，方法出口等信息）不存在垃圾回收问题，只要线程一结束该栈就释放，生命周期和线程一致。

                                             

01.1、局部变量：局部变量表是一组变量值存储空间，用于存放方法参数和方法内部定义的局部变量。

01.2、操作数栈：简单理解，就是具体执行字节码指令的地方。在方法执行的过程中，会有各种字节码指向操作数栈中写入(压栈)和提取值（出栈）。

01.3、动态链接：每个栈帧都包含一个指向运行时常量池中该栈帧所属方法的引用（符号引用），持有这个引用是为了支持方法调用过程中的动态连接(符号引用-->直接引用)

符号引用-->直接引用的过程在HotSpot具体实现颇为复杂，我们可以思考一下为什么要这么一步呢？

    因为编译器并不知道分配内存后某个变量具体内存位置，所以编译时使用一个符号代替，分配内存后该变量所在的内存位置就等于这个符号，解析阶段找到这个符号对应的内存位置然后指向她，这就是符号引用转化为直接引用。

01.4、方法出口：分为正常完成出口和异常完成出口(一个方法使用异常完成出口的方式退出，是不会给它的调用都产生任何返回值的)。这个很好理解，关键理解下面：

    无论采用何种方式退出，在方法退出之前，都需要返回到方法被调用的位置，程序才能继续执行，方法返回时可能需要在栈帧中保存一些信息，用来帮助恢复它的上层方法的执行状态。一般来说，方法正常退出时，调用者PC计数器的值就可以作为返回地址，栈帧中很可能会保存这个计数器值。而方法异常退出时，返回地址是要通过异常处理器来确定的，栈帧中一般不会保存这部分信息。
   方法退出的过程实际上等同于把当前栈帧出栈，因此退出时可能执行的操作有：恢复上层方法的局部变量表和操作数栈，把返回值(如果有的话)压入调用都栈帧的操作数栈中，调用PC计数器的值以指向方法调用指令后面的一条指令等。

二、堆：虚拟机启动时创建，用于存放对象实例，几乎所有的对象（包含常量池）都在堆上分配内存，当对象无法再该空间申请到内存时将抛出OutOfMemoryError异常。同时也是垃圾收集器管理的主要区域。可通过 -Xmx –Xms 参数来分别指定最大堆和最小堆

       

对象从入堆到被清理流程：jdk1.8之后，堆的内存=新生代内存大小+老年代内存大小。一般对象创建完，会在堆中分配空间进入Eden区(若对象所占内存大小大于Eden中可用内存，对象会直接进入老年代)。Eden被撑满后，会触发Minor GC，经历GC后还幸存的对象，会进入From区。新生对象继续进入Eden区，不断循环上一步过程，直到From区满了，继而再触发Minor GC，From区将对象移入To区(此时，原From成为新To区，原To成为新From区，不重要，只是个别称而已)。经过多次GC仍然存活的对象移动到老年区（默认是15次）。若老年区也满了，那么这个时候将产生MajorGC（FullGC），进行堆内存清理。若Full GC之后发现依然无法进行对象的保存，就会产生OOM异常“OutOfMemoryError”。

三、方法区：

元数据区：元数据区取代了永久代(jdk1.8以前)，本质和永久代类似，都是对JVM规范中方法区的实现，区别在于元数据区并不在虚拟机中，而是使用本地物理内存，永久代在虚拟机中，永久代逻辑结构上属于堆，但是物理上不属于堆，堆大小=新生代+老年代。元数据区也有可能发生OutOfMemory异常。

四、程序计数器：

每个线程启动的时候，都会创建一个PC（Program Counter，程序计数器）寄存器。PC寄存器里保存有当前正在执行的JVM指令的地址。 每一个线程都有它自己的PC寄存器，也是该线程启动时创建的。保存下一条将要执行的指令地址的寄存器是 ：PC寄存器。PC寄存器的内容总是指向下一条将被执行指令的地址，这里的地址可以是一个本地指针，也可以是在方法区中相对应于该方法起始指令的偏移量。

5、本地方法栈：

保存native方法进入区域的地址。（由于native方法底层实现是：C和C++实现，所以单独存在一套内存模型，模型参照java栈）。