深入理解JVM-内存模型

程序计数器

1.程序计数器是一块较小的内存空间,用于存储当前线程所执行的字节码的指令地址。若当前线程正在执行的是一个本地方法,那么此时程序计数器为Undefined
2.程序计数器是线程私有的,每条线程都有自己的程序计数器,生命周期和线程一样,同生共死。
3.程序计数器是唯一一个不会出现OutOfMemoryError的内存区域
4.字节码解释器通过改变程序计数器来依次读取指令,从而实现代码的流程控制
5.在多线程情况下,程序计数器记录的是当前线程执行的位置,从而当线程切换回来时,就知道上次线程执行到哪了

虚拟机栈

同样是线程私有,描述Java方法执行的内存模型:每个方法在执行的同时都会创建一个栈帧（Stack Frame）用于存储局部变量表、操作数栈、动态链接、方法出口等信息。每一个方法从调用直至执行结束,就对应着一个栈帧从虚拟机栈中入栈到出栈的过程。

局部变量表

局部变量表存放了各种基本类型、对象引用和returnAddress类型(指向了一条字节码指令地址)其中64位长度long 和 double占两个局部变量空间,其他只占一个。

操作数栈

操作数栈就是存放指令结构中的操作数。操作数栈也常被称为操作栈,它是一个后入先出栈。同局部变量表一样,操作数栈的最大深度也是编译的时候被写入到方法表的Code属性的max_stacks数据项中。

动态链接

每个栈帧都包含一个指向运行时常量池中该栈帧所属方法的引用,持有这个引用是为了支持方法调用过程中的动态连接。在Class文件的常量池中存有大量的符号引用,字节码中的方法调用指令就以常量池中指向方法的符号引用为参数。这些符号引用一部分会在类加载阶段或第一次使用的时候转化为直接引用,这种转化称为静态解析。另外一部分将在每一次的运行期间转化为直接引用,这部分称为动态连接

方法出口

return/异常

规定的异常情况有两种

1.线程请求的栈的深度大于虚拟机所允许的深度,将抛出StackOverflowError异常
2.如果虚拟机可以动态扩展,如果扩展时无法申请到足够的内存,就抛出OutOfMemoryError异常

本地方法栈

区别于Java虚拟机栈的是,Java虚拟机栈为虚拟机执行Java方法(也就是字节码)服务,而本地方法栈则为虚拟机使用到的Native方法服务。也会有StackOverflowError和OutOfMemoryError异常

 方法区

1.所有线程共享,存储已被虚拟机加载的类信息(构造方法/接口定义/类的版本、字段、方法、接口)、常量、静态变量、即时编译器编译后的代码等数据和运行时常量池
2.当方法区无法满足内存分配需求时,抛出OutOfMemoryError
3.方法区是堆的逻辑部分,也叫非堆
4.方法区是接口,永久代是实现

常量池
5.JDK1.6及之前:有永久代,常量池在方法区中
6.JDK1.7:有永久代,常量池在堆中
7.JDK1.8及以后:无永久代,常量池1.8在元空间

运行时常量池
1.用于存放编译期生成的各种字面量和符号引用
2.字面量:(int a=1,b=“abc”,1,abc就是字面量)
3.符号引用:在编译期不知道对象的地址,只能用符号表示对象,在类装载时把符号引用替换成内存地址
4.字面量:文本字符串、被声明为final的常量值、基本数据类型的值、其它
5.符号引用:类和结构的完全限定名、字段名称和方法名称和描述符

字符串常量池
1.Java6和6之前,字符串常量池是存放在方法区中
2.Java7是将常量池存放在堆中
3.Java8也是将字符串常量池存放在堆中

堆

Java虚拟机所管理的内存中最大的一块,Java堆是所有线程共享的一块内存区域,在虚拟机启动时创建。此内存区域的唯一目的就是存放对象实例,几乎所有的对象实例以及数组都在这里分配内存。Java堆是垃圾收集器管理的主要区域，因此也被称作GC 堆（Garbage Collected Heap）.从垃圾回收的角度，由于现在收集器基本都采用分代垃圾收集算法，所以 Java 堆还可以细分为:新生代和老年代:再细致一点有：Eden 空间、From Survivor、To Survivor 空间等。进一步划分的目的是更好地回收内存,或者更快地分配内存