JVM区域划分详解

运行时数据区域

运行时数据区主要包含了堆、方法区，这两个是线程共享的，Java栈、本地方法栈、程序计数器这三个是线程独享的。

程序计数器

程序计数器是一块较小的内存空间，可以看成是当前线程所执行的字节码行号指示器。在jvm中. 线程是轮流切换的, 所以在每个线程执行的过程中,当切换后能知道当前执行位置.

1. 如果线程正在执行的Java方法，则这个计数器记录的是正在执行的虚拟机字节码指令地址
2. 如果正在执行的是Native方法，则这个计数器的值为空。
3. 此内存区域是唯一一个在Java虚拟机规范中没有任何OutOfMemoryError情况的区域。

Java虚拟机栈

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

局部变量表中存放了编译期间可知的：

• 基本数据类型(boolen、byte、char、short、int、 float、 long、double）
• 对象引用（reference类型，它不等于对象本身，可能是一个指向对象起始地址的指针，也可能是指向一个代表对象的句柄或其他与此对象相关的位置）
• returnAddress类型（指向了一条字节码指令的地址）

在局部变量表所需要的内存空间会在编译期间完成分配，当进入一个方法时，这个方法需要在帧中分配多大的局部变量表时完全确定的，并且在运行期间不会改变局部变量表的大小。

Java虚拟机规范中对这个区域规定了两种异常状况：

• StackOverflowError：线程请求的栈深度大于虚拟机所允许的深度，将会抛出此异常。
• OutOfMemoryError：当可动态扩展的虚拟机栈在扩展时无法申请到足够的内存，就会抛出该异常。

本地方法栈

**本地方法栈（Native Method Stack）**与Java虚拟机栈作用很相似，它们的区别在于虚拟机栈为虚拟机执行Java方法（即字节码）服务，而本地方法栈则为虚拟机使用到的Native方法服务。

Java堆

Java堆时虚拟机所管理的内存中最大的一块，所有线程共享，在虚拟机启动器创建，此内存唯一目的就是存放对象实例。随着JIT的发展, 栈上分配, 标量替换技术可以实现在java栈上进行分配.

栈上分配: 只有在当前线程使用, 可以将对象打散分配在栈上

标量替换: 对象打散分配在栈上,例如只有两个变量,直接在栈上分配

堆内存的划分主要如下：

• 新生代（Young）： 新生成的对象优先存放在新生代中，新生代对象朝生夕死，存活率很低。在新生代中，常规应用进行一次垃圾收集一般可以回收70% ~ 95% 的空间，回收效率很高。新生代又可细分为Eden空间、From Survivor空间、To Survivor空间，默认比例为8:1:1。它们的具体作用将在下一篇文章讲解GC时介绍。
• 老年代（Tenured/Old）：在新生代中经历了多次（具体看虚拟机配置的阀值）GC后仍然存活下来的对象会进入老年代中。老年代中的对象生命周期较长，存活率比较高，在老年代中进行GC的频率相对而言较低，而且回收的速度也比较慢。
• 永久代（Perm）：永久代存储类信息、常量、静态变量、即时编译器编译后的代码等数据，对这一区域而言，Java虚拟机规范指出可以不进行垃圾收集，一般而言不会进行垃圾回收。

方法区

方法区（Method Area）与Java堆一样，是各个线程共享的内存区域。主要储存已经倍虚拟机加载的类型信息, 常量, 静态变量, 即时编译后的代码缓存等数据.

运行时常量池: 主要存放类被加载后的常量池表, 与Class文件的常量池最大的区别就是可以运行时将新的常量放入.

一个对象的创建过程

1. 当虚拟机遇到一条字节码指令new时, 首先检查是否能在常量池中定位到这个类符号的引用, 并且检查是否被加载,解析, 初始化.如果没有, 执行类加载过程,将类加载进方法区.

2. 虚拟机为新生对象分配内存, 所需大小在类被加载完成后即可确定. 在java堆中划分出一块空间.空间划分主要两种方式,根据垃圾收集器的不同进行选择.

   • 指针碰撞: 内存地址连续, 只需要移动指针即可
   • 空闲列表: 内存地址不连续, 需要一个中间表记录内存的可用.

   另外, 在多线程情况下, 内存的分配也不是安全的,解决方案有两种:

   • cas: 根据cas来分配内存
   • 本地线程分配缓冲: 既每个线程预先在java堆中分配一块内存, 每个线程在自己的区域内创建对象. 当内存不足时,加锁重新分配.

3. 对象初始化. 初始化对象头.当对象头被初始化(赋默认值), 虚拟机认为对象已经被创建, (这里会有双重检索单例为啥要加volatile), 但是java程序才刚刚开始 , 构造函数(init方法), 此时所有的数据都为默认值,当调用init方法时,赋初始值.此时对象被正式创建.

对象的内存布局

在HotSpot虚拟机里, 对象在堆中的储存布局可分为: 对象头(分为两类, Mark Word 和指向class类的指针), 实例数据, 对齐填充.

• 对象头:

  1. Mark Word(运行时数据区): 哈希码, GC分代年龄, 锁状态标志, 线程持有锁, 偏向线程id, 偏向时间戳等.
  2. 类型指针: 通过该指针确定时那个类的实例.

• 实例数据: 即我们在类里定义的各种类变量,无论是从父类继承还是子类已有的都在此.

• 对其填充: 任何对象必须是8字节的整数倍, 不够的话进行填充.

对象的访问定位

当我们在栈帧的动态链接访问堆中的对象时,主要有两种方式:

• 句柄访问: 在堆中划分出一个句柄池, 储存储存对象实例数据和对象类型数据
• 直接访问: 直接访问对象本身, 当需要访问类型数据时需要先访问对象,然后才能找到.

在java中一般使用直接指针.