JVM：内存模型

内存模型

图片转自博客。

虚拟机栈

首先从虚拟机栈开始，当我们创建一个新的线程，JVM就会新建一个虚拟机栈，因此虚拟机栈是线程隔离的。
虚拟机栈每一层就是一层的方法调用，包含局部变量表、操作数栈、动态连接、方法出口等。
当我们在方法中创建引用时，引用就会存储在局部变量表中，创建对象时，对象会创建在堆中，引用会指向堆中的对象。

堆

上一节说了，堆用于存储对象实例。

图片转自博客。
堆分为新生代，老年代，新生代又分为Eden区，survivo区，这样设计是为了垃圾回收。
GC算法有三种基本算法：
标记-清除算法：标记所有可达的对象（从虚拟机栈的局部变量表、方法区中的静态变量（常量）、本地方法栈等可以引用到），剩下的不可达的进行清除。这样会留下很多细小碎片无法使用。
移动算法：同样首先标记所有可达的对象，然后将它们挨着移动到堆首，将剩余空间清除，这样不会产生碎片。
拷贝算法：将标记好的对象移动到另一块空间，然后将原空间整个清除，这样清除速度会快些，但需要额外空间。
在新生代，大部分对象很快就会不可达，为了保证效率，采用拷贝算法，初始新建在Eden区，第一次清除移动到S1区，第二次清除（Eden+S1）区移动到S2区，之后就是循环往复，当对象年龄（经历清除仍存活下来的次数）达到设置的上限或者S1（S2）满了，会将对象移动到老年代，老年代满了会触发full gc，根据单线程、多线程等的区别采用标记-清除算法或移动算法。
这里对gc算法仅仅做了简单介绍。

方法区

堆用于存储对象实例，相当于存储些变量。类的信息（如方法字节码、字段名称）、常量、类的静态变量这些则存储在方法区（又称为永久代）中。
jdk1.8版本后用元空间取代永久代 。两者存储内容相同，区别在于存储位置，永久代在JVM中，而元空间使用本地内存，如此尽量避免了方法区内存溢出。

程序计数器

执行方法字节码时候，程序计数器会指向要执行的字节码，是线程隔离的，每个线程会有自己的程序计数器。

本地方法栈

当通过JNA等方式调用用C++等写的本地方法（受环境影响）时，会建立本地方法栈，由虚拟机栈指向其，其也可以指向虚拟机栈。