学习笔记 | 深刻理解Java内存模型

Java内存模型

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

程序计数器

程序计数器（Program Counter Register）是一块很是小的内存空间，它的做用能够看做是当前线程所执行的字节码的行号指示器。每一个线程都有一个独立的程序计数器，所以程序计数器是线程私有的一块空间。此外，程序计数器是 Java 虚拟机规定的惟一不会发生内存溢出的区域。

在虚拟机的概念模型里，字节码解释器工做时就是经过改变这个计数器的值来选取下一条须要执行的字节码指令，分支、循环、跳转、异常处理、线程恢复等都须要依赖这个计数器来完成。

方法区

方法区（Method Area）是一个线程共享的区域，主要用于存储虚拟机加载的类信息、常量（final）、静态变量（static），JIT（即时编译器）编译后的代码等数据。

在 JDK1.7 及其以前，方法区是堆的一个“逻辑部分”（一片连续的堆空间），但为了与堆作区分，方法区还有一个名字叫“非堆”，也有人用“永久代”（HotSpot 对方法区的实现方法）来表示方法区。

当方法区没法知足内存分配需求时，将抛出OutOfMemoryError异常。

从 JDK1.8 开始，已经不存在永久代，替代它的一块空间叫作元空间。

去永久代的缘由：

1. 字符串存在永久代中，容易出现性能问题和内存溢出；

2. 类及方法的信息等比较难肯定其大小，所以对于永久代的大小指定比较困难，过小容易出现永久代溢出，太大则容易致使老年代溢出；

3. 永久代会为 GC 带来没必要要的复杂度，而且回收效率偏低。

运行时常量池

Class 文件中除了有类的版本、字段、方法、接口等描述信息外，还有一项信息是常量池（Constant Pool Table），用于存储编译期生成的各类字面量和符号引用，这部份内容将在类加载后存放到方法区的运行时常量池中。

当常量池没法再申请到内存时会抛出OutOfMemoryError异常。

虚拟机栈

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

局部变量表存放了编译期可知的各类基本数据类型（boolean、byte、char、short、int、float、long、double）、对象应用（reference 类型，它不等同于对象自己，根据不一样的虚拟机实现，它多是一个执行对象起始地址的引用指针，也可能指向一个表明对象的句柄或者其余与此对象相关的位置）和 returnAddress 类型（指向了一条字节码指令的地址）。

若是线程请求的栈深度大于虚拟机所容许的深度，将抛出 StackOverflowError 异常；若是虚拟机栈能够动态扩展，当扩展时没法申请到足够的内存时会抛出 OutOfMemoryError 异常。

本地方法栈

本地方法栈与虚拟机栈的区别是，虚拟机栈执行的是 Java 方法，本地方法栈执行的是本地方法（Native Method），其余基本上一致，在 HotSpot 中直接把本地方法栈和虚拟机栈合二为一。本地方法栈区域会抛出StackOverflowError和OutOfMemoryError异常。

堆内存

堆内存主要用于存放对象和数组，它是 JVM 的内存中最大的一块区域，堆内存和方法区都被全部线程共享，在虚拟机启动的时候建立。在垃圾收集的层面来看，因为如今收集器基本都采用分代收集算法，堆内存空间还分为新生代（Young Generation）和老年代（Old Generation），新生代分为 Eden 区、From Survivor 区、To Survivor 区。

新生代

是用来存放新生的对象。通常占据堆的 1/3 空间。因为频繁建立对象，因此新生代会频繁触发 MinorGC 进行垃圾回收。新生代又分为 Eden 、From Survivor 、To Survivor 三个区。

• Eden 区：Java 新对象的出生地（若是新建立的对象占用内存很大，则直接分配到老年代）。当 Eden 区内存不够的时候就会触发 MinorGC，对新生代区进行一次垃圾回收。

• From Survivor：上一次 GC 的幸存者，做为这一次 GC 的被扫描者

• To Survivor：保留了一次 MinorGC 过程当中的幸存者。

JVM 每次只会使用 Eden 和其中一块 Survivor 区域来为对象服务，因此不管何时，老是有一块 Survivor 区域是空闲的。新生代实际可用的内存空间为 9/10（即 90%）的新生代空间。

老年代

主要存放应用程序中生命周期长的内存对象。老年代的对象比较稳定，因此 MajorGC 不会频繁执行。在进行 MajorGC 前通常都先进行了一次 MinorGC，使得有新生代的对象进入老年代，致使空间不够用才触发。当没法找到足够大的连续空间分配给新建立的较大对象时也会提早触发一次 MajorGC 进行垃圾回收以腾出空间。

MajorGC 采用标记清除算法：首先扫描一次全部老年代，标记出存活的对象，而后回收没有标记的对象。MajorGC 的耗时比较长，由于要扫描再回收。 MajorGC 会产生内存碎片，为了减小内存损耗，通常须要进行合并或者标记出来方便下次直接分配。当老年代也满了装不下的时候，就会抛出 OOM （Out Of Memory）异常。

元空间

从 JDK1.8 开始，已经不存在永久代，替代它的一块空间叫作“元空间”，和永久代相似，都是 JVM 非法对方法区的实现，可是元空间并不在虚拟机中，而是使用本地内存，元空间的大小仅受本地内存限制。元空间的大小能够经过 -XX:MetaspaceSize 和 -XX:MaxMetaspaceSize来指定。

关注得到更多分享

---

好文推荐：

• Spark Streaming读取Kafka数据两种方式

• Spark任务调度

• 初识Spark执行过程 | Spark快速入门

• Spark快速入门-RDD操做手册

• Spark快速入门-RDD

• Hive性能优化小结