018 Java堆中对象的创建（HotSpot虚拟机的）

学软件技术，读第一手资料，去官方网站：Java SE Specifications 

若想看垃圾收集的简易版本的，参见：Java垃圾收集基础

---

JVM内存模型如下：

在Java语言层面，创建对象（例如克隆、反序列化）通常仅仅是一个new关键字而已。那么，在虚拟机中，对象（这里说的是普通Java对象，不包括数组和Class对象等）的创建又是怎样一个过程呢？虚拟机遇到一条new指令时，首先检查这个指令的参数是否在常量池中定位到一个类的引用，并且检查这个符号引用代表的类是否已被加载、解析和初始化过。如果没有，那就需要执行相应的类加载过程。

在类加载检查过后，接下来虚拟机将为新生对象分配内存。对象所需内存的大小在类加载完成后便可完全确定，为对象分配空间的任务等同于把一块确定大小的内存从Java堆中划分出来。

对象创建问题1，划分可用空间的2种方式：

（1）假设Java堆中内存是绝对规整的，所有用过的内存放在一边，空闲的内存放在另一边，中间放着一个指针作为分界点的指示器，这种分配 空间/内存 的方式称为“指针碰撞”（Bump the Pointer）。

（2）如果Java堆中的内存不是规整的，已使用的内存和空闲的内存相互交错，这时候就不能用“指针碰撞”的方式为对象分配 空间/内存 了，虚拟机维护一个列表，记录哪些内存是可用的，这种分配 空间/内存 的方式称为“空闲列表”（Free List）。

选择哪种分配方式由Java堆是否规整决定的，Java堆是否规整又由所采用的垃圾收集器是否带有压缩整理功能决定的。所以，Serial、ParNew等带Compact过程的收集器，采用的对象分配算法是“指针碰撞” ， 而CMS这种基于Mark-Sweep算法的收集器采用的对象分配算法是“空闲列表”。

对象创建问题2，对象创建的并发问题：

对象的创建在虚拟机中是非常频繁的，仅仅是修改一个指针指向的位置，在并发情况下也并不是线程安全的。可能出现正在给对象A分配内存，指针还没来得及修改，对象B又同时使用了原来的指针来分配内存。

解决这种对象创建的并发问题有2种方案：

（1）CAS配上失败重试，也就是采用同步锁定

（2）每个线程在Java堆中预先分配一小块内存，称为本地线程分配缓冲（Thread Local Allocation Buffer，TLAB）。哪个线程要分配内存，就在哪个线程的TLAB上分配，只有TLAB用完并分配新的TLAB时才需要同步锁定。可以通过-XX:+/-UseTLAB参数来确定虚拟机是否使用TLAB。