那些年，我们一起嫌弃过的Java内存模型(JMM)

上学时期，Java学起来非常枯燥，什么JVM规范，Java语言规范，JMM(Java Memory Model)等之类的东西，不过掌握好这些，考试能考个好成绩。工作后，感觉离JVM、JMM等渐行渐远，而随着工作年限的增加，感觉离JVM、JMM等越来越近，今天，就来谈一谈那些年，我们一起嫌弃过的Java内存模型(JMM)。

  首先是JVM(Java虚拟机)，在执行Java程序的过程中，会把它所管理的内存划分为若干个不同的区域。这些区域都有各自的用途，以及创建和销毁的时间，有的区域随着虚拟机的启动而存在，有些区域则是依赖用户线程的启动和结束而建立和销毁。先看一张大概JVM虚拟机运行时数据区的图：

其中运行时数据区域的划分，也就构成了Java的内存模型：

下面就一一介绍这些个区域的概念

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

  如果线程正在执行的是一个Java方法，这个计数器记录的是正在执行的虚拟机字节码指令的地址；如果正在执行的是Native方法，这个计数器的值则为空。此内存区域是唯一一个在Java虚拟机规范中没有规定任何OutOfMemoryError情况的区域。

2、Java虚拟机栈(JVM Stacks)：也是线程私有的，它的生命周期和线程相同。虚拟机栈描述的是Java方法执行的内存模型：每个方法执行的时候都会创建一个栈帧用于存储局部变量表、操作栈、动态链接、方法出口等信息，每一个方法被调用直至执行完毕，就对应着一个栈帧在虚拟机栈中从入栈到出栈的过程。

  在Java虚拟机规范中，如果线程请求的栈深度大于虚拟机所允许的深度，将跑出StackOverflowError的异常；当前大部分虚拟机可以动态扩展，如果虚拟机栈动态扩展时无法申请到足够的内存时，将会抛出OutOfMemoryError异常。

3、本地方法栈：与虚拟机栈所发挥的作用是非常相似的，只不过虚拟机栈为虚拟机执行Java方法来服务，而本地方法栈则为虚拟机使用到的Native方法服务，该内存区域也会抛出StackOverflowError异常和OutOfMemoryError异常。

4、Java堆(Java Heap)：是Java虚拟机所管理内存中最大的一块。Java堆是被所有线程共享的一块内存区域，在虚拟机启动时创建，此内存区域的唯一目的就是存放对象实例，几乎所有的对象实例都在这里分配内存。

  为什么要用“几乎”呢？原本Java虚拟机规范中说：所有的对象实例都在这里分配。但是随着JIT编译器的发展和逃逸分析技术的成熟，栈上分配、标量替换优化技术将会导致一些微妙的变化发生，所有的对象都分配到堆上也不是那么绝对了。

Java堆是垃圾收集器管理的主要区域，由于现在收集器基本都是采用分代收集算法，所以Java堆还可以细分为：新生代和老年代，新生代还分为Eden空间和两个Survivor空间，每个空间都有自己的使命，这里就不多介绍了。Java堆可以处于物理上不连续的内存空间中，只要逻辑上是连续的就行，如果在堆中已经没有足够的内存完成实例分配，并且堆也无法再扩展时，将会抛出OutOfMemoryError异常。Java堆的大小可以通过-Xms设置初始化大小，-Xmx设置可扩展最大的Java堆大小。

5、方法区：也是线程共享的一块内存区域，用于存储已被虚拟机加载的类信息、常量、静态变量、即时编译器编译后的代码等数据，也称为永久代的区域。它的大小可以通过-XX:PermSize和-XX:MaxPermSize进行设置。

  运行时常量池是方法区的一部分，Class文件除了有类的版本、字段、方法、接口等描述信息外，还有一项信息时常量池，用于存放编译器生成的各种字面量和符号引用，这部分内容将在类加载后存放的方法区的运行时常量池中。当常量池无法再申请到内存时将会抛出OutOfMemoryError异常。

虚拟机运行起来，这行内存区域的使用情况都是可以被JDK中自带的监控工具(jconsole、jvisualvm)所监控的，如下图：

  敲代码犹如生产经营，而精通JVM、JMM就像高效管理，经营与管理完美结合，才能玩转高司令赐予我们的Java语言！