Memory Model -- 10 -- 对象的创建

原文链接：Memory Model – 10 – 对象的创建

---

相关文章：

• Memory Model – 01 – 运行时数据区（一、 程序计数器）

• Memory Model – 02 – 运行时数据区（二、虚拟机栈）

• Memory Model – 03 – 运行时数据区（三、本地方法栈）

• Memory Model – 04 – 运行时数据区（四、堆）

• Memory Model – 05 – 逃逸分析

• Memory Model – 06 – 运行时数据区（五、方法区）

• Memory Model – 07 – Java中的常量池详解

• Memory Model – 08 – 不同JDK版本之间 String.intern() 方法的区别

• Memory Model – 09 – 直接内存

• Memory Model – 10 – 对象的创建

• Memory Model – 11 – 对象的内存分布

• Memory Model – 12 – 对象的访问定位

• Memory Model – 13 – volatile的基本概念

• Memory Model – 14 – Java内存模型

---

众所周知，通过 new 关键字，我们就可以轻松地创建一个 Java 对象，但在 Java 虚拟机中，对象的创建可并不如此简单，让我们来一起了解下这整个过程

---

一、对象的创建过程

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

  • 类的加载过程

    • 加载 --> 验证 --> 准备 --> 解析 --> 初始化

  • 类的生命周期

    • 加载 --> 连接 (验证 --> 准备 --> 解析) --> 初始化 --> 使用 --> 卸载

• 在类加载检查通过后，接下来虚拟机将会为新生对象分配内存，位于 Java 堆中，有两种分配方式

  • 指针碰撞 (Bump The Pointer)

    • 如果 Java 堆中内存是绝对规整的，所有被使用过的内存都被放在一边，空闲的内存被放在另一边，中间放着一个指针作为分界点的指示器，那么分配内存就是把指针向空闲空间方向挪动一段与对象大小相等的距离，这种分配方式称为指针碰撞

    • 当使用 Serial、ParNew 等带压缩整理过程的收集器时，虚拟机采用的是指针碰撞的分配算法，既简单又高效

  • 空闲列表 (Free List)

    • 如果 Java 堆中的内存并不是规整的，已被使用的内存和空闲的内存相互交错在一起，则虚拟机必须维护一个列表，记录上哪些内存块是可用的，在分配的时候从列表中找到一块足够大的空间划分给对象实例，并更新列表上的记录，这种分配方式称为空闲列表

    • 当使用 CMS 这种基于清除算法的收集器时，理论上就只能采用较为复杂的空闲列表来分配内存

      • 强调"理论上"是因为在 CMS 的实现里面，为了能在多数情况下分配得更快，设计了一个叫做 Linear Allocation Buffer 的分配缓冲区，通过空闲列表拿到一大块分配缓冲区之后，在它里面仍然可以使用指针碰撞的方式来分配

• 选择哪种分配方式由 Java 堆是否规整决定，而 Java 堆是否规整又由所采用的垃圾收集器是否带有空间压缩整理 (Compact) 的能力决定

• 此外对象在虚拟机中的创建十分频繁，即使仅仅只修改一个指针所指向的位置，在并发情况下也是线程不安全的，可能会出现正在给对象 A 分配内存，指针还没来得及修改，对象 B 又同时使用了原来的指针来分配内存的情况，针对这个问题，有两种解决方法

  • 对分配内存空间的动作进行同步处理，虚拟机采用了 CAS 配上失败重试的方式来保证更新操作的原子性

    • CAS (Compare and swap)

      • 即比较并交换，是乐观锁的一种实现

      • 包含了 3 个基本操作数：内存地址 V，旧的预期值 A，要修改的新值 B，当要更新一个变量时，会先将旧预期值 A 与内存地址 V 中的实际值进行比较，只要两者相同时，才会将内存地址 V 对应的值修改为 B，通过无限循环来获取数据

  • 把内存分配的动作按照线程划分在不同的空间之中进行，即每个线程都在 Java 堆中预先分配一小块内存，称为本地线程分配缓冲 (Thread Local Allocation Buffer，TLAB)，哪个线程需要分配内存，就在哪个线程的本地缓冲区中分配，只有当本地缓冲区用后后，分配新的缓冲区时才需要同步锁定

    • 可通过 XX:+/-UseTLA 参数来控制虚拟机是否使用 TLAB

• 当内存分配完成后，虚拟机会将分配到的内存空间 (不包括对象头) 都初始化为零值

  • 如果使用了 TLAB 的话，这一项工作也可以提前至 TLAB 分配时顺便进行

  • 该操作保证了对象的实例字段在 Java 代码中可以不赋予初始值就可以直接使用，是程序能访问到这些字段的数据类型所对应的零值，位于类加载阶段的准备阶段

• 接下来，虚拟机还要对对象进行必要的设置，例如这个对象是哪个类的实例、如何才能找到类的元数据信息、对象的哈希码 (实际上对象的哈希码会延后到真正调用 Object::hashCode() 方法时才会计算)、对象的 GC 分代年龄等信息。这些信息存放在对象的对象头 (Object Header) 之中，根据虚拟机当前运行状态的不同，如是否使用偏向锁，对象有会有不同的设置方式

• 最后会执行对象的 <init>() 方法，按照程序员的意愿对对象进行初始化，这样一个真正可用的对象才算完全被构造出来

---

二、归纳总结

• 对象的创建过程

• 对象内存分配方式

  • 指针碰撞

    • 如果 Java 堆中内存是绝对规整的，所有被使用过的内存都被放在一边，空闲的内存被放在另一边，中间放着一个指针作为分界点的指示器，那么分配内存就是把指针向空闲空间方向挪动一段与对象大小相等的距离，这种分配方式称为指针碰撞

  • 空闲列表

    • 如果 Java 堆中的内存并不是规整的，已被使用的内存和空闲的内存相关交错在一起，则虚拟机必须维护一个列表，记录上哪些内存块是可用的，在分配内存的时候从列表中找到一块足够大的内存空间划分给对象实例，并更新列表上的记录，这种分配方式称为空闲列表

• 对象创建过程中线程不安全的解决方法

  • 对分配内存空间的动作进行同步处理

    • 虚拟机采用了 CAS 配上失败重试的方式来保证更新操作的原子性

  • 把内存分配的动作按照线程划分在不同的空间之中进行

    • 即每个线程都在 Java 堆中预先分配一小块内存，称为本地线程分配缓冲 (Thread Local Allocation Buffer，TLAB)，哪个线程需要分配内存，就在哪个线程的本地缓冲区中分配，只有当本地缓冲区用后后，分配新的缓冲区时才需要同步锁定

---

三、参考资料

• 图解JAVA对象的创建过程

• 面试总结之Java中创建对象过程及方式