Java内存模型（JMM）

Java内存模型（JMM）

一、概述

Java内存模型是一种规范，抽象，它定义了JVM在运行时是如何对内存进行划分和使用使用的。故而这里所说的JMM其实就是JVM运行时数据区。可以理解JMM和JVM运行时数据区的关系就类似于MVC和SSM的关系。

1、JMM定义的内存模型如下：

2、JVM运行时数据区如下：

2.1 程序计数器

  程序计数器（Program Counter Register）是一块较小的内存空间，它可以看做是当前线程所执行的字节码的行号指示器。在虚拟机的概念模型里（仅是概念模型，各种虚拟机可能会通过一些搞笑的方式去实现），字节码解释器工作时就是通过改变这个计数器的值来选取下一条需要执行的字节码指令，分支、循环、跳转、异常处理、线程恢复等基础功能都需要依赖这个计数器来完成。
  如果线程正在执行的是一个Java方法，这个计数器记录的是正在执行的虚拟机字节码指令地址；如果正在执行的Native方法，这个计数器值则为空（Undefined）。次内存区域是唯一一个在Jva虚拟机规范中没有规定任何OutOfMemoryError情况的区域。

2.2 Java虚拟机栈

  与程序计数器一样，Java虚拟机栈（Java Virtual Machine Stack）也是线程私有的，它的声明周期与线程想通。虚拟机栈描述的是Java方法执行的内存模型：每个方法在执行的同时会创建一个栈帧（stack frame）拥有存储局部变量表、操作数栈、动态链接、方法出口等信息。没一个犯法从调用直至执行完成的过程，就对应一个栈帧在虚拟机栈中的入栈到出栈的过程。
  在Java虚拟机规范中，对这个区域规定了两种异常状况：如果线程请求的栈深度大于虚拟机所允许的深度，将抛出StackOverFlowError异常；如果虚拟机栈可以动态扩展，在扩展时无法申请到足够内存，就会抛出OutOfMemoryError异常。

2.3 本地方法栈

  本地方法栈（Native Method Stack）与虚拟机栈类似，只不过本地方法栈作用于Native方法。

2.4 Java堆

  Java堆（Java Heap）是虚拟机所管理的内存中最大的一块。Java堆是被所有线程共享的一块内存区域，在虚拟机启动时创建。此区域的唯一目的是存放对象实例。Java堆可以细分为：新生代和老年代。再细致点：Eden空间、From Survivor空间、To Susvivor空间等。

2.5 方法区

  方法区（Method Area）也是线程共享的内存区域，用于存储已被虚拟机加载的类信息、常量、静态常变量、即时编译器后的代码等数据。方法区也被很多人称为“永久代。”

3、运行时常量池

4、直接内存

• 以上信息部分摘自《深入理解java虚拟机-周志明》，建议直接阅读第二章内容。

二、对象创建及在内存中的分布

1、对象创建

  Java虚拟机在执行通过类加载检查后，将会为新生对象分配内存。对象所需内存的大小在类加载完成后便已确定。JVM创建对象有两种方式，分别是“指针碰撞”和“控件列表”。

1.1 指针碰撞

  “指针碰撞（Bump the Pointer）”是假设Java堆中的内存是绝对规整的，所有用过的内存放一边，空闲的内存放一边，，中间放一个指针作为分界点的距离。

1.2 空闲列表

  “空闲列表（Free List）”指的是内存并不是规整的，已使用的和空闲的内存相互交错，无法进行指针碰撞，JVM必须维护一个列表，记录哪些内存可用，在分配的时候在列中找到空闲内存记录分配给对象并更新记录。
  Java对是否规整，通常由所采用的垃圾收集器是否带有压缩整理功能决定，因此，想Serial、ParNew这类带Compact过程的收集器，就采用的是指针碰撞，而CMS这种带Mark-Sweep算法的收集器，通常采用空闲列表。

2、内存中分布

一个对象在内存中的存储分为三个部分：对象头、实例数据、对齐数据

2.1 对象头

对象头一般包含两部分数据，一部分是用于存储对象自身的运行时数据（HashCode、GC分代年龄、锁状态、线程持有的锁等）；另一部分是类型指针，即对象指向它的类元数据的指针，虚拟机通过这个指针来确定对象属于哪个类。如下图所示：

2.2 实例数据

实例数据存储的是对象的真正有效信息，如类中定义的各种字段、变量等。

2.3 对齐填充

这部分并不是必然存在的，它只是起到占位符的作用。由于HotSpot VM的自动内存管理系统要求对象其实地址必须是8字节的整数倍，换句话说，就是对象的大小必须是8字节的整数倍。而对象头部分正好是8字节的整数倍（1倍或2倍），因此，当对象实例数据部分没有对齐时，就需要通过对齐填充进行补全。

三、模拟内存溢出的各种情况

1、堆溢出

2、栈溢出

3、方法区溢出

4、运行时常量溢出

PS：JMM模型与硬件架构模型之间关系可参考：
http://tutorials.jenkov.com/java-concurrency/java-memory-model.html