jvm模型小记

java会在执行java程序时把他的内存划分为多个不同的数据区域，每个区域都有各自的用途，以及创建和销毁的时间，有的区域随着虚拟机的启动来创建，有的则根据用户的线程启动和销毁来创建和销毁。

java运行时数据区包含：方法区、堆、虚拟机栈、本地方法栈、程序计数器。

• 方法区和栈是所有线程共享的区域；
• 虚拟机栈、本地方法栈、程序计数器是线程独有的。

程序计数器

该区域是一块较小的内存空间，作用记录当前线程所执行的字节码行数，字节码解释器就是通过改变这个计数器的值来选取下一条需要执行的字节码指令。
分支、循环、跳转、异常处理和线程恢复等都是依赖这个计数器来完成的。由于jvm的多线程是通过线程轮流切换并分配处理器执行时间的方式来实现的，在任何一个时刻只会有一个线程在执行，为让线程切换后能恢复到正确的执行位置就需要一个独立的，互不影响的程序计数器，因此该区域是线程私有的内存区域。如果一个线程执行的是java方法那么计数器记录的是正在执行的字节码指令行，如果是native方法，那么计数器为空。该内存区域是jvm中唯一没有规定任何OOM情况的区域。

虚拟机栈

与程序计数器一样虚拟机栈也是线程私有的内存区域，虚拟机栈描述的是方法执行的内存模型（压栈和出栈的场景），每个方法被执行时都会创建一个栈帧（stack frame）用来存储局部变量表、操作栈、动态链接以及方法出口等信息。每个方法执行完成的过程就对应着一个栈帧在虚拟机栈中从入栈到出栈的过程。局部变量表存放了基本数据类型变量和对象的引用类型（可能指向一个字节码指令的地址）。
64为长度和变量long和dubbo会占用两个局部变量空间，其余类型的变量占用一个空间；局部变量表在编译期间完成分配，因此开始执行方法时，需要分配多少局部变量空间是确定的，在方法运行期间是不会改变局部变量表大小的。jvm虚拟机规范中对该区规定了两个异常情况：

• 如果线程请求的栈深度大于虚拟机所允许的深度，那么将抛出StackOverflowError异常。
• 如果虚拟机栈可以动态扩充，那么当扩展的时候无法申请到足够的内存空间将会抛出OOM。

本地方法栈（native method stacks）

该区域和虚拟机栈所发挥的作用类似，区别是，虚拟机栈执行的是java方法（字节码指令），而该区域执行的是native方法。在有的虚拟机中（如：sun hotspot）中直接将虚拟机栈和本地方法栈合二为一，也会抛出虚拟机栈所抛出的异常。

java堆

java堆是jvm管理的最大的一块内存空间，这块空间被所有的线程共享，此区域是唯一存放对象实例的区域，几乎所有的对象都会在这里开辟空间。jvm规范是所有的对象实例和数组都要在这里分配空间。但是随着JIT（jit？）编译器的发展和逃逸分析技术的成熟，所有对象在堆上创建慢慢就变的不是那么“绝对”了。java堆是垃圾收集器的主要工作区域，因此多被称为“GC堆”（Garbage Collected Heap），从内存回收的角度来看，大多数的垃圾收集器采用的是分代收集算法，因此堆中的对象可以细分为新生代和老年代。从内存非配的角度来看线程共享的堆区中可能划分出多个线程私有的分配缓冲区（Thread Local Allocation Buffer， TLAB）。不过不论堆区怎么划分都和存放的内容无关，这都是为了更好的回收内存，更快的分配内存。java在物理空间上是可以不连续的，但是逻辑上必须是有序的（无序的话就会找不到）；当前的主流虚拟机都是可以扩展的（通过-Xmx和Xms控制虚拟机大小），如果堆中没有足够的空间来分配实例，并且堆无法在扩展的时候虚拟机就会抛出OOM异常。

方法区

方法区也是线程共享的区域，用于存储虚拟机已加载的类信息、常量、静态变量、即时编译编译后的代码等数据。方法区在物理内存上和堆一样可以不连续；jvm规范对这个区域限制很宽松，虚拟机启动可指定该区域的大小，也可设置为自动扩展，还可以指定该区域不实现垃圾收集。方法区的垃圾收集很少见的，但是并非没有。当方法区无法满足内存分配要求的时候，虚拟机会抛出OOM异常。

总结1：线程独立区域

• 程序计数器就是记录程序执行到哪里了。
• 虚拟机栈存放要方法执行的栈模型，每一个方法被调用的过程就是对该方法栈的一次压栈和出栈操作。
• 本地方法栈主要运行native方法，而不是java方法；和虚拟机栈的区别就在这里。

总结2：线程共享区域

• java堆区，存放实例化对象和数组的区域，GC主要运行的区域；如果采用分代收回垃圾算法，那么对象在这里被分为新生代和老年代。
• 方法区，在这里存放了类信息、常量和静态变量等数据，该区域有时候被称为永久代（如果设置了不让jvm回收该区域）

疑惑：

1.根据堆区的介绍，java的ThreadLocal里面的数据是存放在堆区的？