Java内存区域(JVM)与Java内存模型(JMM)

引子

Java内存区域(JVM)中的堆、栈、方法区与Java内存模型(JMM)的主内存、工作内存并不是同一个层次的对内存的划分，这两者基本上是没有任何关系的。如果两者一定要勉强对应起来，那么从变量、主内存、工作内存的定义来看，主内存主要对应于Java堆中的对象实例数据部分，而工作内存则对应于虚拟机栈中的部分区域。从更基础的层次上说，主内存直接对应于物理硬件的内存，而为了获取更好的运行速度，虚拟机（或者是硬件、操作系统本身的优化措施）可能会让工作内存优先存储于寄存器和高速缓存中，因为程序运行时主要访问的是工作内存。

1.JAVA内存区域（JVM）

常说的Java内存区域其实是Java虚拟机在执行Java程序的过程中会把它所管理的内存划分为若干个不同的数据区域。这些区域有各自的用途，以及创建和销毁的时间，有的区域随着虚拟机进程的启动而一直存在，有些区域则是依赖用户线程的启动和结束而建立和销毁。根据《Java虚拟机规范》的规定，Java虚拟机所管理的内存将会包括以下几个运行时数据区域：

JDK1.8和之前的版本略有不同，Jdk1.8之前为：

Jdk1.8之后为：
取消了方法区，在直接内存中增加了元空间

1.1 程序计数器

程序计数器（Program Counter Register）是一块较小的内存空间，它可以看作是当前线程所执行的 字节码的行号指示器。它是程序控制流的指示器，分支、循环、跳转、异常处理、线程恢复等基础功能都需要依赖这个计数器来完成。为了线程切换后能恢复到正确的执行位置，每条线程都需要有一个独立的程序计数器，各条线程之间计数器互不影响，独立存储，我们称这类内存区域为“线程私有”的内存。程序计数器是内存区域唯一一个没有任何OutOfMemoryError情况的区域

1.2 Java虚拟机栈

与程序计数器一样，Java虚拟机栈（Java Virtual Machine Stack）也是线程私有的，它的生命周期 与线程相同。虚拟机栈描述的是Java方法执行的线程内存模型：每个方法被执行的时候，Java虚拟机都会同步创建一个栈帧[1]（Stack Frame）用于存储局部变量表、操作数栈、动态连接、方法出口等信息。每一个方法被调用直至执行完毕的过程，就对应着一个栈帧在虚拟机栈中从入栈到出栈的过程。

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

1.3 本地方法栈

线程私有。和虚拟机栈所发挥的作用非常类似，区别是虚拟机栈为虚拟机执行java方法（字节码）服务，而本地方法栈是为虚拟机使用到的native方法服务。在HotSport虚拟机中和Java虚拟机合二为一。

本地方法被执行的时候，在本地方法栈也会创建一个栈帧，用于存放该本地方法的局部变量表、操作数栈、动态链接、出口信息等

在Java虚拟机规范中，对这个区域规定了两种异常StackOverFlowError和OutOfMemoryError。

1.4 Java堆

Java堆（Java Head）是Java虚拟机所管理的内存中最大的一块，java堆是所有线程共享的一块区域，在虚拟机启动时创建。此内存区域的唯一目的就是存放对象实例，几乎所有的对象实例以及数组都在这里分配内存。

Java堆是垃圾回收器管理的主要区域，因此被称之为“GC堆(Garbage Collected Heap)”。从内存回收的角度来看，由于现在收集器基本都采用分代收集器算法，所以Java堆中还何以细分为：新生代和老年代；进一步可以细分为：Eden空间，From Survivor 空间。To Survivor空间等。这样划分的目的是为了更好的回收内存或者更快的分配内存。

在JDK7版本及JDK7版本之前，堆内存从GC的角度被通常分为下面三个部分：

• 新生代内存（Young Generation）：约占整个空间的1/3
• 老生代（Old Generation）：约占整个空间的2/3
• 永久代（Permanent Generation）
  
  JDK8版本之后方法区（HotSpot的永久代）被彻底移除了，取而代之是元空间，元空间直接使用直接内存
• 一般情况下，新生代各空间初始值设置比例：Eden：from：to=8：1：1，即Eden：Survivor=8：2。配置参数为：-Xx:SurvivorRatio=8
• java堆是程序运行时动态申请某个大小的内存空间，是不连续的,逻辑上连续即可，通过-Xms与-Xmx来控制堆的大小
• 长期存活的对象将进入老年代：⼤部分情况，对象都会⾸先在 Eden 区域分配，在⼀次新⽣代垃圾回收后，如果对象还存活，则会进⼊ s0（From Survivor）或者 s1（To Survivor），并且对象的年龄还加 1(Eden 区->Survivor区后对象的初始年龄变为 1)，当它的年龄增加到⼀定程度（默认为 15岁），就会被晋升到⽼年代中。但如果在Survivor空间中相同年龄所有对象大小的综合大于Survivor空间的一半，年龄大于会等于该年龄的对象就可以直接进入老年代。对象晋升到老年代的年龄阈值，可以通过参数-XX:MaxTenuringThreshold 来设置
• 大对象直接进入老年代，所谓的大对象是指需要大量连续内存空间的java对象，比如：很长的字符串，数组等（写代码时尽量避免短命的大对象，因为经常出现大对象容易导致内存还有不少空间时就提前触发垃圾收集动作）
• 新生代只会进行MinorGc，老年代进行MajorGC。当发生MajorGC时，也会触发新生代MinorGC；FullGC清理整个堆空间，一般是JVM触发，不会人为进行。由于老年代空间比较大，MajorGC比较耗时，尽量减少发生MajorGC
• 一般对象在堆内存分配流程：
  
  堆这⾥最容易出现的就是 OutOfMemoryError 错误，并且出现这种错误之后的表现形式还会有⼏
  种，⽐如：
• OutOfMemoryError: GC Overhead Limit Exceeded:当JVM花太多时间执⾏垃圾回收并且只能回收很少的堆空间时，就会发⽣此错误。
• java.lang.OutOfMemoryError:Java heap space :假如在创建新的对象时, 堆内存中的空间不⾜以存放新创建的对象,就会引发java.lang.OutOfMemoryError: Java heap space错误。(和本机物理内存⽆关，和你配置的内存⼤⼩有关！)

1.5 方法区

方法区与java堆一样，是各个线程共享的内存区域，它用于存储已被虚拟机加载的类信息、常量、静态变量、即时编译器编译后的代码等数据。虽然Java虚拟机规范把方法区描述为堆的一个逻辑部分，但是它却有一个别名叫做非堆(Non-Heap)，目的是与Java堆区分开来。HotSpot虚拟机把GC分代收集扩展至方法区，即使用Java堆的永久代来实现方法区，这样HotSpot的垃圾收集器就可以像管理Java堆一样管理这部分内存，而不必为方法区开发专门的内存管理器

方法区也被叫做永久代。在《Java虚拟机规范》中只规范了有方法区这个概念和它的作用，并没有规定如何去实现它。那么在不同的JVM上方法区的实现是不相同的。**方法区和永久代的关系很像Java中的接口和类，类实现了接口，而永久代就是HotSpot虚拟机对虚拟机规范中方法区的一种实现方式。**也就是说，永久代是HotSpot的概念，方法区是Java虚拟机规范中的定义，是一种规范，而永久代是一种实现，一个是标准一个是实现，其他的虚拟机实现并没有永久代这个说法

1.6 运行时常量池

运行时常量池（Runtime Constant Pool）是方法区的一部分。Class文件中除了有类的版本、字段、方法、接口等描述信息外，还有一项信息是常量池（Constant Pool table），用于存放编译期生成的各种字面量和符号应用，这部分内容将在类加载后存放到方法区的运行时常量池中。Java虚拟机堆class文件的每一部分（自然也包括常量池）的格式都有严格的规定，每一个字节用于存储哪种数据都必须符合规范的要求，这样才会被虚拟机认可、装载和执行。

运行常量池即为方法区的一部分，自然也受到方法区的内存的限制，当常量池无法申请到内存时会抛出OutOfMemoryError异常。

1.7 直接内存

直接内存并不是虚拟机运行数据区的一部分，也不是java虚拟机规范中定义的内存区域。但是这部分频繁使用也会导致OutOfMemoryError异常出现。

JDK1.4 中新加⼊的 NIO(New Input/Output) 类，引⼊了⼀种基于通道（Channel） 与缓存区（Buffer） 的 I/O ⽅式，它可以直接使⽤ Native 函数库直接分配堆外内存，然后通过⼀个存储在 Java 堆中的 DirectByteBuffer 对象作为这块内存的引⽤进⾏操作。这样就能在⼀些场景中显著提⾼性能，因为避免了在 Java 堆和 Native 堆之间来回复制数据。本机直接内存的分配不会受到 Java 堆的限制，但是，既然是内存就会受到本机总内存⼤⼩以及处理器寻址空间的限制。

1.8 Java 8 元空间

在 Java8 中，永久代已经被移除，被一个称为“元数据区”（元空间）的区域所取代。元空间的本质和永久代类似，元空间与永久代之间最大的区别在于：元空间并不在虚拟机中，而是使用本地内存。因此，默认情况下，元空间的大小仅受本地内存限制。类的元数据放入 native memory, 字符串池和类的静态变量放入 java 堆中，这样可以加载多少类的元数据就不再由MaxPermSize 控制, 而由系统的实际可用空间来控制。

2.Java内存模型（JMM）

Java内存模型（Java Memory Model，JMM）被设计的意图是用来屏蔽各种硬件和操作系统的内存访问差异，以实现让java程序在各种平台下都能达到一致的内存访问效果。定义Java内存模型并非一件容易的事情，这个模型必须定义的足够严谨，才能让Java的并发内存访问操作不会产生歧义；但是也必须定义得足够宽松，使得虚拟机的实现能有足够的自由空间去利用硬件的各种特效（寄存器、高速缓存和指令集中某些特有的指令）来获得更好的执行速度。

2.1 主内存与工作内存

Java内存模型的主要目的是定义程序中各种变量的访问规则，即关注在虚拟机中把变量值存储到内存和从内存中取出变量值这样的底层细节。为了获得更好的执行效能，Java内存模型并没有限制执行引擎使用处理器的特定寄存器或缓存来和主内存进行交互，也没有限制即时编译器是否要进行调整代码执行顺序这类优化措施。

Java内存模型规定了所有的变量都存储在主内存（Main Memory）中。每条线程还有自己的工作内存，线程的工作内存中保存了被该线程使用的变量的主内存副本，线程对变量的所有操作（读取、赋值等）都必须在工作内存中进行，而不能直接读写主内存中的数据。不同线程之间也无法直接访问对方工作内存中的变量，线程间变量值得传递均需要通过主内存来完成。

2.2 内存间交互操作

Java内存模型中定义了主内存与工作内存之间的具体交互协议，即一个变量如何从主内存拷贝到工作内存、如何从工作内存同步回主内存这一类的实现细节。Java虚拟机实现时必须保证下面提及的每一种操作都是原子的、不可再分的（对于double和long类型的变量来说，load、store、read和write操作在某些平台上允许有例外）。下面是Java内存模型定义的8种操作：

• lock（锁定）：作用于主内存的变量，它把一个变量标识为一条线程独占的状态。
• unlock（解锁）：作用于主内存的变量，它把一个处于锁定状态的变量释放出来，释放后的变量才可以被其他线程锁定。
• read（读取）：作用于主内存的变量，它把一个变量的值从主内存传输到线程的工作内存中，以便随后的load动作使用。
• load（载入）：作用于工作内存的变量，它把read操作从主内存中得到的变量值放入工作内存的变量副本中。
• use（使用）：作用于工作内存的变量，它把工作内存中一个变量的值传递给执行引擎，每当虚拟机遇到一个需要使用变量的值的字节码指令时将会执行这个操作。
• assign（赋值）：作用于工作内存的变量，它把一个从执行引擎接收的值赋给工作内存的变量，每当虚拟机遇到一个给变量赋值的字节码指令时执行这个操作。
• store（存储）：作用于工作内存的变量，它把工作内存中一个变量的值传送到主内存中，以便随后的write操作使用。
• write（写入）：作用于主内存的变量，它把store操作从工作内存中得到的变量的值放入主内存的变量中。

如果要把一个变量从主内存拷贝到工作内存，那就要按顺序执行read和load操作，如果要把变量从 工作内存同步回主内存，就要按顺序执行store和write操作。注意，Java内存模型只要求上述两个操作必须按顺序执行，但不要求是连续执行。也就是说read与load之间、store与write之间是可插入其他指令的，除此之外，Java内存模型还规定了在执行上述8种基本操作时必须满足如下规则：

• 不允许read和load、store和write操作之一单独出现，即不允许一个变量从主内存读取了但工作内存不接受，或者工作内存发起回写了但主内存不接受的情况出现。
• 不允许一个线程丢弃它最近的assign操作，即变量在工作内存中改变了之后必须把该变化同步回主内存。
• 不允许一个线程无原因地（没有发生过任何assign操作）把数据从线程的工作内存同步回主内存中。·一个新的变量只能在主内存中“诞生”，不允许在工作内存中直接使用一个未被初始化（load或assign）的变量，换句话说就是对一个变量实施use、store操作之前，必须先执行assign和load操作。
• 一个变量在同一个时刻只允许一条线程对其进行lock操作，但lock操作可以被同一条线程重复执 行多次，多次执行lock后，只有执行相同次数的unlock操作，变量才会被解锁。
• 如果对一个变量执行lock操作，那将会清空工作内存中此变量的值，在执行引擎使用这个变量 前，需要重新执行load或assign操作以初始化变量的值。
• 如果一个变量事先没有被lock操作锁定，那就不允许对它执行unlock操作，也不允许去unlock一个被其他线程锁定的变量。
• 对一个变量执行unlock操作之前，必须先把此变量同步回主内存中（执行store、write操作）。

上面描述的对内存访问操作规则限定是相当严谨但是又极为繁琐，实践起来更是无比麻烦。一般的开发人员只用关注read、write、lock和unlock四种即可。

2.3 对于volatile型变量的特殊性规则

当一个变量被volatile修饰之后，它将具备两项特效：

• 保证此变量对所有线程的可见性：当一条线程修改了这个变量的值，新值对于其他线程来说是可以立即得知的。
• 禁止指令重排序优化

2.4 针对long和double型变量的特殊规则

Java内存模型要求lock、unlock、read、load、assign、use、store、write这八种操作都具有原子性，但是对于64位的数据类型（long和double），在模型中特别定义了一条宽松的规定：允许虚拟机将没有被volatile修饰的64位数据的读写操作划分为两次32位的操作来进行，即允许虚拟机实现自行选择是否要保证64位数据类型的load、store、read和write这四个操作的原子性，这就是所谓的“long和double的非原子性协定”（Non-Atomic Treatment of double and long Variables）。

2.5 原子性、可见性与有序性

1. 原子性（Atomicity） ：由Java内存模型来直接保证的原子性变量操作包括read、load、assign、use、store和write这六个，lock与unlock可以提供更大范围的原子性保证
2. 可见性（Visibility）：可见性就是指当一个线程修改了共享变量的值时，其他线程能够立即得知这个修改。
3. 有序性（Ordering） ：如果在本线程内观察，所有的操作都是有序的；如果在一个线程中观察另一个线程， 所有的操作都是无序的。Java语言提供了volatile和synchronized两个关键字来保证线程之间操作的有序性

2.6 先行发生原则

先行发生（Happens-Before）是判断数据是否存在竞争，线程是否安全的非常有用的手段。在是Java内存模型中先行发生 定义了两项操作之间的偏序关系，比如说操作A先行发生于操作B，其实就是说在发生操作B之前，操作A产生的影响能被操作B观察到，“影响”包括修改了内存中共享变量的值、发送了消息、调用了方法等

下面是Java内存模型下一些“天然的”先行发生关系，可以在编码中直接使用：

• 程序次序规则（Program Order Rule）：在一个线程内，按照控制流顺序，书写在前面的操作先行发生于书写在后面的操作。注意，这里说的是控制流顺序而不是程序代码顺序，因为要考虑分支、循环等结构。

• 管程锁定规则（Monitor Lock Rule）：一个unlock操作先行发生于后面对同一个锁的lock操作。这里必须强调的是“同一个锁”，而“后面”是指时间上的先后。

• volatile变量规则（Volatile Variable Rule）：对一个volatile变量的写操作先行发生于后面对这个变量的读操作，这里的“后面”同样是指时间上的先后。·线程启动规则（Thread Start Rule）：Thread对象的start()方法先行发生于此线程的每一个动作。

• 线程终止规则（Thread Termination Rule）：线程中的所有操作都先行发生于对此线程的终止检测，我们可以通过Thread::join()方法是否结束、Thread::isAlive()的返回值等手段检测线程是否已经终止执行。

• 线程中断规则（Thread Interruption Rule）：对线程interrupt()方法的调用先行发生于被中断线程的代码检测到中断事件的发生，可以通过Thread::interrupted()方法检测到是否有中断发生。

• 对象终结规则（Finalizer Rule）：一个对象的初始化完成（构造函数执行结束）先行发生于它的finalize()方法的开始。

• 传递性（Transitivity）：如果操作A先行发生于操作B，操作B先行发生于操作C，那就可以得出 操作A先行发生于操作C的结论。