深入理解JAVA虚拟机- Java内存区域与对象揭秘

此文是对《深入理解JAVA虚拟机》的一点总结，如果想要了解具体细节可以去看原书。

运行时数据区域

Java虚拟机在执行Java程序的过程中会把内存划分为若干个不同的数据区域。如下图所示：

程序计数器
程序计数器可以看作是当前线程所执行的字节码的行号指示器。在Java虚拟机的概念模型里，字节码解释器工作时就是通过改变这个计数器的值来选取下一条需要执行的字节码指令，它是程序控制流的指示器，分支、循环、跳转、异常处理、线程恢复等基本功能都依赖这个计数器来完成。

虚拟机栈
虚拟机栈描述的是Java方法执行的线程内存模型：每个方法被执行的时候，Java虚拟机都会同步创建一个栈帧用于存储局部变量表（基本类型、对象引用等）、操作数栈、动态连接、方法出口等信息。

本地方法栈
本地方法栈与虚拟机栈发挥的作用是非常相似的，其区别只有虚拟机栈为虚拟机执行Java方法服务，而本地方法栈则是为虚拟机使用到的本地（Native）方法服务。甚至有的虚拟机，比如HotSpot虚拟机直接就把本地方法栈和虚拟机栈合二为一。

Java堆
Java堆是虚拟机管理内存中最大的一块，是被所有线程共享的一块内存区域。此内存区域唯一目的就是存放对象实例。在《Java虚拟就规范》中对Java堆的描述是“所有的对象实例以及数组都应当在堆上分配”，而随着Java语言的发展已经导致一些微妙的变化悄然发生，所以说Java对象实例都分配在堆上也变的不是那么绝对了。

方法区
方法区用于存储被虚拟机加载的类型信息、常量、静态变量、即时编译器编译后的代码缓存等数据。

运行时常量池
运行时常量池是方法区的一部分。常量池表用于存放编译期生成的各种字面量与符号引用，这部分内容将在类加载后存放到方法区的运行时常量池中。

直接内存
直接内存并不是虚拟机运行数据区的一部分，也不是《Java虚拟机规范》中定义的内存区域。但是这部分内存也被频繁的使用，而且也可能导OutOfMemoryError异常，所以放到一起讲解。
在JDK1.4中新加入了NIO类，引入了一种基于通道与缓冲区的 I/O 方式，可以使用Native 函数库直接分配堆外内存，然后通过一个存储在Java堆里的DirectByteBuffer 对象作为这块内存的引用进行操作。

HotSpot虚拟机对象揭秘

这里以最常用的虚拟机 HotSpot 和最常用的内存区域 堆 为例，探讨一下对象分配、布局和访问的全过程。

对象的创建
类加载检查——>分配内存——>设置零值——>进行必要设置——>初始化init

1. 类加载检查

   当虚拟机遇到一条字节码 new 指令时，首先去检查能否在常量池中定位到一个类的符合引用，检查这个符号引用代表的类是否已被加载、解析和初始化过。如果没有，那必须先执行相应的类加载过程。

2. 分配内存

   当类加载检查通过后，虚拟机将为新生对象分配内存。根据堆中内存是否规整分为两种情况：

• 假设内存是绝对规整的，所有使用过的内存放在一边空闲的内存放在另一边，中间放着一个指针作为分界点的指示器，那所分配内存就仅仅是把那个指针向空闲方向挪动一段与对象大小相等的距离，这种分配方式称为“指针碰撞”
• 假设内存不是规整的，被使用的内存与空闲内存交错在一起，那就没有办法简单地进行指针碰撞了，虚拟就就必须维护一个列表，记录内存块哪些是可用的，分配时，在空闲列表中找到一块足够大的空间划分给对象实例，并更新列表上的记录，这种分配方法称为“空闲列表”

对象创建在虚拟中是非常频繁的行为，哪怕只是修改一个指针所指向的位置，在并发情况下也不是线程安全的。解决这个问题有两种可选方案：

• 对分配内存的空间的动作进行同步处理——实际虚拟机是采用CAS配上失败重试的方式来保证更新操作的原子性。
• 把内存分配的动作按照线程分在不同的空间进行——每个线程在堆中预先分配一小块内存，称为本地线程分配缓冲（Thread Local Allocation Buffer,TLAB）,线程要分配内存，先在线程的本地缓冲区中分配，当本地缓冲区用完了，分配新的缓存区时才需要同步锁定。

3. 初始化零值
   虚拟机将分配到的内存空间都初始化为零值，这步操作保证了对象的实例字段在Java代码中可以不赋初始值就直接使用，使程序能访问到这些字段的数据类型对应的零值。
4. 进行必要设置
   这个对象是哪个类的实例，如何找到类元数据信息，对象GC分代年龄等信息，这些信息放在对象的对象头中。
5. 执行init方法
   在上面的工作都完成后，从虚拟机的视角来看，一个新的对象已经产生了。但是从Java程序的视角来看，对象的创建才刚刚开始——构造函数（即Class文件中的 init ()方法）还没有执行，所有字段都是默认的零值。此时按照程序员的意愿堆对象进行初始化，这样一个真正可用的对象才算完全被构造出来。

对象的内存布局

在HotSpot虚拟机里，对象在堆内存中的存储布局可以划分为3个部分：对象头、实例数据和对齐填充。

对象的访问定位

为了后续使用对象，Java程序会通过栈上的reference数据来操作堆上的具体对象。主流的访问方式主要有句柄访问和直接指针两种：

• 句柄访问，在堆中可能会划分出一块内存来作为句柄池，reference中存储的就是对象的句柄地址，而句柄中包含了对象实例数据与类型数据各种具体的地址信息。
• 这种实现方法由于用句柄表示地址，因此十分稳定。

• 直接指针访问的方式中，reference中存储的就是对象在堆中的实际地址，在堆中存储的对象信息中包含了在方法区中的相应类型数据。
• 这种方法最大的优势是速度快，在HotSpot虚拟机中用的就是这种方式。